The Dietzmann property of some classes of groups with locally finite conjugacy classes. (Q1879649)

Let \(\mathcal X\) be a class of groups. Then an element \(x\) of a group \(G\) is called an \(\mathcal X\)C-element if \(G/C_G(x^G)\in{ \mathcal X}\), (where \(x^G\) is the set of conjugates of \(x\) in \(G\)). Should every element of \(G\) be an \(\mathcal X\)C-element, the group \(G\) is called an \(\mathcal X\)C-group. When \({\mathcal X}={\mathcal F}\), the class of finite groups, we arrive at the familiar notions of FC-element and FC-group. A class of groups \(\mathcal D\) is called a Dietzmann class if \(\langle x^G\rangle\in{\mathcal D}\) whenever \(x\) is an \({\mathcal X}\)C-element of \(G\) and \(\langle x\rangle\in{\mathcal D}\). The classical lemma of Dietzmann states that \(\mathcal F\) is a Dietzmann class. This article is concerned with the question: is \(\mathcal D\)C a Dietzmann class whenever \(\mathcal D\) is a Dietzmann class? The following theorem gives some partial results in this direction and answers a question of the author and J.~R.~Rogério. If \(\pi\) is a set of primes, \({\mathcal F}_\pi\) denotes the class of finite \(\pi\)-groups and \(L{\mathcal F}_\pi\) the class of locally finite \(\pi\)-groups. Also \(H{\mathcal X}\) is the class of hyper-\(\mathcal X\)-groups, (i.e., groups with an ascending normal series whose factors belong to \(\mathcal X\)). Theorem. Let \(\pi\) be a set of primes and let \(\mathcal X\) be a subgroup and quotient closed class of groups such that \({\mathcal F}_\pi\subseteq{\mathcal X}\subseteq L{\mathcal F}_\pi\). Then \(H{\mathcal X}\) and \((H{\mathcal X})\)C are Dietzmann classes.