Finite minimal non-\(\text{T}_1\)-groups. (Q2482074)

A finite group \(G\) is a T-group if all subnormal subgroups of \(G\) are normal and it is called a \(\text{T}_1\)-group if the quotient of \(G\) modulo its hypercenter is a T-group -- this latter class of groups was introduced by the authors [in Ric. Mat. 55, No. 2, 219-225 (2006; Zbl 1119.20023)]. The aim of the paper under review is to classify those finite groups \(G\) which are minimal non-\(\text{T}_1\)-groups, i.e., all proper subgroups of \(G\) are \(\text{T}_1\)-groups but \(G\) itself is not a \(\text{T}_1\)-group. These groups have the nice property that there exists precisely one prime divisor of \(|G|\) for which the corresponding Sylow \(p\)-subgroup is normal. Its complement \(H\) in \(G\) is cyclic (in most cases the structure of \(G\) is described according to 8 cases) and \(G\), being a minimal non-supersolvable group (because all its proper subgroups are \(\text{T}_1\)-groups), must be solvable by a result of \textit{K. Doerk} [Math. Z. 91, 198-205 (1966; Zbl 0135.05401)]. The complete classification is too complicated to be indicated here. The authors provide a great number of examples and also connections with other classes of solvable groups.