大学数学基礎解説

文献あり

代数学をやるその12　終結式が光る問題

多項式,終結式

176

はじめに

今回は終結式がばっちり活躍してくれる問題を持ってきました．

※その他の問題たちがこちらのまとめページから見れます．良ければリンクをご利用ください．

問題と解答

体 $K$ 上の2変数多項式 $f (x, y), g (x, y)$ が共通因子を持たないならば，集合
$C := {(a, b) \in K \times K | f (a, b) = g (a, b) = 0}$
は高々有限個の元からなることを示せ．ここで，高々有限個の元からなるとは，空集合であるか，もしくは有限集合であるかを意味することとする．(東京女子大)

感想

以下に示す終結式に関する補題1を知っているか，という問題だと思います．私は知らなかったので解くのに時間がかかりました…
因みに， $K$ が有限体であれば示すべき事実は自明となります( $K \times K$ が有限集合となるので)．また， $K$ が無限体の場合， $f (x, y) = x - 1, g (x, y) = y (x - 1)$ という多項式たちの共通零点の集合は
${(1, y) \in K \times K | y \in K}$
という無限集合となってしまします．これは $f, g$ が $x - 1$ という共通因子を持っていることが原因なので，問題文にある「共通因子を持たない」という条件は， $K$ を一般の体とする限り外すことができません．

証明を表示

集合
$A := {a \in K | ある b \in K が存在して (a, b) \in C}$
$B := {b \in K | ある a \in K が存在して (a, b) \in C}$
を定義しておく．要は $C$ の元の第1成分全体からなる集合が $A$ で，第2成分全体からなる集合が $B$ である．このとき $C \subset A \times B$ であることに注意する．
$f (x, y), g (x, y) \in (K [y]) [x]$ とみて， $f, g$ の $x$ に関する次数を $m, n$ とする． $f, g$ の終結式を $R (y) \in K [y]$ とおく．このとき， $h_{1}, h_{2} \in (K [y]) [x]$ で， $x$ に関して $d e g h_{1} \leq n - 1, d e g h_{2} \leq m - 1$ かつ
$h_{1} (x, y) f (x, y) + h_{2} (x, y) g (x, y) = R (y)$
を満たすものが存在する(補題1)． $R (y)$ が零多項式であるとすると，
$h_{1} (x, y) f (x, y) = - h_{2} (x, y) g (x, y)$
となる． $x$ に関して $d e g h_{1} \leq n - 1 < n = d e g g$ であることから， $g$ の素因子全てが $h_{1}$ を割り切ることはない．従って $g$ の素因子で $f$ を割り切るものが存在するが，これは $f, g$ が共通因子を持たないことに矛盾．従って $R (y)$ は零多項式ではない． $R (y)$ は体上の1変数多項式で零多項式でないから，その根は高々有限個である．
$b \in B$ とすると，ある $a \in K$ が存在して $(a, b) \in C$ となるから， $R (b) = 0$ が成り立つ．つまり $b \in B$ は $R (y)$ の根である． $R (y)$ の根は高々有限個であったから $B$ は高々有限な集合である． $B$ が空でないとき， $B = {b_{1}, \dots, b_{n}}$ とし，
$A_{i} = {a \in K | f (a, b_{i}) = g (a, b_{i}) = 0}$
とおく． $f (x, b_{i})$ は体上の1変数多項式であるからその根は高々有限個である． $(a, b_{i}) \in A_{i}$ は $f (a, b_{i}) = 0$ を満たすから， $A_{i}$ は高々有限な集合である．そして
$A = ⋃_{i = 1}^{n} A_{i}$
であるから， $A$ も高々有限な集合である． $C \subset A \times B$ であったから， $C$ も高々有限な集合である．(証明終)

今回用いた事実

終結式

