Abstract
This paper constructs from the homogeneous quotients of an arbitrary semigroupS a universal group (G(S), γ) onS. If S is left reversible and cancellative, thenG(S) coincides with the embedding group of quotients of S due to Ore. If S is an inverse semigroup, G(S) coincides with the maximum group homomorphic image of S due to Munn. In these cases, γ coincides with the embedding and canonical homomorphism respectively ofS intoG(S).
In general (G(S), γ) is equivalent to the universal group on S due to N. Bouleau. A universal group constructed from the set of Lambek ratios had earlier been exhibited by A.H. Clifford and G.B. Preston for cancellative semigroups satisfying the condition Z of Malcev. No previous construction has, however, emerged as a direct generalisation of both the work of Ore and Munn as does the present.
Elementary properties of homogeneous quotients are employed to illuminate Bouleau's counter-example on why certain Malcev conditions are insufficient to guarantee the embeddability of a semigroup in a group.
Similar content being viewed by others
References
Bouleau, N.,Conditions unilatérales d'immersibilité d'un semigroupe dans un Groupe et un Contre-example á un Resultat de A. M. Clifford et G.B. Preston, J. of Algebra, 24 (1973), 197–211.
Clifford A.H. and G.B. Preston,The Algebraic theory of semigroups, I and II, A.M.S., Rhode Island (1961/67).
Lambek J.The Immersibility of a Semigroup into a group, Canada J. Math., 3, (1951) 34–43.
Malcev, A.,On the immersion of an Algebraic ring into a field, Math. Annalen, 113 (1937), 686–691.
Malcev, A.,Über die Eimbettung von Assoziativen Systemen in Gruppen, Math. Sbornik, 8, (50), (1940), 251–264.
Munn, W.D.,A class of irreducible matrix representations of an arbitrary inverse semigroup, Proc. Glasgow Math. Soc. 5(1961), 41–48.
Ore, O.,Linear equations in non-commutative fields, Annals of Math. 32 (1931), 463–477.
Osondu, K.E.,Homogeneous quotients of semigroups, Semigroup Forum 16 (1978), 455–462.
Osondu, K.E.,Semilattices of Left Reversible Semigroups, Semigroup Forum 17 (1979), 139–152.
Osondu, K.E.,Homomorphisms of Semilattices of Semigroups, Semigroup Forum 19 (1980), 133–138.
Tamari, D.,Problèmes d'associativité des Monoides et Problemes des Mots pour les Groupes, Sem. Dubreil-Pisot 16 (1962/63), 7.01–30.
Tamari, D.,The Associativity Problem for Monoids and the Word Problem for semigroups and groups,Word Problems, North Holland Publishing Co. (1973) 591–607.
Author information
Authors and Affiliations
Additional information
Communicated by Gerard Lallement
Rights and permissions
About this article
Cite this article
Osondu, K.E. The universal group of homogeneous quotients. Semigroup Forum 21, 143–152 (1980). https://doi.org/10.1007/BF02572545
Received:
Revised:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02572545