No label defined (Q4946059)

Let \(n\) be a natural number. A group \(G\) satisfies condition \(J_n\) (is a \(J_n\)-group) if the following is true: If \(x_1=x\) is an element of \(G\) and \(x_i\) are conjugates of \(x_1\) such that \(x_{i+1}\not\in\langle x_1,\dots,x_i\rangle\), then \(\langle x_1,\dots,x_k\rangle\) is a normal subgroup of \(G\) for some \(k\leq n\) which will depend on \(x_1\). In particular, \(G\) is a \(J_1\)-group if and only if \(G\) is Dedekind. The authors prove: In a nilpotent \(J_n\)-group all cyclic subgroups are \(n\)-subnormal (Theorem 7), the nilpotent length of a finite solvable \(J_n\)-group is bounded by a function of \(n\) (Theorem 9), finite \(J_2\)-groups of odd order have a Sylow tower (Theorem 10), \(A_5\) is the only finite non-Abelian simple \(J_3\)-group (Theorem 12). Also properties of non-Abelian simple \(J_n\)-groups are exhibited. For the entire collection see [Zbl 0933.00033].