On \(T\)-groups, supersolvable groups, and maximal subgroups. (Q623439)

The article synthesizes several disparate but well-known concepts for finite groups. The T-groups, groups in which each subnormal subgroups is normal in the group, and the NNM-groups, groups in which each non-normal proper subgroup is contained in a non-normal maximal subgroup of the group, are related as follows within the collection of solvable groups. A group \(G\) is a T-group if and only if each subgroup of \(G\) is an NNM-group. Let \(\mathcal M(G)\) denote the set of maximal subgroups of \(G\), \(\mu(G)\) the lattice of all intersections among the subgroups in \(\mathcal M(G)\cup G\), and \(\Lambda(A)\) the minimal member of \(\mu(G)\) that contains \(A\). Consequently \(\Lambda(A)=A\) if and only if \(A\in\mu(G)\). A subgroup \(A\) is defined as being \(\Lambda\)-invariant if \(\Lambda(A)\) is normal in \(G\) and a group \(G\) is an IM-group if each subgroup of \(G\) is \(\Lambda\)-invariant, i.e., the lattice of subgroups of \(G\) is \(\mu(G)\). It is known that \(G\) is an IM-group if and only if \(G\) is an elementary T-group, i.e., each Sylow subgroup is elementary Abelian, and that IM-groups are solvable. Denote the set of all non-normal subgroups by \(\text{nn}(G)\). In this article, it is proven that if the set \(\text{nn}(G)\) is \(\Lambda\)-invariant then \(G\) is both a T-group and an NNM-group. Furthermore if \(G\) is solvable, then \(G\) is a T-group if and only if \(\text{nn}(G)\) is \(\Lambda\)-invariant. The proofs of these results depend upon the following support: If a subnormal subgroup \(L\) of \(G\) is contained in an \(M\in\mathcal M(G)\), then (i) the normal closure \(L^G\subseteq M\) and (ii) \(\Lambda(L)\) is normal in \(G\). Moreover, \(G\) is a solvable T-group if and only if all subgroups of \(G\) are pronormal in \(G\). The author concludes with these relationships. If the supersolvable subgroup \(K\) is normal in an NNM-group \(G\) and \(G/K\) is nilpotent, then \(G\) is supersolvable. Moreover, if a group \(H\) has all of its non-normal subgroups being NNM-groups, then \(H\) is supersolvable.