「群同型」の版間の差分

削除された内容 追加された内容
新規作成 (会話 | 投稿記録)
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'' &isin; ''G'' に対して