P進閉体のソースを表示

{{DISPLAYTITLE:{{mvar|p}}進閉体}}
[[数学]]における '''{{mvar|p}}-進閉体'''（pしんへいたい、{{lang-en-short|''{{mvar|p}}-adically closed field''}}）は、ちょうど[[形式的に実な体]]が[[実閉体|実閉]]であることの [[p進数|{{mvar|p}}-進的]]な対応物として、適当な[[閉性質|拡大性質で閉じている]]。この概念は {{harvtxt|Ax|Kochen|1965}} が導入した。

== 定義 ==
; 定義 ({{mathbf|Q}} 上の形式的に {{mvar|p}}-進な体)
: 体 {{mvar|K}} は[[有理数体]] {{math|ℚ}} とし、[[付値]] {{mvar|v}} は通常の [[p進付値|{{mvar|p}}-進付値]]（ただし {{math|1=''v''(''p'') = 1}} と正規化する）とする。{{mvar|K}} の（必ずしも代数的とは限らない）拡大体 {{mvar|F}} がそれ自身付値 {{mvar|w}} を持つとき、[[付値体]] {{math|(''F'', ''w'')}} が'''形式的に {{mvar|p}}-進''' (''formally {{mvar|p}}-adic'') とは、以下の条件が満足されるときに言う:
:* {{mvar|w}} は {{mvar|v}} の延長である: <math display="inline">w(x)=v(x)\quad (\forall x\in K)</math>;
:* {{mvar|w}} の[[剰余体]] {{math|{{mset|''x'' ∈ ''F'' | ''w''(''x'') {{=}} 0}}}} は {{mvar|v}} の剰余体 {{math|{{mset|''x'' ∈ ''K'' | ''v''(''x'') {{=}} 0}}}} と一致する{{efn|ここで言う「剰余体」は、付値体 {{math|(''F'', ''w'')}} の付値環 {{math|{{mset|''x'' ∈ ''F'' | ''w''(''x'') &ge; 0}}}}（これは[[局所環]]である）の、その唯一の[[極大イデアル]] {{math|{{mset|''x'' ∈ ''F'' | ''w''(''x'') > 0}}}} による[[剰余環]]（極大イデアルで割ったので体を成す）の意味で用いている}}
:* {{mvar|w}} の最小の正の値は {{mvar|v}} の最小の正の値（上記の如く {{mvar|v}} は正規化したから、つまりこの場合 {{math|1}}）に一致する。これは {{mvar|K}} の{{ill2|一意化元|label=素元|en|uniformizer}}（付値環の極大イデアルの生成元）が {{mvar|F}} の素元と言っても同じことである。{{efn|{{mvar|K}} の値群は {{mvar|F}} の値群よりも大きくなり得る。それは {{mvar|F}} の値群上無限に大きい元を含むことができる。}}

形式的 {{mvar|p}}-進体は形式的実体の類似対応物と見なすことができる。

例えば, {{ill2|ガウスの有理数|label=ガウスの数体|en|Gaussian rational}} {{math|ℚ(''i'')}} に {{math|1=''w''(2 + ''i'') = 1}}（したがって {{math|1=''w''(2 &minus; 1) = 0}} で定まる付値 {{mvar|w}} を入れたものは、形式的 {{math|5}}-進である。有理数体の有限素点 (place) {{math|1=''v'' = 5}} は、{{math|''X''{{sup|2}} + 1}} が剰余体（これは五元体）上で分解されるから、ガウス数体の二つの有限素点に分裂し、{{mvar|w}} はそのうちの一つである。{{math|5}}-進数体（これは有理数体を含み、またガウス数体を有限素点 {{mvar|w}} で埋め込まれている）もまた形式的 {{math|5}}-進である。他方、ガウス数体は如何なる付値に関しても形式的 {{math|3}}-進には「ならない」。実際、{{math|3}}-進付値の延長となるべき {{mvar|w}} は {{math|1=''w''(3) = 1}} で与えられる場合に限るが、その場合剰余体は九元とならねばならない。

; 定義 ({{mvar|p}}-進閉体): 形式的 {{mvar|p}}-進体 {{mvar|F}} が、形式的に {{mvar|p}}-進な真の{{underline|代数}}拡大体を持たないならば、{{mvar|F}} は '''{{mvar|p}}-進閉'''であるという。
例えば、任意の素数 {{mvar|p}} に対して [[p進数|{{mvar|p}}-進数]]体は {{mvar|p}}-進閉であり、{{mvar|p}}-進数体における有理数体の代数閉包（つまり[[代数的数|代数的]] {{mvar|p}}-進数体）もまた {{mvar|p}}-進閉となる。

