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...
Autores principales: | , , |
---|---|
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 |