The influence on a finite group of the cofactors and subcofactors of its subgroups

Abstract

Abstract. The effect on a finite group G of imposing a condition 6 on its proper subgroups has been studied by Schmidt, Iwasawa, Itô, Huppert, and others. In this paper, the effect on G of imposing 9 on only the cofactor H/cora H (or more generally, the subcofactor ///scorG H) of certain subgroups H of G is investigated, where cor0 H (scor0 H) is the largest G-normal (G-subnormal) subgroup of H. It is shown, for example, that if (a) ///scorc H is /»-nilpotent for all self-normalizing H <G, or if (b) 7f7scorG H is p-nilpotent for all abnormal H< G and p is odd or the />-Sylows of G are abelian, then in either case, G has a normal p-subgroup P for which G/P is p-nilpotent. Results of this type are also derived for 6 = nilpotent, nilpotent of class an, solvable of derived length g«, o-Sylow-towered, supersolvable. In some cases, additional structure in G is obtained by imposing 8 not only on these "worst" parts of the "bad" subgroups of G (from the viewpoint of normality), but also on the "good" subgroups, those which are normal in G or are close to being normal in that their cofactors are small.Finally, this approach is in a sense dualized by an investigation of the influence on G of the outer cofactors of its subgroups. The consideration of nonnormal outer cofactors is reduced to that of the usual cofactors. The study of normal outer cofactors includes the notion of normal index of maximal subgroups, and it is proved, for example, that G is p-solvable iff the normal index of each abnormal maximal subgroup of G is a power of p or is prime to p.There are a number of theorems which describe the effect on a finite group G of a condition 6 imposed on its proper subgroups. For example, Schmidt [15] and Iwasawa [12] have shown that if every proper subgroup of a finite group G is nilpotent, then G is solvable, and among other things (see Theorem 2-A), if G itself is nonnilpotent, then \G\ =paq" for distinct primes p and q, G has a normal /j-Sylow subgroup and cyclic í7-Sylow subgroups. Huppert [10] and Doerk [5] have obtained corresponding results for the case where the proper subgroups of G are

On factorized groups

“…In this paper, the effect on G brought about by the condition that G is factorized by a normalizer of a Sylow p-subgroup for each p 6 27(G) is studied. [14] returned to the concept of normal index.…”