{{mvar|F}} が {{mvar|p}}-進閉ならば
* {{mvar|F}} を {{mvar|p}}-進閉とする {{mvar|F}} 上の付値 {{mvar|w}} は一意である（したがって、「対 {{math|(''F'', ''w'')}} が」ではなく「{{mvar|F}} が」{{mvar|p}}-進閉であるという言い回しは正当である）;
* {{mvar|F}} はこの有限素点に関して'''ヘンゼル的'''（すなわち付値環が[[ヘンゼル環]]）である;
* {{mvar|F}} の付値環はちょうど [[#Kochen 作用素|コッヘン作用素]]の像に一致する;
* {{mvar|F}} の値群は {{math|ℤ}}（つまり {{mvar|K}} の値群）による[[可除群]]の[[群の拡大|拡大]]に[[辞書式順序]]を入れたものである;
が成り立つ{{sfn|Jarden|Roquette|1980|loc= lemma 4.1}}。一つ目の主張は、実閉体を[[順序体]]とする順序関係がその代数的構造から一意に決定されるという事実に相当する類似の結果である。

上記の定義はより一般の文脈へ引き写すことが可能である。
; 定義 (一般の基礎体上の形式的 {{mvar|v}}-進体): {{mvar|K}} は付値 {{mvar|v}} を持つ体として
:* {{mvar|K}} の剰余体が有限である（その位数を {{mvar|q}}, 標数を {{mvar|p}} とする）;
:* {{mvar|v}} の値群は最小の正の元を持つ（それを {{math|1}} とし、素元を {{mvar|π}}（つまり {{math|1=''v''(''π'') = 1}} と書く）;
:* {{mvar|K}} は有限な絶対分岐を持つ、すなわち {{math|''v''(''p'')}} は有限（つまり、{{math|1=''v''(''π'') = 1}} の有限倍）;
が満たされるならば{{efn|これらの仮定を {{math|1=''q'' = ''π'' = ''p''}} を{{nowrap|付値 {{math|1}}}} の素数として有理数体はすべて満足する}}、形式的に {{mvar|v}}-進（あるいは {{mvar|v}} に対応するイデアルを <math display="inline">\mathfrak{p}</math> として <math display="inline">\mathfrak{p}</math>-進）な体、および {{mvar|v}}-進閉体について述べることができる。

== {{vanc|コッヘン作用素|Kochen作用素|Kochen 作用素|Kochen operator}} ==
{{mvar|K}} は付値 {{mvar|v}} を持つ体で前段落にいう仮定を満足するものとし、記法も踏襲するものとして、コッヘン作用素は <math display="block">\gamma(z) = \frac{1}{\pi}\,\frac{z^q-z}{(z^q-z)^2-1} \quad(z^q-z \neq \pm 1)</math> で定義される。{{math|''γ''(''z'')}} が常に非負の付値を持つことを確かめるのは容易い。コッヘン作用素は、[[形式的に実]]の場合の平方函数の {{mvar|p}}-進（あるいは {{mvar|v}}-進）版と考えることができる。

; 命題: {{mvar|K}} の拡大体 {{mvar|F}} が形式的に {{mvar|v}}-進となるための必要十分条件は、{{mvar|K}} の付値環のコッヘン作用素による {{mvar|F}} の像が生成する部分環に {{math|1/''π''}} が入らないことである。
これは形式実体となるための必要十分条件（あるいは定義）が {{math|&minus;1}} が平方和に書けないことであるという事実に対応する。

== 一階の理論 ==
{{mvar|p}}-進閉体{{efn|ここでは意図的に {{mathbf|Q}} 上の {{mvar|p}}-進付値に関する場合に限ることとする}}に関する一階の理論は{{ill2|完全理論|label=完全|en|Complete theory}}かつ{{ill2|モデル完全理論|label=モデル完全|en|Model complete theory}}であり、また少し言語を豊かにすれば{{ill2|量限定子消去|en|quantifier elimination}}が許される。したがって、{{math|'''Q'''{{sub|''p''}}}} の一階理論と{{ill2|初等同値|en|elementarily equivalent}} な一階理論を持つものとして {{mvar|p}}-進閉体を定義することができる。

== 注 ==
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
* {{Cite journal | last1=Ax | first1=James |author1-link= James Burton Ax | last2=Kochen | first2=Simon B. |author2-link= Simon Bernhard Kochen | title=Diophantine problems over local fields. II. A complete set of axioms for &#x1D45D;-adic number theory | journal=Amer. J. Math. | volume=87 | year=1965 | pages=631&ndash;648 | doi=10.2307/2373066 | jstor=2373066 | issue=3 | publisher=The Johns Hopkins University Press |ref=harv}}
* {{Cite conference | last=Kochen | first=Simon | title=Integer valued rational functions over the &#x1D45D;-adic numbers: A &#x1D45D;-adic analogue of the theory of real fields | year=1969 | booktitle=Number Theory (Proc. Sympos. Pure Math., Vol. XII, Houston, Tex., 1967) | pages=57&ndash;73 | publisher=American Mathematical Society }}
* {{Cite journal | last1=Jarden | first1=Moshe | last2=Roquette | first2=Peter | journal=J. Math. Soc. Japan | year=1980 | volume=32 | title=The Nullstellensatz over &#x1D52D;-adically closed fields | pages=425&ndash;460 | doi=10.2969/jmsj/03230425 | issue=3 }}

== 外部リンク ==
* {{SpringerEOM|urlname=P-adically_closed_field|title=P-adically closed field|author= Kuhlmann, F.-V.}}

{{DEFAULTSORT:pしんへいたい}}
[[Category:体論]]
[[Category:数学に関する記事]]