Free polynilpotent groups and the Magnus property

DOI10.1515/FORUM-2022-0253MaRDI QIDQ6409142arXivFDO

Authors Benjamin Klopsch, Luis Augusto de Mendonça, Jan Moritz Petschick

Publication date 29 August 2022

Published in arXiv

Full work available at URL https://doi.org/10.1515/FORUM-2022-0253

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Extensions, wreath products, and other compositions of groups (20E22) Conjugacy classes for groups (20E45) Derived series, central series, and generalizations for groups (20F14) Generalizations of solvable and nilpotent groups (20F19) Nilpotent groups (20F18) Ultraproducts and related constructions (03C20) Local properties of groups (20E25) Quasivarieties and varieties of groups (20E10)

arXiv classification

math.GR

Abstract: Motivated by a classic result for free groups, one says that a group $G$ has the Magnus property if the following holds: whenever two elements generate the same normal subgroup of $G$, they are conjugate or inverse-conjugate in $G$. It is a natural problem to find out which relatively free groups display the Magnus property. We prove that a free polynilpotent group of any given class row has the Magnus property if and only if it is nilpotent of class at most $2$. For this purpose we explore the Magnus property more generally in soluble groups, and we produce new techniques, both for establishing and for disproving the property. We also prove that a free centre-by-(polynilpotent of given class row) group has the Magnus property if and only if it is nilpotent of class at most $2$. On the way, we display $2$-generated nilpotent groups (with non-trivial torsion) of any prescribed nilpotency class with the Magnus property. Similar examples of finitely generated, torsion-free nilpotent groups are hard to come by, but we construct a $4$-generated, torsion-free, class-$3$ nilpotent group of Hirsch length $9$ with the Magnus property. Furthermore, using a weak variant of the Magnus property and an ultraproduct construction, we establish the existence of metabelian, torsion-free, nilpotent groups of any prescribed nilpotency class with the Magnus property.

This page was built for publication: Free polynilpotent groups and the Magnus property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6409142)