代数的数
代数的数（だいすうてきすう、）とは、
複素数であって、有理数係数（あるいは同じことだが、分母を払って、
整数係数）の 0 でない一変数多項式の根
（すなわち多項式の値が 0 になるような値）となるものをいう。
すべての整数や有理数は代数的数であり、またすべての整数の冪根も代数的数である。
実数や複素数には代数的数でないものも存在し、そのような数は超越数と呼ばれる。
例えば  や  は超越数である。
ほとんどすべての複素数は超越数である（#集合論的性質）。
複素数 "α" に対し、有理数を係数とする多項式
が存在して、"f"("α") = 0 となるとき "α" を代数的数という。
"α" が有理数ならば
は、"α" を根に持つので、有理数はすべて代数的数である。
無理数ではたとえば formula_2 は
の根であるので代数的数であるし、複素数でも
の根である ±"i" は代数的数である。
しかしながら、全ての無理数が代数的数であるかというと、そうではないことが知られている。たとえば円周率 や 自然対数の底（ネイピア数） は、 以外のいかなる有理数係数多項式に対しても、根になることはない。
複素数 "α" に対し、有理数を係数とする多項式
が存在して "f"("α") = 0 となるとき、"α" は代数的数であるという。
同じことであるが、整数 formula_4 が存在して、
が成り立つとき、"α" は代数的数であるという。
代数的数 "α" を根とする 0 ではない整数係数多項式で、最高次の係数が 1 であるもの（モニック多項式と呼ぶ）が存在するとき、"α" は代数的整数 (algebraic integer) であるという。代数的数の中で整なものの意味である。特に、整数 や、 は、代数的整数である。整数 0, ±1, ±2, ... ∈ Z を代数的整数のなかで特に区別する必要がある場合、Z の元のことを有理整数 (rational integer) と呼ぶ。
代数的数 "α" を根とする 0 でない有理数係数多項式のうち、次数が最小で、最高次の係数が 1 であるものを、"α" の最小多項式 (minimal polynomial) という。最小多項式は、有理係数多項式上既約多項式である。
代数的数 "α" の最小多項式の次数を、"α" の次数 (degree) といい、deg "α" で表す。次数が "n" であるとき、"α" は "n" 次の代数的数であるという。たとえば、有理数は 1 次の代数的数ということができる。また formula_2 は、2 次の代数的数である。
代数的数 "α" の最小多項式の根を、"α" の共役数 (conjugate) という。たとえば、formula_2 の共役数は、formula_8 である。
一般に、"n" 次の代数的数は、自分自身を含めてちょうど "n" 個の共役数を持つ。さらに、任意の代数的数 "α" の共役複素数 formula_9 は、"α" の共役数の 1 つである。
代数的数 "α" の共役数を formula_10 とする。
を "α" の判別式 (discriminant) という。代数的数の判別式は有理数であり、代数的整数の判別式は有理整数である。0 でない代数的数の判別式は 0 ではない。
代数的数 "α" の共役数を formula_10 とし、"K" = Q("α") とおく。
を "α" のノルム (norm) という。代数的数のノルムは有理数であり、代数的整数のノルムは有理整数である。0 でない代数的数のノルムは 0 ではない。
代数的数 "α" の共役数を formula_10 とし、"K" = Q("α") とおく。
を "α" のトレース (trace) という。代数的数のトレースは有理数であり、代数的整数のトレースは有理整数である。
代数的数 "α" の全ての共役数の絶対値の最大値を、"α" のハウス (house) といい、formula_16 で表す。
代数的数 "α" の最小多項式の分母をはらって、全ての係数が互いに素である整数係数多項式にしたとき、係数の絶対値の最大値を "α" の（古典的）高さ ((classical )height) という。
また、 を "α" を含む 上 "d" 次の代数体とするとき、
は のとり方によらずに定まる。この値を "α" の絶対的高さ (absolute height) と呼び、
を "α" の対数的高さ (logarithmic height) と呼ぶ。"α" の最小多項式を
とおくと、
が成り立つ。
代数的数に対する加減乗除の結果は、やはり代数的数であるので、代数的数全体からなる集合は体をなし、formula_21 と表す。
しかしながら、"α", "β" を "n" 次の代数的数としたとき、"α" + "β" や "αβ" が "n" 次の代数的数になるとは限らない。たとえば、formula_22 とすると、これらはともに 2 次の代数的数であるが、"α" + "β" や "αβ" はどちらも 4 次の代数的数である。
一般に、
が成立する。
有理数体に有限個の代数的数を添加した体は、ある 1 つの代数的数を有理数体に添加した体に等しいので、有理数体の有限次拡大体（このような体のことを代数体という）となる。
逆に、任意の代数体は、有理数体に代数的数を添加した体に同型であるので、代数的数を、代数体の元のこととして定義することもできる。
これらのことから、任意の有理数に対して、加法、乗法、および、累乗根をとる操作を有限回適用することにより、代数的数をいくらでも生成することができる。
問題は、この逆、任意の代数的数は、これらの演算を用いて表現することが可能であるか否かであるが、まず 4 次以下の代数的数は、有限個の有理数を元にして、有限回の加法、乗法、および、累乗根を用いて表現することができる（代数的方程式の解法を参照）。
しかしながら、5 次以上の代数的数は、必ずしも、これらの演算を用いて表現することはできず、たとえば "x" - "x" - 1 = 0 の根は、有限個の有理数をもとに、加法、乗法、および、累乗根を有限回用いて表現することはできない（ガロア理論を参照）。代数的整数全体の集合は、環をなし、代数的整数環または、単に整数環と呼ばれる。代数的整数環 formula_28 に対して、以下が成り立つ。
また、formula_21 と同様で、代数的整数を係数とするモニック多項式（最高次の係数が 1 である多項式）の根は、やはり代数的整数であるので、整数環は、整閉包である。
"α" を無理数とする。任意の正数 ε に対して、ある正定数 "c" = "c"(ε) が存在して、
が "q" > "c" を満たす全ての有理数 "p"/"q" に対して成立するような、"μ" の下限 "μ"("α") を、"α" の無理数度 (measure of irrationality for "α") という。もし、このような数が存在しない場合、formula_33 とする。つまり、無理数度は、"α" を有理数で近似したとき、どのくらいの精度で近似できるかの指標を与える。たとえば任意の有理数の無理数度は 1 になる。
フルヴィッツは、1891年に以下のことを証明した。（フルヴィッツの定理）
任意の無理数に対して、
を満たす既約分数 "p"/"q" が無限に多く存在する。また、上記の定数 formula_35 は最良であり、より小さな正数に置き換えることはできない。つまり、全ての無理数に対して、無理数度は、2 以上である。
リウヴィルは、1844 年、"α" が "n" 次の実代数的数（実数である代数的数）のとき、"μ"("α") ≤ "n" であることを証明し、このことから、リウヴィルは超越数が存在することを初めて証明した。
実代数的数に対する "μ"("α") の評価は、その後、トゥエ (A. Thue)、ジーゲル、ゲルフォント (A. O. Gel'fond)、ダイソンらにより改良され、最終的に ロスにより、"μ"("α") = 2 であることが証明された（ディオファントス近似を参照）。この功績によりロスは 1958 年フィールズ賞を受賞した。
上記のことから、無理数度が 2 よりも大きい実数は超越数となるが、超越数ならば無理数度が 2 よりも大きくなるわけではない。たとえば、自然対数の底 "e" の無理数度は、2 である。
ほとんど全ての実数に対して、無理数度は 2 であることが知られているが、無理数度が分かっていない数がほとんどである。たとえば、円周率 π の無理数度が 2 であるかは不明である。現状、8.0161 以下であることが証明されているにすぎない（畑 1992年）。
カントール (G. Cantor) は、1874 年に、formula_21 が可算集合であることを証明した。その後、彼は複素数全体の集合が非可算集合であることを証明し、ほとんど全ての複素数は、代数的数ではない、つまり超越数であることが判明した。
しかしながら、代数的でない式によって与えられた数が代数的数であるか否かを判定することは大変難しく、オイラーの定数のように古くから知られていながら、代数的数かどうかどころか、有理数かどうかすら分かっていない数もある。