\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\gcd}{\operatorname{mcd}} \renewcommand{\lcm}{\operatorname{mcm}} \renewcommand{\deg}{\operatorname{gr}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Capítulo9Isomorfismos

Muchos grupos pueden parecer diferentes a primera vista, pero pueden reconocerse como iguales después de un cambio de nombre de sus elementos. Por ejemplo, \({\mathbb Z}_4\) y el subgrupo del grupo de la circunferencia \({\mathbb T}\) generado por \(i\) pueden ser reconocidos como el mismo grupo demostrando que existe una correspondencia entre sus elementos y entre las operaciones de grupo de ambos. En tal caso diremos que los grupos son isomorfos.