\(M\)-groups of Fitting length three. (Q1409739): Difference between revisions

In general, normal subgroups of an \(M\)-group need not be \(M\)-groups themselves. Here, by definition, an \(M\)-group \(G\) is a finite group all of whose complex irreducible characters are induced from 1-dimensional (i.e. linear) characters of suitable subgroups of \(G\). It was \textit{E. C. Dade} [Math. Z. 133, 313-317 (1973; Zbl 0255.20007)] and \textit{R. W. van der Waall} [Nederl. Akad. Wet., Proc., Ser. A 77, 157-167 (1974; Zbl 0279.20013)], who showed that indeed the implication \[ G\text{ an }M\text{-group},\;N\text{ normal subgroup}\Rightarrow N\text{ an }M\text{-group}, \] does not hold always. In the last thirty years several classes of \(M\)-groups were investigated for which it does hold. In this paper the following is shown in this vain. Theorem: Let \(G\) be an \(M\)-group and \(p\) a prime number. Suppose \(K\) and \(L\) are normal subgroups of \(G\) satisfying the order of \(G/K\) divides \(p\), \(K/L\) is a nilpotent \(p'\)-group, \(L\) is an Abelian \(p\)-group. Then every normal subgroup of \(G\) is an \(M\)-group.