Generalized Frattini subgroups as coradicals of groups. (Q1957059): Difference between revisions

The present paper studies maximal subgroups of finite soluble groups and their intersections. To this end, the author uses what he calls m-functors. Let \(\Theta\) be a function assigning to any group \(G\) a set \(\Theta(G)\) of maximal subgroups of \(G\) together with the group itself such that \((\Theta(G))^\varphi=\Theta(G^\varphi)\), for every isomorphism \(\varphi\) of \(G\). We say that \(\Theta\) is a `regular' functor if \(\Theta(G/N)=\{MN/M:M\in\Theta(G) \}\) for any normal subgroup \(N\) of \(G\). If \(\mathcal X\) is a class of groups, a maximal subgroup \(M\) of a group \(G\) is called \(\mathcal X\)-normal if the primitive group \(G/\text{Core}_G(M)\in\mathcal X\); \(M\) is called \(\mathcal X\)-abnormal otherwise. It is established that the class of all regular m-functors is a Boolean complete distributive lattice with respect to the partial order defined by set-theoretic inclusion, and this class is precisely the class of all \(\mathcal X\)-abnormal m-functors, where \(\mathcal X\) runs over all subclasses of the class of all primitive groups. Hence, a description of the atoms and coatoms of the lattice easily follows.