Definable Envelopes of Nilpotent Subgroups of Groups with Chain Conditions on Centralizers
An group is a group in which all chains of centralizers have finite length. In this article, we show that every nilpotent subgroup of an group is contained in a definable subgroup which is nilpotent of the same nilpotence class. Definitions are uniform when the lengths of chains are bounded.