Some one-relator semigroup presentations with solvable word problems
Published online by Cambridge University Press: 24 October 2008
Extract
We provide, for N ≥ 1, a solution to the word problem for the semigroup S having the presentation {a, b|a = abaNb}. For N = 2, this is example 7 in Howie and Pride [1]. Since solving the word problem for {a, b|a = abaNb} is equivalent to solving the word problem for {a, b|a = baNba}, the result here should be regarded as a special case of a more general result of Oganesyan [2], who solves the word problem for {a, b|a = bA}, A arbitrary.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 99 , Issue 3 , May 1986 , pp. 433 - 434
- Copyright
- Copyright © Cambridge Philosophical Society 1986
References
REFERENCES
- 6
- Cited by