Abstract
If AFB is an extension of semigroups, then the dominion of A in B, Dom(A,B), is the set of all bεB such that for each semigroup C and for each pair of homomorphisms f,g: B → C with f|A = g|A, then f(b) = g(b). It will be shown that epimorphisms are onto homomorphisms in the category of all bands with maximum conditions on D-classes. This contradicts an earlier report of a finite band B with a proper subband A such that Dom(A,B) = B. An example will be presented of a finite band B and a subband A such that Ac+Dom(A, B).
Similar content being viewed by others
References
Clifford, A. H. and G. B. Preston, The Algebraic Theory of Semigroups, Math. Surveys of the Amer. Math. Soc. 7, A. M. S., Providence, R. I., vol. 1 (1961).
Howie, J. M. and J. R. Isbell, Epimorphisms and dominions II, Journal of Algebra 6 (1967), 7–21.
Isbell, J. R., Epimorphisms and dominions, Proceedings of the Conference on Categorical algebra, La Jolla, 1965; Lange and Springer, Berlin (1966) 232–246.
McLean, D., Idempotent semigroups, Amer. Math. Monthly 61 (1954) 110–113.
Petrich, M., Topics in Semigroups, Lecture notes, The Pennsylvania State University (1967).
Stenström, B., Rings of Quotients, Springer-Verlag, (1975) Band 217.
Author information
Authors and Affiliations
Additional information
Communicated by R. McFadden
TO ALFRED H. CLIFFORD
Rights and permissions
About this article
Cite this article
Scheiblich, H.E. On epics and dominions of bands. Semigroup Forum 13, 103–114 (1976). https://doi.org/10.1007/BF02194926
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02194926