今日のテーマ:
まず前回証明を保留した部分があるので もう一度基定理を書いておく。
本講義では多項式の先導項に着目した証明をあたえよう。 次の補題が重要である。
自然数の集合 に を入れる立場と入れない立場があるが、 この講義では一貫して と を入れる立場をとる。
帰納法の仮定により は有限生成であるから、 ある があって、それらの 第1-第(n-1)成分までをとったものは を生成する。