On the semigroup structure of cyclic left distributive algebras (Q1895803): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q589408 |
||
Property / reviewed by | |||
Property / reviewed by: Jaak Henno / rank | |||
Revision as of 12:47, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the semigroup structure of cyclic left distributive algebras |
scientific article |
Statements
On the semigroup structure of cyclic left distributive algebras (English)
0 references
18 December 1995
0 references
An algebra \(G(\circ, *)\) is called left distributive if it satisfies the identities \((a \circ b) \circ c = a \circ (b \circ c)\), \((a \circ b) * c = a * (b * c)\), \(a \circ b = (a * b) \circ a\), \(a * (b \circ c) = (a * b) \circ (a * c)\). It follows that the operation \(*\) is left distributive: \(a * (b * c) = (a * b) * (a * c)\). For every \(n > 0\) there exists just one left distributive operation \(*\) on the set \(P_n = \{0, 1, \dots, 2^n - 1\}\) such that \(a * 1 = (a + 1) \text{ mod } 2^n\); the operation \(\circ\) may be defined on \(P_n\) by \((a \circ b) * 1 = a * (b * 1)\). Idempotents, regular elements and generators of the semigroup \((P_n, \circ)\) are described; e.g. \((P_n, \circ)\) is generated by the set \(R_n\) of rare elements, i.e. elements \(a \in P_n\) such that \(a = b * c\) implies \(b= 0\) or \(b * 1 = a\) for any \(b, c \in P_n\).
0 references
idempotents
0 references
left distributive operation
0 references
regular elements
0 references
generators
0 references
rare elements
0 references