Abstract If $$\sigma = \{ {\sigma }_{i} : i \in I \}$$ σ = { i : ∈ I } is a partition of the set $$\mathbb {P}$$ P all prime num...

Introduction. Dedekind has determined all groups whose subgroups are all normal (see, e.g., [5, Theorem 12.5.4]). Partially generalizing this, Wielandt showed that a finite group is nilpotent, if and only if all its subgroups are subnormal, and also if and only if all maximal subgroups are normal [5, Corollary 10.3.1, 10.3.4]. Huppert [7, Sätze 23, 24] has shown that if all 2nd-maximal subgroup...