$f (x), g (x)$ は可換環 $A$ 上の共に次数が $1$ 以上の1変数多項式で，
$f (x) = a_{m} x^{m} + \dots + a_{1} x + a_{0}$
$g (x) = b_{n} x^{n} + \dots + b_{1} x + b_{0}$
と表されるとする．このとき，行列式
$| \begin{array}{cccccccc} a_{m} & a_{m - 1} & \dots & a_{1} & a_{0} \\ a_{m} & a_{m - 1} & \dots & a_{1} & a_{0} \\ ⋱ & ⋱ & ⋱ & ⋱ \\ a_{m} & a_{m - 1} & \dots & a_{1} & a_{0} \\ b_{n} & b_{n - 1} & \dots & b_{1} & b_{0} \\ b_{n} & b_{n - 1} & \dots & b_{1} & b_{0} \\ ⋱ & ⋱ & ⋱ & ⋱ \\ b_{n} & b_{n - 1} & \dots & b_{1} & b_{0} \end{array} |$
を $f, g$ の終結式といい， $R (f, g)$ で表す．但し，今の行列で $a_{i}$ たちが現れる行は $n$ 行， $b_{i}$ たちが現れる行は $m$ 行であり，何も書かれていない部分は $0$ である．

一般的に書くと見づらいのでいくつか具体例を挙げておきます． $A = Z$ とし， $f (x) = x^{2} + x + 1, g (x) = 3 x^{3} + 2 x^{2} + x + 1$ とすると，
$R (f, g) = | \begin{array}{ccccc} 2 & 1 & 1 \\ 2 & 1 & 1 \\ 2 & 1 & 1 \\ 3 & 2 & 1 & 1 \\ 3 & 2 & 1 & 1 \end{array} | = 9$
となります．また， $A = Z [y]$ とし， $f (x) = y^{2} x + y + 1, g (x) = (y^{2} + 1) x^{2} + y x + 2$ とすると，
$R (f, g) = | \begin{array}{ccc} y^{2} & y + 1 \\ y^{2} & y + 1 \\ y^{2} + 1 & y & 2 \end{array} | = - y^{5} + 2 y^{4} + y^{3} + y^{2} + 2 y + 1$
となります．

$f, g$ を可換環 $A$ 上の共に次数が $1$ 以上の1変数多項式とするとき， $A$ 上の多項式 $h_{1}, h_{2}$ で， $d e g h_{1} \leq n - 1, d e g h_{2} \leq m - 1$ かつ
$h_{1} f + h_{2} g = R (f, g)$
を満たすものが存在する．

証明を表示

