「群同型」の版間の差分
削除された内容 追加された内容
en:Group isomorphism, oldid=600695060 の翻訳 |
m編集の要約なし |
||
76行目:
== 結果 ==
定義から次が従う。任意の同型写像 <math>f : G \rightarrow H</math> は {{mvar|G}} の単位元を {{mvar|H}} の単位元に写す
: <math>f(e_G) = e_H,</math>
逆元を逆元に写す: すべての ''u'' ∈ ''G'' に対して
|