代数拡大

代数拡大（だいすうかくだい、）とは、体の拡大 であって、拡大体 のすべての元が基礎体 上代数的であるものをいう。すなわち、任意の に対して、 係数の零でない多項式 が存在して を満たすとき、 は代数拡大である。

定義 体拡大 において、 が 上代数的であるとは、 のある非零多項式の根であることをいう。拡大体 のすべての元が 上代数的であるとき、 を代数拡大という。これに対して、代数的でない元を含む拡大は超越拡大と呼ばれる。

例 もっとも基本的な例は

である。ここで は多項式 の根であるから、 は 有理数体 上代数的であり、この拡大は代数拡大である。

また、複素数体 は実数体 の代数拡大である。実際、任意の複素数は の形に書け、特に は の根である。

一方、（ を不定元とする有理函数体）は代数拡大ではない。 は 上代数的でなく、超越的であるためである。

基本性質 有限拡大は常に代数拡大である。より正確には、 ならば、任意の に対して単拡大 は 上有限次元であり、したがって は 上代数的である。

逆に、拡大 が代数的であることと、任意の に対して単拡大 が有限であることは同値である。単拡大の場合、その次数は の最小多項式の次数に等しい。

代数拡大の合成や塔も再び代数拡大になる。すなわち、

において および がともに代数拡大ならば、 も代数拡大である。

有限拡大との関係 代数拡大は必ずしも有限拡大とは限らない。たとえば、ある体の代数的閉包は一般にその体の代数拡大であるが、通常は有限次ではない。したがって 有限拡大 ⇒ 代数拡大 代数拡大 ⇏ 有限拡大 であり、有限拡大のほうが強い条件だと言える。

代数的閉包との関係 体 の代数的閉包とは、 の代数拡大であって代数的閉体となるものをいう。すべての体は代数的閉包を持ち、それは -同型を除いて一意である。したがって、代数拡大の概念は代数的閉体やガロア理論の基礎をなす。

超越拡大との対比 代数拡大が「多項式方程式の根として得られる元だけを加えた拡大」であるのに対し、超越拡大は代数的でない元を含む。たとえば、不定元 を添加した有理函数体 は典型的な超越拡大である。体論では、一般の拡大を代数的部分と超越的部分に分けて理解することが多い。

脚注

参考文献

関連項目 体の拡大 単拡大 分離拡大 正規拡大 ガロア拡大 代数的閉包 代数的閉体 超越拡大 最小多項式