準同型

二つの群の間にある演算を保存する写像のことを、代数学では準同型と呼ぶ。

準同型定理を用いることで、群の構造をより深く理解することができる。

この関数の写像が準同型であることを証明するために、数式を組み立てた。