Cartesian product
群 "H" と群 "N" と準同型写像 "f": "H" → Aut("N") が与えられているとき、直積集合 "N" × "H" 上に