数学における体が二次拡大で閉じているまたは二次的に閉じている (; 二次閉) あるいは二次閉体(にじへいたい、)であるとは、その体の任意の元の平方根がその体の中でとれることを言う。

例と反例 複素数体は二次閉体である。より一般に、任意の代数閉体は二次閉である。 実数体は二次的に閉じていない。なんとなれば の平方根は存在しない。 任意の非負整数 に亘る有限体 の合併は二次閉だが代数閉でない体の例となる。 作図可能数体は二次閉だが代数閉でない。

性質 体が二次閉となるための必要十分条件はが に等しいことである。 任意の二次閉体はだが逆は成り立たない(例えば、実数体 はピタゴラスである)。ただし、任意の非形式的実ピタゴラス体は二次閉である。 体が二次閉となるための必要十分条件は、そのが次元写像により に同型となることである。 形式的実 は二次閉でない( は の平方元でない)が、二次拡大体 は二次閉となる。 有限次拡大 で が二次閉となるとき、 は の平方元かつ が二次閉となるか、さもなくば は の非平方元かつ はユークリッドである。この「下降」定理 ("going-down theorem") はから帰結することができる。

二次閉包 体 の二次閉包 (quadratic closure) とは を含む二次閉体であって、かつ を含む任意の二次閉体へ埋め込むことができるものを言う。かってな体 に対して、その二次閉包は の代数閉包 の部分体として構成することができ、それは における から任意のを繰り返して得られる体(二次拡大の塔)すべての合併である。

例 実数体 の二次閉包は複素数体 である。 五元体 の二次閉包は二次拡大塔 の合併である。 有理数体 の二次閉包は作図可能数体である。

注 出典

参考文献

外部リンク