Hostname: page-component-76fb5796d-25wd4 Total loading time: 0 Render date: 2024-04-27T02:24:27.363Z Has data issue: false hasContentIssue false

Dual symmetric inverse monoids and representation theory

Part of: Semigroups

Published online by Cambridge University Press:  09 April 2009

D. G. Fitzgerald
Affiliation:
School of Mathematics and Physics University of TasmaniaPO BOx 1214 Launceston, Australia7250 e-mail: D.FitzGerald@utas.edu.au
Jonathan Leech
Affiliation:
Department of mathematics Westmont College955 La Paz Road, Santa Barbara California 93108-1099USA e-mail: leech@westmont.edu
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.

There is a substantial theory (modelled on permutation representations of groups) of representations of an inverse semigroup S in a symmetric inverse monoid Ix, that is, a monoid of partial one-to-one selfmaps of a set X. The present paper describes the structure of a categorical dual Ix* to the symmetric inverse monoid and discusses representations of an inverse semigroup in this dual symmetric inverse monoid. It is shown how a representation of S by (full) selfmaps of a set X leads to dual pairs of representations in Ix and Ix*, and how a number of known representations arise as one or the other of these pairs. Conditions on S are described which ensure that representations of S preserve such infima or suprema as exist in the natural order of S. The categorical treatment allows the construction, from standard functors, of representations of S in certain other inverse algebras (that is, inverse monoids in which all finite infima exist). The paper concludes by distinguishing two subclasses of inverse algebras on the basis of their embedding properties.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1998

References

[1]Bredikhin, D. A., ‘Representations of inverse semigroups by difunctional multipermutations’, in: Transformation Semigroups: Proceedings of the International Conference held at the University of Essex, Colchester, England, August 3rd–6th, 1993 (ed. Higgins, P.M.) (Department of Mathematics, University of Essex, 1994) pp. 110.Google Scholar
[2]Fichtner, B., ‘Über die zu Gruppen gehörigen induktiven Gruppoide, I’, Math. Nachr. 44 (1970), 313339.CrossRefGoogle Scholar
[3]Fichtner-Schultz, B., ‘Über die zu Gruppen gehörigen induktiven Gruppoide, II’, Math. Nachr. 48 (1971), 275278.CrossRefGoogle Scholar
[4]Grillet, P. A., Semigroups: an introduction to the structure theory (Marcel Dekker, New York, 1995).Google Scholar
[5]Hilton, P. J. and Stammbach, U., A course in homological algebra, Graduate Texts in Math. 4 (Springer, New York, 1971).CrossRefGoogle Scholar
[6]Leech, J., ‘Constructing inverse monoids from small categories’, Semigroup Forum 36 (1987), 89116.CrossRefGoogle Scholar
[7]Leech, J., ‘Inverse monoids with a natural semilattice ordering’, Proc. London Math. Soc. 70 (1995), 146182.CrossRefGoogle Scholar
[8]Leech, J., ‘On the foundations of inverse monoids and inverse algebras’, Proc. Edinburgh Math. Soc. 41 (1998), 121.Google Scholar
[9]MacLane, S., Categories for the working mathematician, Graduate Texts in Math. 5 (Springer, New York, 1971).Google Scholar
[10]Petrich, M., Inverse semigroups (Wiley, New York, 1984).Google Scholar
[11]Preston, G. B., ‘Representations of inverse semigroups by one-to-one partial transformations of a set’, Semigroup Forum 6 (1973), 240245; Addendum, Semigroup Forum 8 (1974), 277.Google Scholar
[12]Riguet, J., ‘Relations binaires, fermetures, correspondances de Galois’, Bull. Soc. Math. France 76 (1948), 114132.Google Scholar
[13]Schein, B. M., ‘Representation of inverse semigroups by local automorphisms and multiautomorphisms of groups and rings’, Semigroup Forum 32 (1985), 5560.Google Scholar
[14]Schein, B. M., ‘Multigroups’, J. Algebra 111 (1987), 114132.Google Scholar
[15]Wagner, V. V., ‘Theory of generalised grouds and generalised groups’, Mat. Sb. (NS) 32 (1953), 545632.Google Scholar