Construir un grupo no abeliano $G$ de orden $p^n$ (de hecho n>2) tal que $G$ no es producto directo de ninguno de sus dos subgrupos.
Creo que tenemos que utilizar el producto semidirecto y el hecho de que G tiene al menos un subgrupo normal de cada orden posible. $Z(G)$ de forma no trivial.