群準同型

仮定

• \( G_1, G_2 \) は群

定義

\( G_1 \) と \( G_2 \) が準同型であるとは、準同型写像 \( f: G_1 \longrightarrow G_2 \) が存在すること。