SieG yeH son las identidades de los gruposG yH respectivamente, entonces(eG,eH) es la identidad deG×H. La inversa de(g,h)∈G×H es\((g^{-1}, h^...SieG yeH son las identidades de los gruposG yH respectivamente, entonces(eG,eH) es la identidad deG×H. La inversa de(g,h)∈G×H es(g−1,h−1). El hecho de que la operación sea asociativa se desprende directamente de la asociatividad deG yH.