Geodesic
Free Objects in Certain Varieties of Inverse Semigroups
Canadian journal of mathematics, Tome 42 (1990) no. 6, pp. 1084-1097

Voir la notice de l'article provenant de la source Cambridge University Press

In this paper it is shown how the graphical methods developed by Stephen for analyzing inverse semigroup presentations may be used to study varieties of inverse semigroups. In particular, these methods may be used to solve the word problem for the free objects in the variety of inverse semigroups generated by the five-element combinatorial Brandt semigroup and in the variety of inverse semigroups determined by laws of the form xn = x n + 1. Covering space methods are used to study the free objects in a variety of the form ∨ where is a variety of inverse semigroups and is the variety of groups.
DOI : 10.4153/CJM-1990-058-9
Mots-clés : 20M05, 20M18, 03D40 
Margolis, S. W.; Meakin, J. C.; Stephen, J. B. Free Objects in Certain Varieties of Inverse Semigroups. Canadian journal of mathematics, Tome 42 (1990) no. 6, pp. 1084-1097. doi: 10.4153/CJM-1990-058-9
@article{10_4153_CJM_1990_058_9,
     author = {Margolis, S. W. and Meakin, J. C. and Stephen, J. B.},
     title = {Free {Objects} in {Certain} {Varieties} of {Inverse} {Semigroups}},
     journal = {Canadian journal of mathematics},
     pages = {1084--1097},
     year = {1990},
     volume = {42},
     number = {6},
     doi = {10.4153/CJM-1990-058-9},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1990-058-9/}
}
TY  - JOUR
AU  - Margolis, S. W.
AU  - Meakin, J. C.
AU  - Stephen, J. B.
TI  - Free Objects in Certain Varieties of Inverse Semigroups
JO  - Canadian journal of mathematics
PY  - 1990
SP  - 1084
EP  - 1097
VL  - 42
IS  - 6
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1990-058-9/
DO  - 10.4153/CJM-1990-058-9
ID  - 10_4153_CJM_1990_058_9
ER  - 
%0 Journal Article
%A Margolis, S. W.
%A Meakin, J. C.
%A Stephen, J. B.
%T Free Objects in Certain Varieties of Inverse Semigroups
%J Canadian journal of mathematics
%D 1990
%P 1084-1097
%V 42
%N 6
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1990-058-9/
%R 10.4153/CJM-1990-058-9
%F 10_4153_CJM_1990_058_9

[1] 1. Clifford, A.H. and Preston, G.B., The algebraic theory of semigroups, Math Surveys No. 7, Amer. Math. Soc. Providence, Vol. I (1961), Vol. II (1967). Google Scholar

[2] 2. Grätzer, G., Universal algebra 2nd éd., Springer (1979). Google Scholar

[3] 3. Higgins, P., Categories and groupoids, Van Nostrand-Reinhold, New York, 1971. Google Scholar

[4] 4. Hoproft, J.E. and Ullman, J.D., Formal languages and their relation to automata, Addison- Wesley, 1969. Google Scholar

[5] 5. Lallement, G., Semigroups and combinatorial applications, Wiley, 1979. Google Scholar

[6] 6. Lothaire, M., Combinatorics on words, Encyclopedia of mathematics and its applications, Addison- Wesley, 1983. Google Scholar

[7] 7. Margolis, S., Meakin, J. and Stephen, J., Some decision problems for inverse monoid presentations, in “Semigroups and their applications”, Goberstein, Higgins, (Ed). D. Reidel (1987), 99–110. Google Scholar | DOI

[8] 8. Margolis, S. and Meakin, J., Inverse monoids, trees and context-free languages, Trans. Amer. Math. Soc. (to appear). Google Scholar

[9] 9. Meakin, J., Automata and the word problem, in “Formal Properties of Finite Automata and Applications”, Lecture Notes in Computer Science 386, J.E. Pin, (Ed). Springer-Verlag (1989), 89–103. Google Scholar

[10] 10. Petrich, M., Inverse semigroups, Wiley Interscience, 1984. Google Scholar

[11] 11. Reilly, N.R., Free combinatorial strict inverse semigroups, J. Lond. Math. Soc. (2) 39 (1989), 102-120. Google Scholar

[12] 12. Serre, J.P., Trees, Springer-Verlag, 1980. Google Scholar | DOI

[13] 13. Stallings, J., Topology of finite graphs, Inv. Math. 71 (1983), 551–565. Google Scholar

[14] 14. Stephen, J.B., Presentations of inverse monoids, J. Pure Appl. Algebra 63 (1990) no. 1, 81-112. Google Scholar

[15] 15. Stephen, J.B., Contractive presentations of inverse monoids, preprint. Google Scholar

Cité par Sources :