Finite aperiodic semigroups with commuting idempotents and generalizations (Q1976622): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Peter M. Higgins / rank | |||
Property / reviewed by | |||
Property / reviewed by: Jorge Almeida / rank | |||
Property / author | |||
Property / author: Peter M. Higgins / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jorge Almeida / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The synthesis theorem for finite regular semigroups, and its generalization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semigroups whose idempotents form a subsemigroup / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4132170 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3364262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4537454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3337662 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040248 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decomposition techniques for finite semigroups, using categories. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The varieties of n-testable semigroups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:03, 29 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite aperiodic semigroups with commuting idempotents and generalizations |
scientific article |
Statements
Finite aperiodic semigroups with commuting idempotents and generalizations (English)
0 references
19 September 2000
0 references
Given \(k\) partial bijections on a set \(X\) with \(n\) elements, consider the semigroup \(U\) they generate. The authors construct an aperiodic subsemigroup \(S(U)\) of the symmetric inverse semigroup \(I_{2n}\) which is in fact the disjoint union of the aperiodic Brandt ideal of all bijections of rank at most~1 with \(k+1\) elements which generate a zero semigroup. The main theorem states that any finite inverse semigroup which is divided by~\(S(U)\) is also divided by~\(U\). This result affords many corollaries such as that the smallest pseudovariety generated by finite inverse semigroups which contains all finite aperiodic semigroups with commuting idempotents is the pseudovariety of all finite semigroups with commuting idempotents. As a complement to this result, the authors observe that a construction of \textit{J.-C.~Birget, S.~W.~Margolis} and \textit{J. Rhodes} [Bull. Aust. Math. Soc. 41, No.~2, 161-184 (1990; Zbl 0692.20046)] yields that, for every pseudovariety \(\mathbf H\) of groups, the pseudovariety consisting of all finite semigroups with commuting idempotents whose subgroups lie in \(\mathbf H\) is generated by its semigroups of partial bijections. Let \(\mathbf R\) denote the pseudovariety of all finite \(\mathcal R\)-trivial semigroups. For a pseudovariety \(\mathbf V\) let \(\mathbf{EV}\) stand for the pseudovariety of all finite semigroups whose idempotents generate a semigroup from~\(\mathbf V\). Answering a question posed by the reviewer, the authors go on to observe that, if \(\mathbf H\) is a proper non-trivial pseudovariety of groups and \(G\) is a finite group not in \(\mathbf H\), then the aperiodic semigroup \(S(G)\) belongs to \(\mathbf{ER}\) but not to the semidirect product \({\mathbf R}*{\mathbf H}\). More generally, for any pseudovariety \(\mathbf V\) containing the pseudovariety \(\mathbf{Sl}\) of semilattices and which is contained in the pseudovariety \(\mathbf{DA}\) of all finite aperiodic semigroups whose regular elements are idempotents, under the same hypotheses on \(\mathbf H\) and \(G\), \(S(G)\) lies in \(\mathbf{EV}\) but not in the Mal'cev product \({\mathbf V}m{\mathbf H}\). While this is an important paper which is generally well written, the last section contrasts with the rest of the paper in this respect. The proofs of Corollary 5.2 and Lemma~5.4 are obvious from the definitions in view of Lemma~5.1. In the proof of Theorem 5.3, one should read \(\mathbf H\) where \(\mathbf{V(H)}\) is found. The final remark states, without any references, that \textit{it is known} that \({\mathbf V}m{\mathbf G}=\mathbf{EV}\) holds for the pseudovariety \(\mathbf G\) of all finite groups whenever \(\mathbf{Sl}\subseteq{\mathbf V}\subseteq\mathbf{DA}\). While there are several published results which are instances of that equality, and which would deserve a reference, the reviewer would find it quite surprising if the equality holds in full generality.
0 references
pseudovarieties
0 references
finite semigroups
0 references
inverse semigroups
0 references
groups
0 references
Mal'cev products
0 references
semidirect products
0 references
finite aperiodic semigroups
0 references
idempotents
0 references
semigroups of partial bijections
0 references