Que $G'$ ser el subgrupo conmutador de un grupo $G$ y $G^*=\langle g^{-1}\alpha(g)\mid g\in G, \alpha\in Aut(G)\rangle$.
Sabemos que siempre $G'\leq G^*$.
Está claro eso si $Inn(G)=Aut(G)$, entonces el $G'=G^*$.
También si $G$ es un grupo simple no abeliano o grupo perfecto, $G'=G^*=G$.
¿Ahora existe un grupo tal que $Inn(G)\neq Aut(G)$ y $G'=G^*\neq G$?
Gracias
