Group presentations with few relations and undecidable word problem - MathOverflow most recent 30 from http://mathoverflow.net2013-06-19T05:27:51Zhttp://mathoverflow.net/feeds/question/107357http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/107357/group-presentations-with-few-relations-and-undecidable-word-problemGroup presentations with few relations and undecidable word problembb2012-09-17T05:08:25Z2012-09-17T06:07:38Z
<p>This question came up in an algebra class I'm teaching. It's not my field and I couldn't find an answer easily, so I thought I would ask it here.</p>
<p>Is the fewest number of relations in a presentation of a group with undecidable word problem known? </p>
<p>The example with the fewest relations I could find by googling was 12 relations in a 1969 paper by Borisov (http://www.ams.org/mathscinet-getitem?mr=0260851) I also found a 1972 paper by Collins (http://www.ams.org/mathscinet-getitem?mr=0314998) which describes a presentation with 12 relations.</p>