The notion of the word problem is of fundamental importance in group theory. The irreducible word problem is a closely related concept and has been studied in a number of situations; however there appears to be little known in the case where a finitely generated group has a recursively enumerable irreducible word problem. In this paper we show that having a recursively enumerable irreducible word problem with respect to every finite generating set is equivalent to having a recursive word problem. We prove some further results about groups having a recursively enumerable irreducible word problem, amongst other things showing that there are cases where having such an irreducible word problem does depend on the choice of finite generating set. © 2013 Springer-Verlag.
CITATION STYLE
Rino Nesin, G. A., & Thomas, R. M. (2013). Groups with a recursively enumerable irreducible word problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8070 LNCS, pp. 283–292). https://doi.org/10.1007/978-3-642-40164-0_27
Mendeley helps you to discover research relevant for your work.