| | |
| | |
Stat |
Members: 3645 Articles: 2'504'928 Articles rated: 2609
25 April 2024 |
|
| | | |
|
Article overview
| |
|
Distributive congruence lattices of congruence-permutable algebras | Pavel Ruzicka
; Jiri Tuma
; Friedrich Wehrung
; | Date: |
18 May 2005 | Subject: | General Mathematics MSC-class: Primary 08A30; Secondary 06A12, 08B15 | math.GM | Affiliation: | MFF-UK), Jiri Tuma (MFF-UK), Friedrich Wehrung (LMNO | Abstract: | 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. | Source: | arXiv, math.GM/0505381 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |