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

削除された内容 追加された内容
21 行
 
====外算法の例====
同じように、自然数の集合'''N'''があって、引き算 -− という演算が定義されているとしよう。このとき、例えば、''5-−3''=''2'' ∈ '''N'''であるが、''3'' - ''−5'' = ''-−2'' ∉ '''N'''である。
 
すなわち、自然数と自然数の引き算は、自然数とは限らない。そのため、-− は外算法といえる。
 
この項では、外算法については扱わず、内算法について考える(群は内算法の一種だから)