An upper bound for the power pseudovariety \(\mathbf{PCS}\). (Q431180): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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)]. | |||
Property / review text: 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)]. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6050541 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pseudovarieties of finite semigroups | |||
Property / zbMATH Keywords: pseudovarieties of finite semigroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pseudoidentities | |||
Property / zbMATH Keywords: pseudoidentities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
power semigroups | |||
Property / zbMATH Keywords: power semigroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
power pseudovarieties | |||
Property / zbMATH Keywords: power pseudovarieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
completely simple semigroups | |||
Property / zbMATH Keywords: completely simple semigroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
aggregates of block groups | |||
Property / zbMATH Keywords: aggregates of block groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mal'cev products of pseudovarieties | |||
Property / zbMATH Keywords: Mal'cev products of pseudovarieties / rank | |||
Normal rank |
Revision as of 23:55, 29 June 2023
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