Product expansions (Q1899154): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pointlike sets: the finest aperiodic cover of a finite semigroup / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prime decomposition theorem for arbitrary semigroups: General holonomy decomposition and synthesis theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5570933 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lower bounds for complexity of finite semigroups / rank | |||
Normal rank |
Revision as of 17:31, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Product expansions |
scientific article |
Statements
Product expansions (English)
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
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