Abstract
We prove that any maximal group in the free Burnside semigroup defined by the equation x n=x n+m for any n ≥ 1 and any m ≥ 1 is a free Burnside group satisfying x m=1. We show that such group is free over a well described set of generators whose cardinality is the cyclomatic number of a graph associated to the ℑ-class containing the group. For n=2 and for every m ≥ 2 we present examples with 2m−1 generators. Hence, in these cases, we have infinite maximal groups for large enough m. This allows us to prove important properties of Burnside semigroups for the case n=2, which was almost completely unknown until now. Surprisingly, the case n=2 presents simultaneously the complexities of the cases n=1 and n ≥ 3: the maximal groups are cyclic of order m for n ≥ 3 but they can have more generators and be infinite for n ≤ 2; there are exactly 2¦A¦ ℑ-classes and they are easily characterized for n=1 but there are infinitely many, ℑ-classes and they are difficult to characterize for n ≥ 2.
Preview
Unable to display preview. Download preview PDF.
References
S. I. Adian. The Burnside problem and identities in groups, volume 95 of Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas]. Springer-Verlag, Berlin-New York, 1979. Translated from the Russian by John Lennox and James Wiegold.
J. Brzozowski, K. Culik, and A. Gabrielian. Classification of non-counting events. J. Comp. Syst. Sci., 5:41–53, 1971.
Adyan, S. I. Problema Bernsaida i tozhdestva v gruppakh. Izdat. “Nauka”, Moscow, 1975.
A. de Luca and S. Varricchio. On non-counting regular classes. In M.S. Paterson, editor, Automata, Languages and Programming, pages 74–87, Berlin, 1990. Springer-Verlag. Lecture Notes in Computer Science, 443.
A. de Luca and S. Varricchio. On finitely recognizable semigroups. Acta Inform., 29(5):483–498, 1992.
A. de Luca and S. Varricchio. On non-counting regular classes. Theoretical Computer Science, 100:67–104, 1992.
A. P. do Lago. Doctoral thesis in preparation.
A. P. do Lago. Sobre os semigrupos de Burnside x n=x n+m. Master's thesis, Institute de Matemática e Estatística da Universidade de SÃo Paulo, November 1991.
A. P. do Lago. On the Burnside semigroups x n=x n+m. In I. Simon, editor, LATIN'92, volume 583 of Lecture Notes in Computer Science, pages 329–43, Berlin, 1992. Springer-Verlag.
A. P. do Lago. On the Burnside semigroups x n=x n+m. Int. J. of Algebra and Computation, 6(2):179–227, 1996.
J. A. Green and D. Rees. On semigroups in which x r=x. Proc. Cambridge. Philos. Soc., 48:35–40, 1952.
V. S. Guba. The word problem for the relatively free semigroup satisfying t m=t m+n with m ≥ 3. Int. J. of Algebra and Computation, 2(3):335–348, 1993.
V. S. Guba. The word problem for the relatively free semigroup satisfying t m=t m+n with m ≥ 4 or m=3, n=1. Int. J. of Algebra and Computation, 2(2):125–140, 1993.
S. V. Ivanov. On the Burnside problem on periodic groups. Bull. Amer. Math. Soc. (N.S.), 27(2):257–260, 1992.
S. V. Ivanov. The free Burnside groups of sufficiently large exponents. Internat. J. Algebra Comput., 4(1–2):ii+308, 1994.
L. Kadourek, Jiríand Polák. On free semigroups satisfying x r ≃ x. Simon Stevin, 64(1):3–19, 1990.
G. Lallement. Semigroups and Combinatorial Applications. John Wiley & Sons, New York, NY, 1979.
I. G. LysËnok. Infinity of Burnside groups of period 2k for k ≥ 13. Uspekhi Mat. Nauk, 47(2(284)):201–202, 1992.
J. McCammond. The solution to the word problem for the relatively free semigroups satisfying t a=t a+b with a ≥ 6. Int. J. of Algebra and Computation, 1:1–32, 1991.
I. Simon. Notes on non-counting languages of order 2. manuscript, 1970.
A. Thue. über die gegenseitige Lage gleicher Teile gewisser Zeichenreihen. Norske Vid. Selsk. Skr. I Mat. Nat. Kl., 1:1–67, 1912.
B. Tilson. Categories as algebra: an essential ingredient in the theory of monoids. J. Pure Appl. Algebra, 48(1–2):83–198, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
do Lago, A.P. (1998). Maximal groups in free Burnside semigroups. In: Lucchesi, C.L., Moura, A.V. (eds) LATIN'98: Theoretical Informatics. LATIN 1998. Lecture Notes in Computer Science, vol 1380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054311
Download citation
DOI: https://doi.org/10.1007/BFb0054311
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64275-6
Online ISBN: 978-3-540-69715-2
eBook Packages: Springer Book Archive