A property of finite algebras having \(M_ n's\) as congruence lattices (Q800950): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: An interval in the subgroup lattice of a finite group which is isomorphic to \(M_ 7\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Endliche Gruppen I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Certain Linear Congruence Class Geometries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On finite algebras having a linear congruence class geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3877857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every finite lattice can be embedded in a finite partition lattice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3666894 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On representing \(M_n\)'s by congruence lattices of finite algebras / rank | |||
Normal rank |
Latest revision as of 16:05, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A property of finite algebras having \(M_ n's\) as congruence lattices |
scientific article |
Statements
A property of finite algebras having \(M_ n's\) as congruence lattices (English)
0 references
1984
0 references
In the problem whether every finite lattice is represantable as the congruence lattice of a finite algebra, the lattices \(M_ n\) are tested. In a paper of Feit it was shown, that \(M_ 7\) is representable as a congruence lattice of a finite algebra. In that example the universal congruence is principal. In this paper it is proved that that must be so necessarily by the following theorem: Let the congruence lattice Con (A,F) of the finite algebra (A,F) be isomorphic to one of the lattices \(M_ n\), n a positive integer and n-1 not a prime power. Then \(A\times A\) is a principal congruence of (A,F).
0 references
finite lattice
0 references
congruence lattice
0 references
finite algebra
0 references
universal congruence
0 references
principal congruence
0 references