代数的数を扱う上では、当然、多項式を操作することが必要になる。 #0 では整数係数、あるいは有理数係数の多項式に言及したが、追い追い、多項式環自身や、有限体などを係数とする多項式環を扱うことになる。 そこで、多項式環の係数環は、一般の整域 \(R\) とする。 整域 \(R\) 上の一変数多項式環 (univariate polynomial) \(R[x]\) は、不定元 \(x\) について \(a_n x^n+\cdots+a_1 x+a_0 \quad (a_i \in R)\) の形で表される元全体である。 \(R[x]\) の演算としては、まず和、差、積の環演算が挙げられる。それから、 \(R\) の元による乗算(スカラー倍)や、多項式除算などもある。 今後使うものをリストアップしてみよう: 環演算:和、差、積 スカラー倍 多項式除算(余りつきの除算) 値の計算(\(x\) に