計算機数学（大学院）第4回

今回の前半では、前回の話の一般化として、多項式剰余列の各要素の係数を、最初に与えられた多項式の係数を成分にもつ行列式で表す方法について紹介し、部分終結式の導入を行いました。後半では、部分終結式を1つの行列式で表す表現を与え、この授業の目標の一つである「部分終結式の基本定理」に至る補題の証明でよく用いられる、部分終結式を表す行列式の行変形について議論しました。

次回は、「部分終結式の基本定理」の証明の準備として、補題の証明に進む予定です。