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