Explicación

Un par \((a,b)\) tiene como orden el mínimo común múltiplo de los órdenes de \(a\) y \(b\), a lo sumo \(\operatorname{mcm}(2,4)=4\). No hay elemento de orden \(8\), así que \(\mathbb{Z}_2\times\mathbb{Z}_4\not\cong\mathbb{Z}_8\).

Estudiar Álgebra moderna I en ZWMath →

Repasa el concepto: Isomorfismo de grupos

Un isomorfismo de grupos es un homomorfismo biyectivo \(\varphi\) de un grupo \(G\) en un grupo \(H\); entonces \(G\) y \(H\) son isomorfos.

\[G\cong H\]

Más ejercicios de isomorfismo de grupos

← ZW-ISOMORFISMO-DE-GRUPOS-002 ZW-ISOMORFISMO-DE-GRUPOS-004 →