「有限群論序論」の版間の差分

=== 準同型写像 ===

これまではひとつの群についてばかり考えてきたが、ここでは2つの群の間の写像について考えよう。

''G''と'' G' ''を群とする。写像<math>f:G \to G'</math>が'''準同型写像'''である（あるいは単に準同型である）とは、次の条件を満たすことである。