Abstract
We prove the pseudovariety generated by power semigroups of completely simple semigroups is the semidirect product of the pseudovariety of block groups with the pseudovariety of right zero semigroups, and hence is decidable. This answers a question of Almeida from over 15 years ago.
Similar content being viewed by others
References
Almeida, J.: Finite Semigroups and Universal Algebra. Series in Algebra, vol. 3. World Scientific, Singapore (1994). Translated from the 1992 Portuguese original and revised by the author
Auinger, K., Steinberg, B.: Constructing divisions into power groups. Theor. Comput. Sci. 341(1–3), 1–21 (2005)
Henckell, K.: Blockgroups = powergroups: a consequence of Ash’s proof of the Rhodes type II conjecture. In: Monash Conference on Semigroup Theory, Melbourne, 1990, pp. 117–134. World Scientific, Singapore (1991)
Henckell, K., Margolis, S.W., Pin, J.-E., Rhodes, J.: Ash’s type II theorem, profinite topology and Mal’cev products. I. Int. J. Algebra Comput. 1(4), 411–436 (1991)
Henckell, K., Rhodes, J.: The theorem of Knast, the PG=BG and type-II conjectures. In: Monoids and Semigroups with Applications, Berkeley, CA, 1989, pp. 453–463. World Scientific, Singapore (1991)
Pin, J.-E.: BG=PG: a success story. In: Semigroups, Formal Languages and Groups, New York, 1993. NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 466, pp. 33–47. Kluwer Academic, Dordrecht (1995)
Rhodes, J., Steinberg, B.: The \(\mathfrak{q}\) -theory of finite semigroups. Springer (2008, to appear)
Steinberg, B.: Semidirect products of categories and applications. J. Pure Appl. Algebra 142(2), 153–182 (1999)
Steinberg, B., Tilson, B.: Categories as algebra. II. Int. J. Algebra Comput. 13(6), 627–703 (2003)
Tilson, B.: Categories as algebra: an essential ingredient in the theory of monoids. J. Pure Appl. Algebra 48(1–2), 83–198 (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jorge Almeida.
The author was supported in part by NSERC.
Rights and permissions
About this article
Cite this article
Steinberg, B. A note on the power semigroup of a completely simple semigroup. Semigroup Forum 76, 584–586 (2008). https://doi.org/10.1007/s00233-008-9044-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-008-9044-x