A Jordan–Hölder type theorem for finite groups

We introduce the notion of \(\mathbb {P}\) $\mathbb{P}$ -subnormal subgroup in a finite group, which generalizes the one of subnormal subgroup. We prove an analogous of the well-known Jordan–Hölder Theorem for these subgroups and their related chains of subgroups.