Abstract
We describe an easy way to determine whether the realization of a set of idempotent identities guarantees congruence modularity or the satisfaction of a nontrivial congruence identity. Our results yield slight strengthenings of Day’s Theorem and Gumm’s Theorem, which each characterize congruence modularity.
Similar content being viewed by others
References
Bentz W.: Topological implications in varieties. Algebra Universalis 42, 9–16 (1999)
Berman J., Idziak P., Marković P., McKenzie R., Valeriote M., Willard R.: Varieties with few subalgebras of powers. Trans. Amer. Math. Soc. no. 3, (362), 1445–1473 (2010)
Czédli G., Freese R.: On congruence distributivity and modularity. Algebra Universalis 17(no.2), 216–219 (1983)
Day A.: A characterization of modularity for congruence lattices of algebras. Canad. Math. Bull. 12, 167–173 (1969)
Day A.: p-modularity implies modularity in equational classes. Algebra Universalis 3, 398–399 (1973)
Freese R., Nation J.B.: Congruence lattices of semilattices. Pacific J. Math. 49, 51–58 (1973)
Gedeonová E.: A characterization of p-modularity for congruence lattices of algebras. Acta Fac. Rerum Natur. Univ. Comenian. Math. Publ. 28, 99–106 (1972)
Gumm H.-P.: Congruence modularity is permutability composed with distributivity. Arch. Math. (Basel) 36, 569–576 (1981)
Hagemann J., Mitschke A.: On n-permutable congruences. Algebra Universalis 3, 8–12 (1973)
Hobby, D., McKenzie, R.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988)
Jónsson B.: On the representation of lattices. Math. Scand. 1, 193–206 (1953)
Jónsson B.: Congruence varieties. Algebra Universalis 10, 355–394 (1980)
Kearnes K.A.: Almost all minimal idempotent varieties are congruence modular. Algebra Universalis 44, 39–45 (2000)
Kearnes K.A.: Congruence join semidistributivity is equivalent to a congruence identity. Algebra Universalis 46(no. 3), 373–387 (2001)
Kearnes, K.A., Kiss, E.W.: The Shape of Congruence Lattices. Mem. Amer. Math. Soc., to appear
Kearnes, K.A., Kiss, E.W., Szendrei, Á.: Growth rates of finite algebras (2011, manuscript)
Kearnes K.A., Nation J.B.: Axiomatizable and nonaxiomatizable congruence prevarieties. Algebra Universalis 59, 323–335 (2008)
Kearnes K.A., Sequeira L.: Hausdorff properties of topological algebras. Algebra Universalis 47, 343–366 (2002)
Kelly, D.: Basic equations: word problems and Mal’cev conditions. Abstract 701-08-4, Notices Amer. Math. Soc. 20, A-54 (1973)
Lipparini P.: Congruence identities satisfied in n-permutable varieties. Boll. Un. Mat. Ital. B (7) 8, (no. 4), 851–868 (1994)
Lipparini P.: n-permutable varieties satisfy nontrivial congruence identities. Algebra Universalis 33, 159–168 (1995)
Lipparini, P.: Every m-permutable variety satisfies the congruence identity αβ h = αγ h . Proc. Amer. Math. Soc. 136, no. 4, 1137–1144 (2008)
McNulty G.F.: Undecidable properties of finite sets of equations. J. Symbolic Logic 41, (no. 3), 589–604 (1976)
Nation J.B.: Varieties whose congruences satisfy certain lattice identities. Algebra Universalis 4, 78–88 (1974)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by R. Freese.
This material is based upon work supported by the Hungarian National Foundation for Scientific Research (OTKA) grant no. K77409.
Rights and permissions
About this article
Cite this article
Dent, T., Kearnes, K.A. & Szendrei, Á. An easy test for congruence modularity. Algebra Univers. 67, 375–392 (2012). https://doi.org/10.1007/s00012-012-0186-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-012-0186-z