「有限群論序論」の版間の差分
削除された内容 追加された内容
Niam~jawikibooks (トーク | 投稿記録) 編集の要約なし |
Niam~jawikibooks (トーク | 投稿記録) |
||
191 行
#''x'' · ''b'' = ''b'' · ''x''=''e''
が成り立つ。このとき
''a''=''a'' · ''e''
=''a'' · (''x'' · ''b'')
=
▲ =''e'' · ''b''
よって、''a''=''b''。これは、''a'' ≠ ''b''に反す。矛盾。
よって、群''G''について、''x''の逆元があれば、''x''の逆元は一意。
====逆元の逆元は、もとの元====
|