A compatibility condition for the embedding problem with $p$-extension

Embedding problems with a group and its Sylow $p$-subgroup over a $p$-extension are considered. A Faddeev–Hasse compatibility condition for this problem are studied. It is proved that the compatibility condition for the problems considered are equivalent if the kernel is a supersolvable group or the Sylow $p$-subgroup is an invariant subgroup.