On \({\mathfrak F}\)-normal subgroups of finite soluble groups (Q1345913): Difference between revisions

All groups considered are finite and soluble. Working within the framework of formation theory and inspired by the theory of \(\mathcal F\)- normalisers by Carter and Hawkes, the concept of normal subgroup is extended as follows: if \(\mathcal F\) is a saturated formation, \(\mathfrak f\) its smallest local definition, then a subgroup \(H\) of a group \(G\) is said to be \(\mathcal F\)-normal in \(G\) if either \(H = G\) or \(H/\text{Core}_ G (H) \in {\mathfrak f} (p)\), for every prime \(p\) dividing \([G : H]\). In this paper, those subgroup-closed saturated formations \(\mathcal F\) are characterised (in terms of their local definitions) which have the property that for every group \(G\) the intersection and the join, respectively, of any two of its \(\mathcal F\)-normal subgroups are \(\mathcal F\)- normal in \(G\) (Theorems 3.9 and 3.12). In particular, if \(p = \text{char } {\mathcal F}\), then the set of all \(\mathcal F\)-normal subgroups is a lattice for every soluble group if and only if either \(\mathcal F\) is the class of all soluble \(p\)-groups or the class of all nilpotent \(p\)-groups.