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

∀ ''x'' ∈ ''G''に対して、∃ ''x''^-−1 ∈ ''G''が存在して、

''x'' · ''x''^-−1 = ''x''^-−1 · ''x''=''e''