「代数的閉体」の版間の差分
表示
削除された内容 追加された内容
m ボット: 言語間リンク 17 件をウィキデータ上の d:Q1047547 に転記 |
Isoginchaku (会話 | 投稿記録) m編集の要約なし |
||
6行目: | 6行目: | ||
:''K'' の任意の[[代数拡大]] ''L'' は <span style="text-decoration:overline">''K''</span> に [[多元環|''K'' 代数]]の準同型写像によって埋め込むことができ、そのような埋め込みの数は ''L'' の ''K'' 上の[[分離指数]]と呼ばれる。 |
:''K'' の任意の[[代数拡大]] ''L'' は <span style="text-decoration:overline">''K''</span> に [[多元環|''K'' 代数]]の準同型写像によって埋め込むことができ、そのような埋め込みの数は ''L'' の ''K'' 上の[[分離指数]]と呼ばれる。 |
||
;濃度による一意性:α を[[非可算無限]][[濃度]]とするとき、任意の[[標数]] ''p'' について、標数 ''p'' で濃度が α であるような代数的閉体は[[同型]]をのぞいて一意に定まる。実際、そのような代数的閉体は ''k'' を素体(つまり '''Q''' または '''F'''<sub>''p''</sub>)として ''k''((X<sub>β</sub>)<sub>β ∈ α</sub>) の代数的閉包と同型になっていることが、超越基底の存在と代数的閉包の一意性から従う。 |
;濃度による一意性:α を[[非可算無限]][[濃度 (数学)|濃度]]とするとき、任意の[[標数]] ''p'' について、標数 ''p'' で濃度が α であるような代数的閉体は[[同型]]をのぞいて一意に定まる。実際、そのような代数的閉体は ''k'' を素体(つまり '''Q''' または '''F'''<sub>''p''</sub>)として ''k''((X<sub>β</sub>)<sub>β ∈ α</sub>) の代数的閉包と同型になっていることが、超越基底の存在と代数的閉包の一意性から従う。 |
||
:有限体は代数的閉体にはなりえないが、[[可算]]無限濃度の代数的閉体は、''k'' を素体、α を可算濃度として <span style="text-decoration:overline">''k''((X<sub>β</sub>)<sub>β ∈ α</sub>)</span> なるものが考えられ、これらは互いに非同型なので可算無限濃度の代数的閉体はそれぞれの標数について可算個の同型類があることがわかる。 |
:有限体は代数的閉体にはなりえないが、[[可算]]無限濃度の代数的閉体は、''k'' を素体、α を可算濃度として <span style="text-decoration:overline">''k''((X<sub>β</sub>)<sub>β ∈ α</sub>)</span> なるものが考えられ、これらは互いに非同型なので可算無限濃度の代数的閉体はそれぞれの標数について可算個の同型類があることがわかる。 |
||
2013年4月26日 (金) 08:29時点における版
数学において、体 K が代数的閉体(だいすうてきへいたい)であるとは、一次以上の任意の K 係数一変数多項式が K 上に根を持つこと、あるいは同じことであるが、一次以上の任意のK係数一変数多項式が一次多項式の積として書けることである。
代数学の基本定理は、複素数体が代数的閉体であることを主張する定理である。一方で、有限体、有理数体や実数体は代数的閉体ではない。
- 代数的閉包
- 任意の体 K について、K の代数的拡大かつ代数的に閉であるような体が存在して同型をのぞいて一意に定まり、K の代数的閉包と呼ばれる。Kの代数的閉包は Kalg や K のように書かれる。
- K の任意の代数拡大 L は K に K 代数の準同型写像によって埋め込むことができ、そのような埋め込みの数は L の K 上の分離指数と呼ばれる。
- 濃度による一意性
- α を非可算無限濃度とするとき、任意の標数 p について、標数 p で濃度が α であるような代数的閉体は同型をのぞいて一意に定まる。実際、そのような代数的閉体は k を素体(つまり Q または Fp)として k((Xβ)β ∈ α) の代数的閉包と同型になっていることが、超越基底の存在と代数的閉包の一意性から従う。
- 有限体は代数的閉体にはなりえないが、可算無限濃度の代数的閉体は、k を素体、α を可算濃度として k((Xβ)β ∈ α) なるものが考えられ、これらは互いに非同型なので可算無限濃度の代数的閉体はそれぞれの標数について可算個の同型類があることがわかる。
- 行列の固有値
- 代数的閉体上では多項式が一次式の積に分解することから、代数的閉体上で任意の行列はジョルダン標準形を持つことや、行列が対角化可能であることとその最小多項式が重根を持たないことの同値性などが従う。
- 基礎論と代数的閉体
- 特定の標数の代数的閉体について、一階述語論理で加法・乗法・加法や乗法の単位元を組み合わせて記述できるような命題の真偽はどの代数的閉体で考えても同じになる。さらに、量化子を含んだ命題で指定されるような代数的閉体の直積の部分集合は実際には量化子を含まない命題で指定することができる。
関連項目