Hostname: page-component-586b7cd67f-l7hp2 Total loading time: 0 Render date: 2024-11-24T05:51:58.088Z Has data issue: false hasContentIssue false

Dense subsemigroups of generalised transformation semigroups

Part of: Semigroups

Published online by Cambridge University Press:  09 April 2009

Amorn Wasanawichit
Affiliation:
Department of Mathematics, Chulalongkorn University, Bangkok 10330, Thailand
Yupaporn Kemprasit
Affiliation:
Department of Mathematics, Chulalongkorn University, Bangkok 10330, Thailand
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In 1986, Higgins proved that T(X), the semigroup (under composition) of all total transformations of a set X, has a proper dense subsemigroup if and only if X is infinite, and he obtained similar results for partial and partial one-to-one transformations. We consider the generalised transformation semigroup T(X, Y) consisting of all total transformations from X into Y under the operation α * β = αθβ, where θ is any fixed element of T(Y, X). We show that this semigroup has a proper dense subsemigroup if and only if X and Y are infinite and | Yθ| = min{|X|,|Y|}, and we obtain similar results for partial and partial one-to-one transformations. The results of Higgins then become special cases.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 2002

References

[1]Clifford, A. H. and Preston, G. B., The algebraic theory of semigroups, Math, Surveys 7, Vol. 1 (Amer. Math. Soc., Providence, RI, 1961).Google Scholar
[2]Hall, T. E., ‘Epimorphisms and dominions’, Semigroup Forum 24 (1982), 271283.CrossRefGoogle Scholar
[3]Higgins, P. M., ‘Dense subsets of some common classes of semigroup’, Semigroup Forum (1986), 519.CrossRefGoogle Scholar
[4]Higgins, P. M., Techniques of semigroup theory (Oxford University Press, Oxford, 1992).CrossRefGoogle Scholar
[5]Howie, J. M. and Isbell, J. R., ‘Epimorphisms and dominions II’, J. Algebra 6 (1967), 721.CrossRefGoogle Scholar
[6]Isbell, J. R., ‘Epimorphisms and dominions’, in: Proc. Conf. Categorical Algebra (La Jolla, Calif, 1965) (ed. Eilenberg, S. et al. ) (Springer, New York, 1966) pp. 232246.CrossRefGoogle Scholar
[7]Isbell, J. R., ‘Notes on semigroup dominions’, Semigroup Forum 7 (1974), 364368.CrossRefGoogle Scholar
[8]Magill, K. D. Jr, ‘Semigroup structures for families of functions, I. Some homomorphism theorems‘, J. Austral. Math. Soc. 7 (1967), 8194.Google Scholar
[9]Magill, K. D. Jr, ‘Semigroup structures for families of functions, II. Continuous functions’, J. Austral. Math. Soc. 7 (1967), 95107.Google Scholar
[10]Magill, K. D. Jr, Misra, P. R. and Tewari, U. B., ‘Symons' d-congruence on sandwich semigroups’, Czechoslovak Math. J. 33 (1983), 221236.CrossRefGoogle Scholar
[11]Sullivan, R. P., ‘Generalised partial transformation semigroups’, J. Austral. Math. Soc. 19 (1975), 470473.CrossRefGoogle Scholar
[12]Symons, J. S. V., ‘On a generalization of the transformation semigroup’, J. Austral. Math. Soc. (1975), 4761.CrossRefGoogle Scholar
[13]Vorobev, N. N., ‘On symmetric associative systems’, Leningrad Gos. Ped. Inst. Ucen. Zap. 89 (1953), 161166 (Russian).Google Scholar