代数的閉体
抽象代数学の用語 ウィキペディアから
数学において、体 K が代数的に閉じているまたは代数的閉体（だいすうてきへいたい、英: algebraically closed field; 代数閉体）であるとは、一次以上の任意の K 係数一変数多項式が K 上に根を持つこと、あるいは同じことであるが、一次以上の任意の K 係数一変数多項式が一次多項式の積として書けることである。
 |
 | この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年6月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
代数学の基本定理は、複素数体 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β)β∈α) の代数閉包なるものが考えられ、これら[どれ?]は互いに非同型なので可算無限濃度の代数的閉体はそれぞれの標数について可算個の同型類があることが分かる。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
