Congruence lattices of powers of an algebra. (English) Zbl 0686.08008

Let \(\mathcal P\) be a property which can be attributed to 0-1 sublattices of the equivalence lattice on an arbitrary set. It was already proved by S. Burris and the author that for every integer \(k\geq 2\) there is an \(n\geq 1\) such that for every algebra \(A\) of cardinality \(k\), if \(\text{Con}(A^ m)\) satisfies \(\mathcal P\) for all \(m\leq n\) then \(\text{Con}(A^ m)\) satisfies \(P\) for all \(m\). Let \(n_{\mathcal P}(k)\) denote the least such \(n\). The paper evaluates the function \(n_{\mathcal P}\) for \(p=\) permutability, distributivity, arithmeticity, weak distributivity, modularity, and the property of being skew-free (= the Fraser-Horn property). Main results: (i) \(n_{\text{Perm}}(k)\leq k^ 3\); (ii) \(n_{\text{Dist}}(k)\leq k^{k+1}\); (iii) \(n_{\text{Skew-free}}(k)\leq k^3 + k^2 - k\); (iv) \(n_{\text{Mod}}(k)\leq k^{4m(k)}\), where \(m(k)=k^{(k^ 4-k^3 + k^2)} - 1\).
Reviewer: J.Duda


08B10 Congruence modularity, congruence distributivity
08A30 Subalgebras, congruence relations
Full Text: DOI


[1] S. Burris,Remarks on the Fraser-Horn property. Algebra Universalis23 (1986), 19-21. · Zbl 0605.08003
[2] S.Burris and H. P.Sankappanavar, ?A Course in Universal Algebra.? Springer-Verlag, 1981. · Zbl 0478.08001
[3] S. Burris andR. Willard,Finitely many primitive positive clones. Proc. Amer. Math. Soc.101 (1987), 427-430. · Zbl 0656.08002
[4] A. Day,A characterization of modularity for congruence lattices of algebras. Canad. Math. Bull.12 (1969), 167-173. · Zbl 0181.02302
[5] B. J?nsson,Algebras whose congruence lattices are distributive. Math. Scand.21 (1967), 110-121. · Zbl 0167.28401
[6] A. I. Mal’cev,On the general theory of algebraic systems (Russian). Mat. Sb. (N.S.)35 (1954), 3-20.
[7] A. F. Pixley,Distributivity and permutability of congruence relations in equational classes of algebras. Proc. Amer. Math. Soc.14 (1963), 105-109. · Zbl 0113.24804
[8] A. F. Pixley,Local Malcev conditions. Canad. Math. Bull.15 (1972), 559-568. · Zbl 0254.08009
[9] R.Wille, ?Kongruenzklassengeometrien.? Springer-Verlag, Lecture Notes in Mathematics, vol. 113, 1970.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.