は domain (整域)とする。
に対し,
が
と
の最小公倍数となる必要十分条件は
」
は問 1. と同じとする。
の元
と
の最小公倍数を
とする。問 1. より
であるから,
である。従って,
となる
がある。このとき,
は
と
の最大公約数であることを示せ。
が
と
の最小公倍数であるとする。このとき,
となるような
が存在する。したがって,任意の
の元
に対して
かつ
であるから,
。よって,
である。また,任意に
をとれば,
となるような,
が存在するから,
は
の公倍数である。よって,
は
で割り切れるので,
となる
が存在するから,
である。よって
であり,
である。逆に,
であるとする。このとき,
であるから,
は
の公倍数である。したがって,
の公倍数が
がすべて
で割り切れることを示せばよい。
は
の公倍数であるから,
となるような,
が存在するので,
である。今,
であるから,
なので,
となるような
が存在するから,
は
で割り切れる。したがって,
は
の最小公倍数である。
が
と
の公約数ならば,
であることを示せばよい。
とおく。このとき,
は
の公倍数であるから,
は最小公倍数
で割り切れる。そこで,
とおけば,
となる。
は整域であるから,
となり,
である。