Product expansions (Q1899154)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Product expansions
scientific article

    Statements

    Product expansions (English)
    0 references
    0 references
    18 April 1996
    0 references
    Let \(S\) be a finite semigroup and let \(T\) be a subsemigroup of the power semigroup \({\mathcal P}(S)\). The \(\mathcal H\)-amalgamation of an element \(A\) of \(T\) is the union of the \(\mathcal H\)-class of \(A\) in \(T\). The semigroup \(C^\omega(S)\) is defined as the smallest subsemigroup of \({\mathcal P}(S)\) which contains all the singletons and is closed under taking subsets and \(\mathcal H\)-amalgamations. The author has proved [J. Pure Appl. Algebra 55, 85-126 (1988; Zbl 0682.20044)] that the elements of \(C^\omega(S)\) are precisely the aperiodic pointlike sets, that is the subsets of \(S\) for which, in every relational morphism from \(S\) to a finite aperiodic semigroup, all the elements are related with the same point. The present paper proposes a shorter alternative proof of this result. Instead of the Rhodes expansion, a new product expansion of a semigroup is used. This explanation embeds, by construction, into a wreath product and projects onto the original semigroup by a homomorphism which is one-to-one on subgroups. In particular, the prime decomposition theorem is obtained as a corollary.
    0 references
    0 references
    0 references
    0 references
    0 references
    finite semigroups
    0 references
    power semigroups
    0 references
    \(\mathcal H\)-amalgamations
    0 references
    aperiodic pointlike sets
    0 references
    relational morphisms
    0 references
    finite aperiodic semigroups
    0 references
    product expansions
    0 references
    wreath products
    0 references
    prime decomposition theorem
    0 references
    0 references
    0 references