局所体
(Local field から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/11/20 14:17 UTC 版)
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2021年1月）
|
局所体(きょくしょたい、英: local field)とは、離散付値に対して完備であり、剰余体が有限体である付値体のことである。
局所体の定義としては、上に挙げたもの以外にもいくつかあり、そのうちの代表的なものを挙げる。これらは互いに同値な定義である。
- 局所体とは、非アルキメデス付値に対して完備であり、付値環がコンパクト[要曖昧さ回避]である付値体のことである。
- 局所体とは、自明ではない乗法付値に対して連結ではない局所コンパクトな付値体のことである。
- 局所体とは、p進体もしくは有限体係数の1変数ベキ級数体の有限次代数拡大体と付値体として同型[1]な付値体のことである。
応用上、局所体をp進体もしくは有限体係数の1変数ベキ級数体の有限次代数拡大体に限定することも多い。 その場合、局所体を
と定義されることもある。このとき、大域体から局所体を得ることを局所化という。
上記の定義の他に、実数体や複素数体も局所体に含めることもある。これらが
- アルキメデス付値に対して完備である。
- 連結である局所コンパクトな付値体である。
- 代数体のアルキメデス付値による完備化である。
と、上記局所体の定義とよく似た性質を持っているからである。
この場合、非アルキメデス付値による局所体を非アルキメデス的局所体、アルキメデス付値による局所体をアルキメデス的局所体という。
しかし実数体(複素数体)と p進体または1変数ベキ級数体とでは性質の異なる部分が多いので、ここでは当初の定義通り、特に断らない限り局所体といった場合、実数体や複素数体は含まれないとする。しかし、局所体との類似点や相違点を知るために、局所体の性質に対応する実数体や複素数体の結果も記述することにする。
なお、この項では局所体としての性質を記述し、p進体もしくはベキ級数体固有の性質については述べない。それらに対する詳細は個々の記事を参照のこと。
位相的性質
局所体を特徴付ける位相的性質を述べる。
「local field」の例文・使い方・用例・文例
Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
- Local fieldのページへのリンク
