Minimal conditions for q-subgroups in \(F^*_ q\)-groups (Q790253): Difference between revisions

The class of biprimitively finite groups is a generalization of the class of locally finite groups, introduced and studied in a series of papers by V. P. Shunkov (see the paper for references). The present paper studies various types of minimality conditions in this and related classes of groups, together with questions of the conjugacy of maximal locally finite q-subgroups. A number of technical definitions are required before any of the results can be stated. Let G be a group and q a prime. Then G is q-biprimitively finite if for every finite subgroup H of G, every pair of elements of order q in \(N_ G(H)/H\) generates a finite group. If for every such H and pair of elements a,b of order q in \(T=N_ G(H)/H,\) there exists \(c\in T\) such that \(<a,c^{-1}bc>\) is finite, then G is called an \(F_ q\)-group, and if every subgroup of G is an \(F_ q\)- group, then G is an \(F^*_ q\)-group. If the appropriate condition holds for all \(q\in \pi(G)\), then G is called biprimitively finite or an \(F^*\)-group respectively. If every chain \(G_ 1\supset G_ 2\supset...\) in which each set \(G_ n\backslash G_{n+1}\) contains a q- element, is finite, then G satisfies q-min, and if those chains satisfy the further condition that each index \(| G_ n:G_{n+1}|\) is infinite, all break off after finitely many steps, then G satisfies q- min-\(\infty\). Some sample results are as follows. Theorem 1: In an arbitrary \(F^*_ q\)-group satisfying q-min-\(\infty\), the maximal locally finite q-subgroups are conjugate. Theorem 2: In an arbitrary periodic \(F^*_ q\)-group, the conditions q-min-\(\infty\) and q-min are equivalent. Theorem 3: Let G be an \(F^*_ q\)-group satisfying the minimal condition for abelian q-subgroups and containing an infinite maximal locally finite q-subgroup Q with the following property: For each 1\(\neq x\in Q\) such that \(C_ Q(x)\) is infinite, the maximal locally finite q-subgroups of \(C_ G(x)\) are conjugate in \(C_ G(x)\). Then the maximal locally finite q-subgroups of G are conjugate.