Demostrar que al isomorfismo no es exactamente una integral dominio de la orden de $p^2$ .
No existen sólo dos no-conmutativa anillos de orden $p^2$ hasta un isomorfismo?
Sabemos que cualquier grupo de orden $p^2$ es abelian y también cualquier grupo abelian de orden $p^2$ es isomorfo a $\Bbb Z_p\times \Bbb Z_p$ o $\Bbb Z_{p^2}$.
En fin para los anillos isomorfos los grupos correspondientes deben ser isomorfos.Pero soy incapaz de extender el resultado de los anillos.
Por favor dar algunos consejos.