Cargando…

Functorial liftings of distributive semilattices by distances of small type

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Ruzicka, P, Tuma, J, Wehrung, F
Lenguaje:eng
Publicado: 2005
Materias:
Acceso en línea:http://cds.cern.ch/record/854038
_version_ 1780907025137401856
author Ruzicka, P
Tuma, J
Wehrung, F
author_facet Ruzicka, P
Tuma, J
Wehrung, F
author_sort Ruzicka, P
collection CERN
description 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.
id cern-854038
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2005
record_format invenio
spelling cern-8540382019-09-30T06:29:59Zhttp://cds.cern.ch/record/854038engRuzicka, PTuma, JWehrung, FFunctorial liftings of distributive semilattices by distances of small typeMathematical Physics and MathematicsWe 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.math.GM/0505381oai:cds.cern.ch:8540382005-05-18
spellingShingle Mathematical Physics and Mathematics
Ruzicka, P
Tuma, J
Wehrung, F
Functorial liftings of distributive semilattices by distances of small type
title Functorial liftings of distributive semilattices by distances of small type
title_full Functorial liftings of distributive semilattices by distances of small type
title_fullStr Functorial liftings of distributive semilattices by distances of small type
title_full_unstemmed Functorial liftings of distributive semilattices by distances of small type
title_short Functorial liftings of distributive semilattices by distances of small type
title_sort functorial liftings of distributive semilattices by distances of small type
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/854038
work_keys_str_mv AT ruzickap functorialliftingsofdistributivesemilatticesbydistancesofsmalltype
AT tumaj functorialliftingsofdistributivesemilatticesbydistancesofsmalltype
AT wehrungf functorialliftingsofdistributivesemilatticesbydistancesofsmalltype