Congruence lower semimodularity and 2-finiteness imply congruence modularity

DOI10.1007/BF01190406MaRDI QIDQ2277501zbMATH OpenOpenAlexFDO

Authors Keith A. Kearnes

Publication date 1991

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01190406

zbMATH Keywords

congruence lower semimodular varietycongruence modularitylower semimodular congruence latticetwo-generated free algebra

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Free algebras (08B20)

Review text

A variety is called congruence lower semimodular iff each algebra in the variety has a lower semimodular congruence lattice. The author proves: if V is a congruence lower semimodular variety and the two-generated free algebra in V is finite then V is congruence modular.

Recommendations

• Congruence semimodularity and identities
• Congruence semimodular varieties. I: Locally finite varieties
• scientific article; zbMATH DE number 497614
• Lower-modular elements of the lattice of semigroup varieties.
• scientific article; zbMATH DE number 4125456

Cites work

• A Characterization of Modularity for Congruence Lattices of Algebras*
• Characterizing Mal'cev conditions
• Congruence modularity is permutability composed with distributivity
• Finite fixed point algebras are subdiagonalisable

Cited in

(3)

• Congruence modularity implies the Arguesian law for single algebras with a difference term
• Congruence semimodular varieties. I: Locally finite varieties
• Semigroups and their lattice of congruences. II

This page was built for publication: Congruence lower semimodularity and 2-finiteness imply congruence modularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277501)