Institut Camille Jordan, Unité Mixte de Recherche 5208 du Centre National de la Recherche Scientifique, Université de Lyon, Université Lyon 1, 43 Boulevard du 11 Novembre 1918, 69622 Villeurbanne Cedex, France
Abstract:
We prove that in a group without the independence property a nilpotent subgroup is always contained in a definable nilpotent subgroup of the same nilpotency class. The analogue for the soluble case is also shown when the subgroup is normal in the ambient group.