I am trying to prove the following,
Let $G$ be a finite $p$-group and let $H$ be a proper subgroup. Then there exists a subgroup $H'$ such that $ H\lneq H'\leq G $ and $H\triangleleft H'$.
Obviously, the natural choice for $H'$ would be the normalizer $N_G(H)$ of $H$ in $G$. However, one needs to prove then that $H\lneq N_G(H)$ in finite $p$-groups. I am aware of a proof of this fact by induction on the order of $G$. However, I was wondering if there was another proof which only used group actions?