$G=H\times K$ donde $H$ $K$ son no isomorfos de los grupos de orden $n$.
Estoy buscando un ejemplo de que $G$ no tiene subgrupos de orden $n$ con la excepción de$H\times 1$$1\times K$.
Si alguien puede encontrar un grupo, yo estaría agradecido.
Edit: Vamos a $G$ ser un ejemplo, a continuación, $H\times 1$ $1\times K$ debe ser la característica del grupo en $G$, lo que significa $\operatorname{Aut}(G)\cong \operatorname{Aut}(H)\times \operatorname{Aut}(K)$ y claramente $(|H|,|K|)\neq 1$. Esto puede hacer la pregunta fácil.(para llegar a la contradicción)