Abstract
We prove that a finite group G occurs as a maximal proper subsemigroup of an infinite semigroup (in the terminology of Freese, Ježek, and Nation, G is a big semigroup) if and only if |G| ≥ 3. In fact, any finite semigroup whose minimal ideal contains a subgroup with at least three elements is big.
Similar content being viewed by others
References
S. I. Adyan and I. G. Lysionok, On groups all of whose proper subgroups are finite cyclic, Izv. Akad. Nauk SSSR, Ser. Mat. 55 (1991), 933–990 (in Russian; English transl. Math. USSR-Izv. 39 (1992), 905–957).
Clifford A.H., Preston G.B.: Algebraic Theory of Semigroups, Vol I. American Mathematical Society, Providence (1961)
Freese R., Ježek J., Nation J.B.: Lattices with large minimal extensions. Algebra Universalis 45, 221–309 (2001)
Graham N., Graham R., Rhodes J.: Maximal subsemigroups of finite semigroups. J. Comb. Theory 4, 203–209 (1968)
Howie J.M.: Fundamentals of Semigroup Theory. Oxford University Press, New York (1995)
A. Yu. Ol’shanskiĭ, Groups of bonded period with subgroups of prime order, Algebra i Logika 21 (1982), 553–618 (in Russian; English transl. Algebra and Logic 21 (1982), 369–418).
Petrich M.: The translational hull of a completely 0-simple semigroup. Glasgow Math. J. 9, 1–11 (1968)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Jaroslav Ježek (1945–2011)
The research of the first author is supported by the Ministry of Education and Science of the Republic of Serbia through Grant No.174019, and by a grant (Contract 114-451-2002/2011) of the the Secretariat of Science and Technological Development of the Autonomous Province of Vojvodina.
Rights and permissions
About this article
Cite this article
Dolinka, I., Ruškuc, N. Finite groups are big as semigroups. Arch. Math. 97, 209–217 (2011). https://doi.org/10.1007/s00013-011-0297-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-011-0297-3