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


Current browse context:


Change to browse by:

References & Citations


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

Mathematics > Group Theory

Title: On equationally Noetherian and residually finite groups

Abstract: The aim of this paper is to compare and contrast the class of residually finite groups with the class of equationally Noetherian groups - groups over which every system of coefficient-free equations is equivalent to a finite subsystem. It is easy to construct groups that are residually finite but not equationally Noetherian (e.g. the direct sum of all finite groups) or vice versa (e.g. the additive group $(\mathbb{Q},+)$ of the rationals). However, no explicit examples that are finitely generated seem to appear in the literature.
In this paper, we show that among finitely generated groups, the classes of residually finite and equationally Noetherian groups are similar, but neither of them contains the other. On one hand, we show that some classes of finitely generated groups which are known to be residually finite, such as abelian-by-polycyclic groups, are also equationally Noetherian (answering a question posed by R. Bryant). We also give analogous results stating sufficient conditions for a fundamental group of a graph of groups to be equationally Noetherian and to be residually finite. On the other hand, we produce examples of finitely generated non-(equationally Noetherian) groups which are either residually torsion-free nilpotent or conjugacy separable, as well as examples of finitely presented equationally Noetherian groups that are not residually finite.
Comments: 28 pages; minor charges in response to the referees' comments. To appear in J. Algebra
Subjects: Group Theory (math.GR)
MSC classes: 20F70, 20E26
Journal reference: J. Algebra 587 (2021), 638-677
DOI: 10.1016/j.jalgebra.2021.08.018
Cite as: arXiv:2002.11683 [math.GR]
  (or arXiv:2002.11683v3 [math.GR] for this version)

Submission history

From: Motiejus Valiunas [view email]
[v1] Wed, 26 Feb 2020 18:21:31 GMT (30kb)
[v2] Thu, 1 Oct 2020 16:40:03 GMT (38kb)
[v3] Wed, 25 Aug 2021 13:59:32 GMT (38kb)

Link back to: arXiv, form interface, contact.