Distributive congruence lattices of congruence-permutable algebras - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Algebra Année : 2007

Distributive congruence lattices of congruence-permutable algebras

Pavel Ruzicka
  • Fonction : Auteur
  • PersonId : 830082
Jiri Tuma
  • Fonction : Auteur
  • PersonId : 829457

Résumé

We prove that every distributive algebraic lattice with at most $\aleph_1$ compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The $\aleph_1$ bound is optimal, as we find a distributive algebraic lattice $D$ with $\aleph_2$ compact elements that is not isomorphic to the congruence lattice of any algebra with almost permutable congruences (hence neither of any group nor of any module), thus solving negatively a problem of E. T. Schmidt from 1969. Furthermore, $D$ may be taken as the congruence lattice of the free bounded lattice on $\aleph_2$ generators in any non-distributive lattice variety. Some of our results are obtained via a functorial approach of the semilattice-valued "distances" used by B. Jonsson in his proof of Whitman's embedding Theorem. In particular, the semilattice of compact elements of $D$ is not the range of any distance satisfying the V-condition of type $3/2$. On the other hand, every distributive join-semilattice with zero is the range of a distance satisfying the V-condition of type 2. This can be done via a functorial construction.
Fichier principal
Vignette du fichier
littleCLP.pdf (297.24 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00004922 , version 1 (18-05-2005)
hal-00004922 , version 2 (14-09-2005)
hal-00004922 , version 3 (02-11-2006)

Identifiants

Citer

Pavel Ruzicka, Jiri Tuma, Friedrich Wehrung. Distributive congruence lattices of congruence-permutable algebras. Journal of Algebra, 2007, 311 (1), pp.96--116. ⟨10.1016/j.jalgebra.2006.11.005⟩. ⟨hal-00004922v3⟩
99 Consultations
532 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More