We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Group Theory

Title: Computability of finite quotients of finitely generated groups

Abstract: We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth function and solvability of the word problem. We give examples of infinitely presented groups whose finite quotients can be effectively enumerated. Finally, our main result is that a residually finite group can be even not recursively presented and still have computable finite quotients, and that, on the other hand, it can have solvable word problem while still not having computable finite quotients.
Comments: 23 pages, 0 figure. Improved version, Problem 12 was in fact already solved
Subjects: Group Theory (math.GR)
MSC classes: 20E26
Cite as: arXiv:2002.02541 [math.GR]
  (or arXiv:2002.02541v2 [math.GR] for this version)

Submission history

From: Emmanuel Rauzy [view email]
[v1] Thu, 6 Feb 2020 22:35:01 GMT (19kb)
[v2] Mon, 2 Nov 2020 16:50:10 GMT (28kb)

Link back to: arXiv, form interface, contact.