On the semigroup structure of cyclic left distributive algebras (Q1895803)

From MaRDI portal
Revision as of 11:47, 16 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: reviewed by (P1447): Item:Q589408)
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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references