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

削除された内容 追加された内容
193 行
が成り立つ。このとき、''G''は群だから、結合則が成り立つことに注意すると、
 
''a'' = ''a'' · ''e''
= ''a'' · ( ''x'' · ''b'' )
= ( ''a'' · ''x'' ) · ''b''
= ''e'' · ''b''
= ''b''
 
よって、''a''=''b''。これは、''a'' ≠ ''b''に反す。矛盾。