代数的閉体
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/06/19 19:29 UTC 版)
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2015年7月) |
![]() | この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年6月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
数学において、体 K が代数的に閉じているまたは代数的閉体(だいすうてきへいたい、英: algebraically closed field; 代数閉体)であるとは、一次以上の任意の K 係数一変数多項式が K 上に根を持つこと、あるいは同じことであるが、一次以上の任意の K 係数一変数多項式が一次多項式の積として書けることである。
代数学の基本定理は、複素数体 C が代数的閉体であることを主張する定理である。一方で、有限体 Fq、有理数体 Q や実数体 R は代数的閉体ではない[1]。
性質
- 代数的閉包
- 任意の体 K について、K の代数的拡大かつ代数的に閉である体が存在して同型を除いて一意に定まり、K の代数的閉包と呼ばれる[2]。K の代数的閉包は Kalg や K, のように書かれる。K の任意の代数拡大 L は K に K 代数の準同型写像によって埋め込むことができ、そのような埋め込みの数は L の K 上の分離指数と呼ばれる。
- 濃度による一意性
- α を非可算無限濃度とするとき、任意の標数 p について、標数 p で濃度が α であるような代数的閉体は同型をのぞいて一意に定まる。実際、そのような代数的閉体は k を素体(つまり Q または Fp)として k((Xβ)β∈α) の代数的閉包と同型になっていることが、超越基底の存在と代数的閉包の一意性から従う。任意の有限体は代数的閉体にはなりえない。可算無限濃度の代数的閉体は、k を素体、α を可算濃度として k((Xβ)β∈α) の代数閉包なるものが考えられ、これら[どれ?]は互いに非同型なので可算無限濃度の代数的閉体はそれぞれの標数について可算個の同型類があることが分かる。
- 行列の固有値
- 代数的閉体上では多項式が一次式の積に分解することから、代数的閉体上で任意の行列はジョルダン標準形を持つことや、行列が対角化可能であることとその最小多項式が重根を持たないことの同値性などが従う。
- 基礎論(モデル理論)と代数的閉体
- 特定の標数の代数的閉体について、一階述語論理で加法・乗法・加法や乗法の単位元を組み合わせて記述できるような命題の真偽は、どの代数的閉体で考えても同じになる(標数 p の代数的閉体の公理系は完全な理論である)。さらに、量化子を含んだ命題で指定されるような代数的閉体の直積の部分集合は、実際には量化子を含まない命題で指定することができる(量化記号消去)。
注
- ^ それぞれの場合に多項式 1 + ∏a ∈ Fq (X − a), X2 − 2, X2 + 1 が根を持たないから。
- ^ Steinitz 1910.
参考文献
- エルンスト・シュタイニッツ (1910-01), “Algebraische Theorie der Körper”, Journal für die reine und angewandte Mathematik (Crelle's Journal), 1910 (137): 167–309, doi:10.1515/crll.1910.137.167, ISSN 0075-4102
- Steinitz, Ernst (1930), Algebraische Theorie der Körper. Neu herausgegeben, mit Erläuterungen und einem Anhang: Abriß der Galoisschen Theorie versehen von Reinhold Baer und Helmut Hasse, Berlin / Leipzig: Walter de Gruyter, ISBN 978-3-111-11554-2
- Steinitz, Ernst (1950), Algebraische Theorie der Körper. Neu herausgegeben, mit Erläuterungen und einem Anhang: Abriß der Galoisschen Theorie versehen von Reinhold Baer und Helmut Hasse, New York: Chelsea Publishing Company
関連項目
外部リンク
- ブリタニカ国際大百科事典 小項目事典『代数的閉体』 - コトバンク
- Weisstein, Eric W. "Algebraically Closed". mathworld.wolfram.com (英語).
- algebraically closed field in nLab
- algebraically closed - PlanetMath.(英語)
- Definition:Algebraically Closed Field at ProofWiki
- Ivanova, O.A. (2001), “Algebraically closed field”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
代数的閉体
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/21 13:52 UTC 版)
詳細は「代数学の基本定理」および「代数的閉体」を参照 代数学の基本定理より、複素数を係数とする代数方程式の解は存在しまた複素数になる。つまり、 a n z n + ⋯ + a 1 z + a 0 ( a r ∈ C , a n ≠ 0 ) {\displaystyle a_{n}z^{n}+\cdots +a_{1}z+a_{0}\quad (\,a_{r}\in \mathbb {C} ,\ a_{n}\neq 0\,)} は、少なくとも一つの複素根 z を持つ。 上記の多項式の複素根の一つを α1 とし、因数定理を帰納的に用いると、上記の多項式は ∑ r = 0 n a r z r = a n ∏ k = 1 n ( z − α k ) ( α k ∈ C ) {\displaystyle \textstyle \sum \limits _{r=0}^{n}a_{r}z^{r}=a_{n}\prod \limits _{k=1}^{n}(z-\alpha _{k})\quad (\,\alpha _{k}\in \mathbb {C} \,)} と複素数の範囲で因数分解される。これは、複素数が代数方程式による数の拡張の最大であることを意味している。つまり、C は代数的閉体である。 代数学の基本定理の証明にはざまざまな方法がある。例えばリウヴィルの定理などを用いる解析的な方法や、巻き数などを使う位相的な証明、あるいは奇数次の実係数多項式が少なくとも一つの実根を持つ事実にガロア理論を組み合わせた証明などがある。 この事実により、「任意の代数的閉体に対して成り立つ定理」を C にも適用できる。例えば、任意の空でない複素正方行列は少なくとも一つの複素固有値を持つ。
※この「代数的閉体」の解説は、「複素数」の解説の一部です。
「代数的閉体」を含む「複素数」の記事については、「複素数」の概要を参照ください。
- 代数的閉体のページへのリンク