Geodesic
Properties of the subsemigroups of the bicyclic monoid
Czechoslovak Mathematical Journal, Tome 58 (2008) no. 2, pp. 311-330
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

In this paper we study some properties of the subsemigroups of the bicyclic monoid B, by using a recent description of its subsemigroups. We start by giving necessary and sufficient conditions for a subsemigroup to be finitely generated. Then we show that all finitely generated subsemigroups are automatic and finitely presented. Finally we prove that a subsemigroup of B is residually finite if and only if it does not contain a copy of B.
In this paper we study some properties of the subsemigroups of the bicyclic monoid B, by using a recent description of its subsemigroups. We start by giving necessary and sufficient conditions for a subsemigroup to be finitely generated. Then we show that all finitely generated subsemigroups are automatic and finitely presented. Finally we prove that a subsemigroup of B is residually finite if and only if it does not contain a copy of B.
Classification : 20M05, 20M10
Keywords: bicyclic monoid; subsemigroup; generators; defining relations; automatic structures 
@article{CMJ_2008_58_2_a1,
     author = {Descal\c{c}o, L. and Ru\v{s}kuc, N.},
     title = {Properties of the subsemigroups of the bicyclic monoid},
     journal = {Czechoslovak Mathematical Journal},
     pages = {311--330},
     year = {2008},
     volume = {58},
     number = {2},
     mrnumber = {2411092},
     zbl = {1166.20052},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMJ_2008_58_2_a1/}
}
TY  - JOUR
AU  - Descalço, L.
AU  - Ruškuc, N.
TI  - Properties of the subsemigroups of the bicyclic monoid
JO  - Czechoslovak Mathematical Journal
PY  - 2008
SP  - 311
EP  - 330
VL  - 58
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMJ_2008_58_2_a1/
LA  - en
ID  - CMJ_2008_58_2_a1
ER  - 
%0 Journal Article
%A Descalço, L.
%A Ruškuc, N.
%T Properties of the subsemigroups of the bicyclic monoid
%J Czechoslovak Mathematical Journal
%D 2008
%P 311-330
%V 58
%N 2
%U http://geodesic.mathdoc.fr/item/CMJ_2008_58_2_a1/
%G en
%F CMJ_2008_58_2_a1
Descalço, L.; Ruškuc, N. Properties of the subsemigroups of the bicyclic monoid. Czechoslovak Mathematical Journal, Tome 58 (2008) no. 2, pp. 311-330. http://geodesic.mathdoc.fr/item/CMJ_2008_58_2_a1/

[1] C. L. Adair: A generalization of the bicyclic semigroup. Semigroup Forum 21 (1980), 13–25. | DOI | MR | Zbl

[2] K. Byleen, J. Meakin and F. Pastijn: The fundamental four-spiral semigroup. J. Algebra 54 (1978), 6–26. | DOI | MR

[3] C. M. Campbell, E. F. Robertson, N. Ruškuc and R. M. Thomas: Automatic semigroups. Theoret. Comput. Sci. 250 (2001), 365–391. | DOI | MR

[4] L. Descalço and N. Ruškuc: Subsemigroups of the bicyclic monoid. Internat. J. Algebra Comput. 15 (2005), 37–57. | DOI | MR

[5] P. A. Grillet: On the fundamental double four-spiral semigroup. Bull. Belg. Math. Soc. Simon Stevin 3 (1996), 201–208. | DOI | MR | Zbl

[6] M. Hoffmann, N. Ruškuc and R. M. Thomas: Automatic semigroups with subsemigroups of finite Rees index. Internat. J. Algebra Comput. 12 (2002), 463–476. | DOI | MR

[7] M. Hoffmann and R. M. Thomas: Notions of automaticity in semigroups. Semigroup Forum 66 (2003), 337–367. | DOI | MR

[8] J. W. Hogan: The $\alpha $-bicyclic semigroup as a topological semigroup. Semigroup Forum 28 (1984), 265–271. | DOI | MR | Zbl

[9] J. M. Howie: Fundamentals of Semigroup Theory. Oxford University Press, 1995. | MR | Zbl

[10] G. Lallement: Semigroups and Combinatorial Applications. John Wiley & Sons, 1979. | MR | Zbl

[11] G. Lallement: On monoids presented by a single relation. J. Algebra 32 (1974), 370–388. | DOI | MR | Zbl

[12] M. V. Lawson: Inverse Semigroups. World Scientific, 1998. | MR | Zbl

[13] S. O. Makanjuola and A. Umar: On a certain subsemigroup of the bicyclic semigroup. Comm. Algebra 25 (1997), 509–519. | DOI | MR

[14] N. Ruškuc: On large subsemigroups and finiteness conditions of semigroups. Proc. London Math. Soc. 76 (1998), 383–405. | MR

[15] L. N. Shevrin: The bicyclic semigroup is determined by its subsemigroup lattice. Bull. Belg. Math. Soc. Simon Stevin 67 (1993), 49–53. | MR | Zbl

[16] L. N. Shevrin and A. J. Ovsyannikov: Semigroups and Their Subsemigroup Lattices. Kluwer Academic Publishers, 1996. | MR