代数的閉包
数学、特に抽象代数学において、体 K の代数的閉包（だいすうてきへいほう、英: algebraic closure）は、代数的に閉じている K の代数拡大である。数学においてたくさんある閉包のうちの1つである。
ツォルンの補題を使って、すべての体は代数的閉包をもつ[1][2][3]ことと、体 K の代数的閉包は K のすべての元を固定するような同型の違いを除いてただ1つであることを証明できる。この本質的な一意性のため、an algebraic closure of K よりむしろ the algebraic closure of K と呼ばれることが多い。
体 K の代数的閉包は K の最大の代数拡大と考えることができる。このことを見るためには、次のことに注意しよう。L を K の任意の代数拡大とすると、L の代数的閉包は K の代数的閉包でもあり、したがって L は K の代数的閉包に含まれる。K の代数的閉包はまた K を含む最小の代数的閉体でもある。なぜならば、M が K を含む任意の代数的閉体であれば、K 上代数的な M の元全体は K の代数的閉包をなすからだ。
体 K の代数的閉包の濃度は、K が無限体ならば K と同じで、K が有限体ならば可算無限である[3]。
例
[編集]- 代数的数体を真に含み複素数体に含まれる可算濃度の代数的閉体は多数存在する。これらは有理数体の超越拡大の代数的閉包である。例えば Q(π) の代数的閉包。
分離閉包
[編集]K の代数的閉包 Kalg は、K の Kalg におけるすべての（代数的）分離拡大 を含むような K の唯一の分離拡大 Ksep を含む。この部分拡大は K の分離閉包（separable closure）と呼ばれる。分離拡大の分離拡大は再び分離拡大であるので、Ksep の2次以上の有限次分離拡大は存在しない。別の言い方をすれば、K は「分離的に閉じている」代数拡大体に含まれている。これは（同型を除いて）本質的にただひとつである[6]。
分離閉包が代数閉包全体であることと K が完全体であることは同値である。例えば、 K が標数 p ≠ 0 の体で X が K 上超越的であれば、 は非分離的代数拡大である。
![{\displaystyle K(X)({\sqrt[{p}]{X}})\supset K(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4ebdf6ec2c0715164acbc24956a3dc630b1cf85)
一般に、K の絶対ガロワ群は Ksep の K 上のガロワ群である[7]。
関連項目
[編集]脚注
[編集]- ^ McCarthy (1991) p.21
- ^ M. F. Atiyah and I. G. Macdonald (1969). Introduction to commutative algebra. Addison-Wesley publishing Company. pp. 11-12.
- ^ a b Kaplansky (1972) pp.74-76
- ^ Brawley, Joel V.; Schnibben, George E. (1989), “2.2 The Algebraic Closure of a Finite Field”, Infinite Algebraic Extensions of Finite Fields, Contemporary Mathematics, 95, American Mathematical Society, pp. 22–23, ISBN 978-0-8218-5428-0, Zbl 0674.12009.
- ^ Eisenbud, D. (1995). Commutative Algebra: with a View Toward Algebraic Geometry. Springer-Verlag. p. 295. ISBN 978-3-540-78122-6
- ^ McCarthy (1991) p.22
- ^ Fried, Michael D.; Jarden, Moshe (2008). Field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 11 (3rd ed.). Springer-Verlag. p. 12. ISBN 978-3-540-77269-9. Zbl 1145.12001
参考文献
[編集]- Kaplansky, Irving (1972). Fields and rings. Chicago lectures in mathematics (Second ed.). University of Chicago Press. ISBN 0-226-42451-0. Zbl 1001.16500
- McCarthy, Paul J. (1991). Algebraic extensions of fields (Corrected reprint of the 2nd ed.). New York: Dover Publications. ISBN 978-0-486-66651-8. Zbl 0768.12001