The intersection of maximal subgroups with finite index. (Q2459017)

For a group \(G\) let \(_f\text{Frat}(G)\) denote the intersection of the maximal subgroups of \(G\) of finite index. The author shows that this subgroup has many of the elementary properties of the classic Frattini subgroup -- for example, if \(_f\text{Frat}(G)\) is finite, then it is nilpotent (this is a corollary of the more technical Theorem C). Theorem B shows that in groups \(G\) with the minimum condition on subgroups all normal Dedekind subgroups \(A\) of \(G\) with \(A\cap{_f\text{Frat}(G)}=1\) have a complement of finite index.