语言
没有数据
通知
无通知
数学において、体 K が代数的に閉じているまたは代数的閉体(だいすうてきへいたい、英: algebraically closed field; 代数閉体)であるとは、一次以上の任意の K 係数一(英語版)変数多項式が K 上に根を持つこと、あるいは同じことであるが、一次以上の任意の K
数学の体論・代数的整数論における代数体(だいすうたい、英: algebraic number field)とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 [ K : Q ] {\displaystyle [K:\mathbb {Q} ]} を、K の次数といい、次数が
数学における体の拡大構成において、(体または拡大に関する)特定の性質のもと「それ以上大きくならない」体は、その性質に関して閉じていると言う。 代数的閉体: すなわち、体が代数的拡大に関して閉じているとは、それが真の代数拡大体を持たないときにいう。すなわち、その上の任意の非零多項式の根がふたたびその体に属する。
体上の既約多項式での類似を参照。)この類似の脈絡では、数体と函数体のことを大域体と呼ぶことが多い。 有限体上の函数体の研究は、暗号理論や誤りコード訂正への応用を持っている。例えば、楕円曲線の函数体(公開鍵暗号のための重要な数学的ツール)は代数函数体である。 有理数体上の函数体はガロアの逆問題を解くことに重要な役割を果たす。
の代数的閉包(だいすうてきへいほう、英: algebraic closure)は、代数的に閉じている K の代数拡大である。数学においてたくさんある閉包のうちの1つである。 ツォルンの補題を使って、すべての体は代数的閉包をもつことと、体 K の代数的閉包は K のすべての元を固定するような同型の違いを除いて
体と同じ一階の性質を持つこと、つまり一階言語で書ける任意の文が F において真となるための必要十分条件はそれが実数体において真となることである。(代数型 (signature) の選択は重要でない) F 上の全順序が存在して F は順序体となり、かつその順序に関する F の任意の正元が
と1対1に対応している。 この代数関数論から、より高次元の代数多様体を考えるにあたっては代数多様体としてはコンパクトなものを考え、その上の関数としては有理型関数あるいはコンパクトなもの同士の間の正則写像を考えると都合が良い、という教訓が得られる。この要請を満たす代数多様体は射影空間の中で定義される射影代数多様体として実現できる。
代数幾何学では、代数多様体 V の函数体(function field)は、V 上の有理函数と解釈される対象から構成される。古典的な代数幾何学では、函数体は多項式の比であり、複素代数幾何学(英語版)(complex algebraic geometry)では、函数体