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

削除された内容 追加された内容
73 行
代数構造(''G'',·)があるとする。このとき、'''単位元'''とは、次のような元をいう。
 
∃ ''e'' ∈ ''G''があって、∀ ''x'' ∈ ''G''について、
''e'' · ''x'' = ''x'' · ''e'' = ''x''
となるとき、''e''を'''単位元'''という。