El número de soluciones dex * x = e in noG es igual al número de soluciones dey \diamond y = e' in noH\text{.}\mathbb{Z}_8 es isomórfico a\mathbb{Z}_2{}^3 puesto que\(x +_8 x =...El número de soluciones dex * x = e in noG es igual al número de soluciones dey \diamond y = e' in noH\text{.}\mathbb{Z}_8 es isomórfico a\mathbb{Z}_2{}^3 puesto quex +_8 x = 0 tiene dos soluciones, 0 y 4, mientras quey + y = (0, 0, 0) es cierto para todosy\in \mathbb{Z}_2{}^3\text{.} Si la operación enG está definida por un tabla, entonces el número de soluciones dex * x = e será el número de ocurrencias dee en la diagonal principal de la tabla.
