Lattices of equational theories are congruence lattices of monoids with one additional unary operation (Q1802253): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A property of the lattice of equational theories / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01196092 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2085771336 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:02, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lattices of equational theories are congruence lattices of monoids with one additional unary operation |
scientific article |
Statements
Lattices of equational theories are congruence lattices of monoids with one additional unary operation (English)
0 references
14 June 1994
0 references
In Stud. Sci Math. Hung. 26, 53-62 (1991; Zbl 0645.08004), the reviewer proved that the class of lattices of equational theories of unary algebras including non-regular equational theories is the class of congruence lattices of monoids with left (or right) zero. Let \(\mathcal M\) be a monoid, \(\langle A,\circ\rangle\) be the monoid obtained from \(\mathcal M\) by means of free addition of left zero \(\omega\), \(h\) be a unary operation on \(A\) such that \(h(a)= h(a\omega)= a\) for any \(a\) from \(\mathcal M\). From the results of the mentioned paper, it follows immediately that the class of congruence lattices of all such algebras \({\mathcal M}(h)=\langle A,\circ,h\rangle\) is the class of lattices of equational theories of unary algebras. In the reviewed paper it is proved that the class of lattices of equational theories of universal algebras is included in the class of congruence lattices of monoids with one additional unary operation.
0 references
monoid
0 references
congruence lattices
0 references
lattices of equational theories
0 references