Abstract
V-completions of partially ordered algebraic systems have been studied by many authors, see Jaffard [7]. In particular, Burgess and McFadden [3] considered V-completions of posemigroups by means of ideal systems.
In seemingly unrelated work, McFadden [10] characterized certain what we shall call ‘strongly isotone’ m-homomorphisms on posemi-groups; while Bigard [1], Dubreil-Jacotin [6] and McFadden [11] studied group homomorphisms on posemigroups.
By determining certain coreflections [8], we prove that any surjective isotone homomorphism on a posemigroup can be factored into an injective strongly isotone homomorphism followed by a surjective strongly isotone m-homorphism. This result is used to bring the previous theories together and to generalise them.
References
Bigard, A.,Sur les images homomorphes d’un demi-groupe ordonne, C. R. Acad. Sci. Paris 260 (1965), 5987–88.
Birkhoff, G.,Lattice Theory, Amer. Math. Soc. Colloq. Publ., 1967 (third ed.)
Burgess, D. C. J. and R. McFadden,Systems of ideals in partially ordered semigroups, Math. Zeitschr. 79 (1962), 439–450.
Clifford, A. H.,Completions of partially ordered semigroups, (offprint of talk).
Clifford, A. H. and G. B. Preston,The Algebraic Theory of Semi-groups, Vol. 1, Math. Surveys No. 7, Providence, Rhode Island, 1961.
Dubreil-Jacotin, M. L.,Sur les images homomorphes d’un demigroupe ordonné, Bull. Soc. Math. Fr. 92 (1964), 101–115.
Jaffard, P.,Les systèmes d’idéaux, Dunod, Paris, 1960.
Mitchell, B.,Theory of Categories, Pure and Appl. Math., 17, Academic Press, New York, 1965.
McFadden, R.,Congruence relations on residuated semigroups II, J. London Math. Soc., 39 (1964), 150–158.
McFadden, R.,On homomorphisms of partially ordered semigroups, Acta Sci. Math. Sz., 28 (1967), 241–249.
McFadden, R.,Homomorphisms of partially ordered semigroups onto groups, Acta Sci. Math. Sz., 28 (1967), 251–254.
Author information
Authors and Affiliations
Additional information
Communicated by A. H. Clifford
Rights and permissions
About this article
Cite this article
O’Carroll, L. A class of congruences on a posemigroup. Semigroup Forum 3, 173–179 (1971). https://doi.org/10.1007/BF02572958
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02572958