群同型写像
群同型写像(ぐんどうけいしゃぞう、英: group isomorphism)
群同型 (group homomorphism) とは、数学において、群 (group) の間の関数のことです。
群同型は、群の間で群構造を保存する関数であると考えられます。
具体的には、群同型は、群 G 上の任意の2つの要素 a, b に対して、同型先の群 H 上の要素 f(a) と f(b) の積が、f(ab) に対応することを満たします。
群同型は、群理論において重要な役割を果たし、群の特徴を分類するために使用されます。
確認用
Q. 群同型
参考
関連