Fitting classes of \({\mathcal S}_ 1\)-groups. I (Q1117040)

The paper gives a general theory of Fitting classes of \({\mathcal S}_ 1\)- groups and investigates the extent to which this will give rise to the existence and conjugacy of injectors. An \({\mathcal S}_ 1\)-group is one possessing a finite normal series in which the factors are abelian groups of finite rank whose torsion subgroups are Chernikov groups. Let \({\mathcal K}\) be a subclass of \({\mathcal S}_ 1\) which contains \({\mathcal F}\), the class of all finite soluble groups, and which is \(\{S,D_ 0\}\)- closed; that is, if \(G\in {\mathcal K}\) and \(H\leq G\) then \(H\in {\mathcal K}\) and if \(N_ 1,N_ 2\in {\mathcal K}\) then \(N_ 1\times N_ 2\in {\mathcal K}\). A Fitting class of \({\mathcal K}\)-groups (or a \({\mathcal K}\)-Fitting class) is a subclass \({\mathcal X}\) of \({\mathcal K}\) such that: (F1) if \(G\in {\mathcal X}\) and A is an ascendant subgroup of G, then \(A\in {\mathcal X}\); (F2) if \(G\in {\mathcal K}\) and G is generated by normal \({\mathcal X}\)-subgroups, then \(G\in {\mathcal X}\); (F3) if \(G\in {\mathcal K}\) and G is the union of an ascending chain of ascendant \({\mathcal X}\)-subgroups, then \(G\in {\mathcal X}\). For \({\mathcal K}={\mathcal F}\), the definition gives the usual definition of a Fitting class of finite soluble groups. The main results of the paper are the following: 1) Let \({\mathcal X}\) be a \({\mathcal K}\)-Fitting class containing all locally nilpotent \({\mathcal K}\)- groups and let \(G\in {\mathcal K}\). Suppose that G has a normal subgroup M such that \(M/G_{{\mathcal X}}\) is finite \((G_{{\mathcal X}}\) is the ``\({\mathcal X}\)-radical'' of G, i.e. the unique maximal normal \({\mathcal X}\)-subgroup of G) and M contains all \({\mathcal X}\)-subgroups of G which contain \(G_{{\mathcal X}}\). Then G has \({\mathcal X}\)-injectors and any two such subgroups are conjugate in G. The \({\mathcal X}\)-injectors of G are the \({\mathcal X}\)- injectors of M. 2) Let \({\mathcal K}\supseteq {\mathcal P}\) (\({\mathcal P}\) the class of polycyclic groups) and let \({\mathcal X}\) be a \({\mathcal K}\)-Fitting class such that each \({\mathcal K}\)-group G has a unique conjugacy class of \({\mathcal X}\)-injectors. Then each \({\mathcal K}\)-group G has a normal subgroup M such that \(M/G_{{\mathcal X}}\) is finite and the \({\mathcal X}\)-injectors of G are \({\mathcal X}\)-injectors of M.