完全体
代数学において、体 k は以下の同値な条件の1つが成り立つときに完全（英: perfect）と呼ばれる。
- k 上のすべての既約多項式は相異なる根をもつ。
- k 上のすべての既約多項式は分離的である。
- k のすべての有限次拡大は分離的である。
- k のすべての代数拡大は分離的である。
- k は標数 0 であるかまたは標数 p > 0 かつk のすべての元は p ベキである。
- k は標数 0 であるかまたは標数 p > 0 かつフロベニウス自己準同型 x→xp が k の同型写像。
- k の分離閉包は代数的閉体である。
- すべての被約可換 k-多元環 A は 分離多元環である、すなわち、[math]A \otimes_k F[/math] はすべての体の拡大 F/k に対して被約である。（下記参照）
そうでなければ、k は不完全（英: imperfect）と呼ばれる。
とくに、標数 0 のすべての体とすべての有限体は完全である。
完全体は重要である、なぜならば完全体上のガロワ理論は単純になるからだ、というのも体拡大が分離的であるという一般的なガロワの仮定はこれらの体では自動的に満たされるからである（上の3つ目の条件を見よ）。
より一般的に、標数が素数 p の環はフロベニウス自己準同型が自己同型のときに完全と呼ばれる[1]。（これは整域上で上の条件「k のすべての元は pベキである」と同値である。）
Contents
例
完全体の例を挙げる。
実は、実際問題として現れるたいていの体は完全である。不完全体は主に正標数の代数幾何学で現れる。すべての不完全体は素体（最小の部分体）上超越的である必要がある、なぜならば素体は完全だからだ。不完全体の例は
- 不定元 [math]X[/math] 上のすべての有理関数からなる体 [math]k(X)[/math] ただし k の標数は p>0 （なぜなら X は k(X) において p乗根をもっていない）。
完全体上の体拡大
完全体上の任意の有限生成体拡大は分離生成される[2]。
完全閉包と完全化
同値条件の1つによると、標数 p のとき、すべての pr 乗根 ([math]r\ge1[/math]) を添加した体は完全である。これは k の完全閉包（perfect closure）と呼ばれ、通常 [math]k^{p^{-\infty}}[/math] と表記される。
完全閉包は分離性をテストするために使うことができる。正確には、可換 k-多元環 A が分離的であるのは [math]A \otimes_k k^{p^{-\infty}}[/math] が被約であるとき、かるそのときに限る[3]。
普遍性の言葉で言えば、標数 p の環 A の 完全閉包 は標数 p の完全環 Ap であって以下の性質をもつ環準同型 u : A → Ap をもつものである。標数 p の任意の他の完全環 B と準同型 v : A → B に対し、一意的な準同型 f : Ap → B が存在して、v は u を通して分解する（すなわち v = fu）。完全閉包はつねに存在する。その証明は体のときと同様に「A の元の p 乗根を添加する」ことを含む[4]。
標数 p の環 A の perfection（完全化）は（この用語は完全閉包に対して使われることもあるが）双対概念である。言い換えると、A の perfection R(A) は標数 p の完全環であって以下の写像 θ : R(A) → A をもつものである。標数 p の任意の完全環 B と写像 φ : B → A に対し、一意的な写像 f : B → R(A) が存在し、φ は θ を通して分解する（すなわち [math]\phi=\theta f[/math]）。A の perfection は次のように構成することができる。射影系
- [math]\cdots\rightarrow A\rightarrow A\rightarrow A\rightarrow\cdots[/math]
を考えよ、ただし各写像はフロベニウス自己準同型である。この系の逆極限は R(A) であり、すべての i に対し [math]x_{i+1}^p=x_i[/math] となるような A の元の列 (x0, x1, ... ) からなる。写像 θ : R(A) → A は (xi) を x0に送る[5]。
関連項目
脚注
- ↑ Serre 1979, Section II.4
- ↑ Matsumura, Theorem 26.2
- ↑ Cohn 2003, Theorem 11.6.10
- ↑ Bourbaki 2003, Section V.5.1.4, page 111
- ↑ Brinon & Conrad 2009, section 4.2
参考文献
- Bourbaki, Nicolas (2003), Algebra II, Springer, ISBN 978-3-540-00706-7
- Brinon, Olivier; Conrad, Brian (2009), CMI Summer School notes on p-adic Hodge theory . 2010閲覧.
- Serre, Jean-Pierre (1979), Local fields, Graduate Texts in Mathematics, 67 (2 ed.), Springer-Verlag, ISBN 978-0-387-90424-5, MR 554237
- Cohn, P.M. (2003), Basic Algebra: Groups, Rings and Fields
- Matsumura, H (2003), Commutative ring theory, Translated from the Japanese by M. Reid. Cambridge Studies in Advanced Mathematics, 8 (2nd ed.)