An upper bound for the power pseudovariety \(\mathbf{PCS}\). (Q431180): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 04:59, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An upper bound for the power pseudovariety \(\mathbf{PCS}\). |
scientific article |
Statements
An upper bound for the power pseudovariety \(\mathbf{PCS}\). (English)
0 references
26 June 2012
0 references
The author says that a finite semigroup \(S\) is an aggregate of block groups if \(aSb\) is a block group for all \(a,b\in S\). The class \(\mathbf{AgBG}\) of all aggregates of block groups is shown to constitute a pseudovariety of finite semigroups and to be defined by a single pseudoidentity. The author shows that \(\mathbf{AgBG}\) coincides with the Mal'cev product of the pseudovariety of all finite \(\mathcal J\)-trivial semigroups with the pseudovariety \(\mathbf{CS}\) of all finite simple semigroups (Corollary~3.3) and that the power pseudovariety \(\mathbf{PCS}\) of \(\mathbf{CS}\) is contained in \(\mathbf{AgBG}\) (Corollary 4.3). The question of whether the equality \(\mathbf{PCS}=\mathbf{AgBG}\) holds true is left open. Reviewer's remark: The equality \(\mathbf{PCS}=\mathbf{AgBG}\) has been then established by \textit{K.~Auinger} [``On the power pseudovariety \(\mathbf{PCS}\)'', Publ. Mat, Barc. 56, No. 2, 449-465 (2012; Zbl 1306.20058)].
0 references
pseudovarieties of finite semigroups
0 references
pseudoidentities
0 references
power semigroups
0 references
power pseudovarieties
0 references
completely simple semigroups
0 references
aggregates of block groups
0 references
Mal'cev products of pseudovarieties
0 references