Char-word-prob.pdf (254.55 kB)
Download file

Characterizing word problems of groups

Download (254.55 kB)
journal contribution
posted on 02.12.2016, 12:39 by S. A. M. Jones, Richard M. Thomas
The word problem of a finitely generated group is a fundamental notion in group theory; it can be defined as the set of all the words in the generators of the group that represent the identity element of the group. This definition allows us to consider a word problem as a formal language and a rich topic of research concerns the connection between the complexity of this language and the algebraic structure of the corresponding group. Another interesting problem is that of characterizing which languages are word problems of groups. There is a known necessary and sufficient criterion for a language to be a word problem of a group; however a natural question is what other characterizations there are. In this paper we investigate this question, using sentences expressed in first-order logic where the relations we consider are membership of the language in question and concatenation of words. We choose some natural conditions that apply to word problems and then characterize which sets of these conditions are sufficient to guarantee that the language in question really is the word problem of a group. We finish by investigating the decidability of these conditions for the families of regular and one-counter languages.

Funding

This paper was completed whilst the second author was on study leave from the University of Leicester and he would like to acknowledge the help and support of the university in this respect.

History

Citation

Lecture Notes in Computer Science, 2016, Volume 9899 pp. 104-118, Book Title: Reachability Problems

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

10th International Workshop, RP 2016, Aalborg, Denmark

Version

AM (Accepted Manuscript)

Published in

Lecture Notes in Computer Science

Publisher

Springer Verlag (Germany)

issn

0302-9743

isbn

978-3-319-45993-6;978-3-319-45994-3

Acceptance date

12/07/2016

Available date

02/12/2016

Publisher version

http://link.springer.com/chapter/10.1007/978-3-319-45994-3_8

Book series

Lecture Notes in Computer Science;9899

Temporal coverage: start date

19/09/2016

Language

en

Usage metrics

Categories

Keywords

Exports