Cartesian product
구체적으로, 곱집합 formula_3이 주어졌을 때, 다음과 같은 두 단사 군 준동형을 생각할 수 있다.