$a_{0}, \dots, a_{m}, b_{0}, \dots, b_{n} \in A$ によって
$f (x) = a_{m} x^{m} + \dots + a_{1} x + a_{0}$
$g (x) = b_{n} x^{n} + \dots + b_{1} x + b_{0}$
と表す．このとき，
$\begin{aligned} x^{n - 1} f (x) & = a_{m} x^{m + n - 1} + \dots + a_{1} x^{n} + a_{0} x^{n - 1} \\ ⋮ \\ x f (x) & = a_{m} x^{m + 1} + \dots + a_{1} x^{2} + a_{0} x \\ f (x) & = a_{m} x^{m} + \dots + a_{1} x + a_{0} \\ x^{m - 1} g (x) & = b_{n} x^{m + n - 1} + \dots + b_{1} x^{m} + b_{0} x^{m - 1} \\ ⋮ \\ x g (x) & = b_{n} x^{n + 1} + \dots + b_{1} x^{2} + b_{0} x \\ g (x) & = b_{n} x^{n} + \dots + b_{1} x + b_{0} \end{aligned}$
が成り立つので，行列を用いて表すと，
$(\begin{matrix} x^{n - 1} f (x) \\ ⋮ \\ x f (x) \\ f (x) \\ x^{m - 1} g (x) \\ ⋮ \\ x g (x) \\ g (x) \end{matrix}) = (\begin{array}{cccccccc} a_{m} & a_{m - 1} & \dots & a_{1} & a_{0} \\ a_{m} & a_{m - 1} & \dots & a_{1} & a_{0} \\ ⋱ & ⋱ & ⋱ & ⋱ \\ a_{m} & a_{m - 1} & \dots & a_{1} & a_{0} \\ b_{n} & b_{n - 1} & \dots & b_{1} & b_{0} \\ b_{n} & b_{n - 1} & \dots & b_{1} & b_{0} \\ ⋱ & ⋱ & ⋱ & ⋱ \\ b_{n} & b_{n - 1} & \dots & b_{1} & b_{0} \end{array}) (\begin{matrix} x^{m + n - 1} \\ x^{m + n - 2} \\ ⋮ \\ x \\ 1 \end{matrix})$
となる．右辺の行列を $M$ とし， $M$ の随伴行列を $M^{'}$ とすると，一般論から
$M M^{'} = M^{'} M = R (f, g) I$
が成り立つ．ここで $I$ は単位行列である．従って，今の等式に左から $M^{'}$ を掛けると
$M^{'} (\begin{matrix} x^{n - 1} f (x) \\ ⋮ \\ x f (x) \\ f (x) \\ x^{m - 1} g (x) \\ ⋮ \\ x g (x) \\ g (x) \end{matrix}) = R (f, g) (\begin{matrix} x^{m + n - 1} \\ x^{m + n - 2} \\ ⋮ \\ x \\ 1 \end{matrix})$
が成り立つ． $M^{'}$ の第 $m + n$ 行を $c_{1}, \dots, c_{m + n}$ とすると，両辺の第 $m + n$ 成分を比較することで
$(c_{1} x^{n - 1} + \dots + c_{n - 1} x + c_{n}) f (x) + (c_{n + 1} x^{m - 1} + \dots + c_{m + n - 1} x + c_{m + n}) g (x) = R (f, g)$
が成り立つ．よって題意は示された．(証明終)

発展

今回得た結果は係数体 $K$ が有限体であれば自明であることは上で述べました．そして，それは変数を増やしても同様です．

しかし， $K$ が無限体の場合は，変数を増やした先では状況が異なるようです．例えば $f, g \in R [x, y, z]$ を
$f (x, y, z) = x^{2} + y^{2} + z^{2} - 5, g (x, y, z) = z - 1$
で定めると， $f, g$ は共通因子を持ちませんが，それらの共通零点の集合は
${(a, b, c) \in R^{3} | a^{2} + b^{2} = 4, c = 1}$
という無限集合となってしまいます．

なら，多項式の数を増やせば共通零点が有限個となるのではないかと思いますが，実はそう簡単にはいきません．例えば $f, g, h \in R [x, y, z]$ を
$f (x, y, z) = x^{2} + y^{2} + z^{2} - 5, g (x, y, z) = x^{2} + y^{2} - 4 z, h (x, y, z) = z - 1$
で定めると， $f, g, h$ はどの2つも共通因子を持ちませんが，それらの共通零点の集合は，やはり ${(a, b, c) \in R^{3} | a^{2} + b^{2} = 4, c = 1}$ という無限集合となってしまいます．より一般に，任意の $α \in R$ に対して $p_{α} \in R [x, y, z]$ を
$p_{α} (x, y, z) = x^{2} + y^{2} + α (z - 1) - 4$
で定めると，任意の $α \in R$ に対して $p_{α}$ は $f, h$ と共通因子を持たず，また異なる $α, β \in R$ に対して $p_{α}, p_{β}$ も共通因子を持ちません．しかし， $p_{α}$ たちと $f, g, h$ たちとの共通零点の集合は ${(a, b, c) \in R^{3} | a^{2} + b^{2} = 4, c = 1}$ という無限集合となります．

つまり，共通零点を取る多項式の数を増やしても，その共通零点の集合が無限集合となることがあるということです．しかも今のようにどんなに多項式を増やしても共通零点が有限個とならない場合もあります．これは，上の問題の中で示した2変数のときの状況と大きく内容が異なっていて面白いですね．

今回の記事は以上です．
最後までお読み頂きありがとうございました．

参考文献

[1]

resultant3.pdf, 閲覧日 2022年6月27日, https://www.clas.kitasato-u.ac.jp/~fujiwara/nBody/Osaka2011/resultant3.pdf

[2]

永田雅宜, 復刻版　大学院への代数学演習, 現代数学社, 2021

[3]

代数学2　環と体とガロア理論, 雪江明彦, 日本評論社, 2010

投稿日：2022年7月6日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

certain

18677

素朴な問題が特に好きです．

他の人のコメント

コメントはありません。

読み込み中

certain

代数学をやるその12　終結式が光る問題

はじめに
問題と解答
今回用いた事実
発展
参考文献

代数学をやるその12 終結式が光る問題

はじめに

問題と解答

感想

今回用いた事実

発展

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

代数学をやるその12　終結式が光る問題