COMPASS

真の理解のためのシンプルな数学のノート

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください(532 ピクセル以上推奨).

代数拡大体

代数拡大体

 四則演算が定義され, 交換法則と結合法則, 分配法則を満たす数の集合を(field)と呼ぶ. 有理数全体 $\mathbb Q$ は通常の四則演算に関して体を成す. これを有理数体(field of rational numbers)と呼ぶ. 現代数学において, 方程式論は体の理論, 体論として展開されている.

定義≪代数拡大体≫

(1)
体 $K$ の要素を係数とするある多項式 $f(x)$ に対して $f(x) = 0$ の解となるような数は $K$ 上代数的(algebraic)であるという.
(2)
体 $K$ 上代数的な数 $\alpha$ に対して, $f(\alpha ) = 0$ を満たす次数最小の多項式 $f(x)$ を $\alpha$ の最小多項式(minimal polynomial)と呼ぶ.
(3)
$K$ を含む体 $L$ のすべての要素が $K$ 上代数的であるとき, $L$ を $K$ の代数拡大体(algebraic extension)と呼ぶ.

例≪$2$ 次体≫

 平方数でない整数 $d$ に対して, 集合 $\{ a+b\sqrt d|a,b \in \mathbb Q\}$ は $\mathbb Q$ の代数拡大体である. これを $2$ 次体(quadratic field)と呼ぶ.

問題

数学 I: 数と式

問題≪$2$ 次体の性質≫

 次のことを示せ.
(1)
正の整数 $d$ が平方数でないならば, $\sqrt d$ は無理数である.
(2)
すべての有理数 $a,$ $b,$ $a',$ $b'$ に対して \[ a+b\sqrt 2 = a'+b'\sqrt 2 \Longrightarrow (a,b) = (a',b')\] が成り立つ.
(3)
多項式 $f_1(x),$ $f_2(x)$ に対して, $f_2(\sqrt 2) \neq 0$ のとき, \[\frac{f_1(\sqrt 2)}{f_2(\sqrt 2)} = a+b\sqrt 2\] を満たす有理数 $a,$ $b$ の組がただ $1$ 組存在する.

解答例

 こちらを参照.

数学 II: 複素数と方程式

問題≪虚数単位の最小多項式≫

 有理数係数多項式 $f(x)$ が $f(i) = 0$ を満たすとする. このとき, $f(x)$ は $x^2+1$ で割り切れることを示せ. また, $x^2+1$ はこの条件を満たす次数最小の有理数係数多項式であることを示せ.

解答例

 こちらを参照.