Ascending chains of finitely generated subgroups
Mark Shusterman

TL;DR
This paper proves that families of finitely generated subgroups in pro-$p$ groups have maximal elements and uses Noetherian induction to reveal new properties of these subgroups, including the behavior of their commensurators and ascending chains.
Contribution
It introduces the use of Noetherian induction in the context of finitely generated subgroups of pro-$p$ groups and establishes new results on the structure of ascending chains and commensurators.
Findings
Families of n-generated subgroups have maximal elements.
The commensurator of a finitely generated subgroup is the largest containing subgroup.
Ascending chains of n-generated subgroups in limit groups terminate.
Abstract
We show that a nonempty family of -generated subgroups of a pro- group has a maximal element. This suggests that 'Noetherian Induction' can be used to discover new features of finitely generated subgroups of pro- groups. To demonstrate this, we show that in various pro- groups (e.g. free pro- groups, nonsolvable Demushkin groups) the commensurator of a finitely generated subgroup is the greatest subgroup of containing as an open subgroup. We also show that an ascending sequence of -generated subgroups of a limit group must terminate (this extends the analogous result for free groups proved by Takahasi, Higman, and Kapovich-Myasnikov).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
