\(\mathcal{FK}\)-norms of finite groups (Q6972682)

All groups in this review are finite.\N\NThe introduction of the norm of a group by Baer was a turning point in group theory. In fact, he proved that there is a very strong relationship between the structure of the norm and that of the whole group. Since then, the norm has played a very significant role in many aspects of group theory and its applications and some other types of norms have been introduced, serving different purposes.\N\NIn the paper under review, the authors introduce two different norms: \(\mathcal{N}^{\mathcal{FK}}(G)\), as the intersection of the normalizers of the subgroups \(H^{\mathcal{F}}O^{\mathcal{K}}(G)\) for every subgroup \(H\) of \(G\), where \(\mathcal{F}\) denotes a formation containing abelian groups and contained in nilpotent groups and \(\mathcal{K}\) is a subgroup closed formation and \(\tilde{\mathcal{N}}^{\mathcal{FK}}(G)\) as the intersection of the normalizers of the subgroups \(H^{\mathcal{F}}O^{\mathcal{K}}(G)\) for every subgroup \(H \in G\) such that \(H^{\mathcal{F}} \in \mathcal{N}\). As the main result of the paper, the authors prove that these two norms coincide. They also prove that \(G=\mathcal{N}^{\mathcal{FK}}(G)\) if and only if \(H=\mathcal{N}^{\mathcal{FK}}(H)\) for every subgroup \(H\) of \(G\) generated by three elements.\N\NMoreover, the authors introduce and study the concept of \(\mathcal{N}^{\mathcal{FK}}\)-groups, groups \(G\) such that \(G=\mathcal{N}^{\mathcal{FK}}(G)\) and \(IO-\mathcal{N}^{\mathcal{FK}}\)-group as a group which is not an \(\mathcal{N}^{\mathcal{FK}}\)-group but all of its subgroups and proper quotients are \(\mathcal{N}^{\mathcal{FK}}\)-groups.