群同型写像

群同型写像(ぐんどうけいしゃぞう、英: group isomorphism)

群同型 (group homomorphism) とは、数学において、群 (group) の間の関数のことです。

群同型は、群の間で群構造を保存する関数であると考えられます。

具体的には、群同型は、群 G 上の任意の2つの要素 a, b に対して、同型先の群 H 上の要素 f(a) と f(b) の積が、f(ab) に対応することを満たします。

群同型は、群理論において重要な役割を果たし、群の特徴を分類するために使用されます。

確認用

Q. 群同型

参考

関連