抽象代数学において形式的に実(けいしきてきにじつ、: formally real)、または形式的実体(けいしきてきじつたい、: formally real field)とは、−1 の平方根を持たず(さらに −1 が平方元の和として表すことができない)、また平方元の和が零に等しいという関係式は自明な(つまり、その和に現れる全ての平方元がそれぞれ零に等しい、例えば x2 + y2 = 0 ⇒ x = y = 0)場合に限られるなどの、実数体とも共通する性質を満たすことを言う。形式的実体を単に実体(じつたい[1]: real field[2])と呼ぶこともある[注 1]

与えられた体が形式的に実であることは、その体を(必ずしも一意的ではない方法によって)順序体にすることができるということを特徴づける性質である。

厳密な定義

編集

与えられた体 (K,+,×)形式的に実であるとは、どのように自然数 n を選んでも

  • x1, x2, …, xnK ならば x 2
    1
     
    + x 2
    2
     
    + ⋯ + x 2
    n
     
    ≠ −1

を満たすときに言う[4]

F に対して以下の条件は同値である[5][6]ことは容易に確認できる:

  • −1F の平方元の和に等しくなることは無い。即ち FStufe英語版が無限大。
  • 標数が 2 でない体 F において、F の平方元の和に書くことができない元が存在する。
  • F の平方元の和が零に等しいならば、その和に現れる全ての平方元がそれぞれ零に等しい。

即ち、これらの条件のうちの一つ(したがって三つすべて)を満たす体は形式的に実である[2]

1 (=12) は平方元であり、定義により形式的実体において 12 + 12 + … + 12 の形の元が 0 に等しいことはないから、形式的実体の標数は必ず 0 である。

例と反例

編集
  • 実数体 R有理数Q は形式的に実である。
  • 一方、複素数C は形式的に実でない(実際、−1 = i2C の平方元である)。

順序体との関係

編集

順序体は必ず形式的に実である[注 2]。実際、順序体において任意の平方元は正であり、その和もやはり正となるが、対して −1 は正元でない。

逆はアルティンシュライヤーが真であることを示した。即ち、

  • F が形式的実体ならば適当な順序 を導入して (F,≤) を順序体にすることができる[2]

実際、F の平方元の和全体の成す部分集合 S は前正錐 (prepositive cone) を成すから、ツォルンの補題により S を含み −1 を含まない極大な前正錐として正錐 P が得られる。このとき順序

abbaP

と定めれば (F,≤) は順序体になる[7]

実閉体

編集

形式的に実な真の代数拡大を持たない形式的実体は実閉体と呼ばれる[8]。即ち、形式的実体 R実閉 (real closed) であるとは、E が形式的実体 R の形式的実な代数拡大体ならば必ず E = R を満たすときに言う[9]。実閉体において任意の奇数次多項式は根を持ち[10]、任意の正元は何らかの元の平方根を成す[11]

形式的実体 K に対し、K を含む代数閉体 Ω をとる。このとき、K を含む Ω の実閉な部分体が存在する。これを形式的実体 K実閉包 (real closure) と呼ぶ。実閉体は一意的な順序によって順序体にすることができる[8]

注釈

編集
  1. ^ 実数のことを単に "real(s)" と呼んだり、実数体 R 上の構造という意味で「実-」と言う接頭辞を用いることもあるが、実体を実数体 R (the filed of reals/the real field[3])と混同してはならない。
  2. ^ この二つの代数的構造は(型の)異なる代数的構造である。実際、順序体は和と積のふたつの演算と全順序というひとつの関係を持つが、形式的実体は和と積の二つの演算を持つのみである。

出典

編集
  1. ^ 永田 1985.
  2. ^ a b c Bochnak, Coste, Roy, Real Algebraic Geometry, p. 9, - Google ブックス
  3. ^ Haaser, Sullivan, Real Analysis, p. 35, - Google ブックス
  4. ^ 永田 1985, p. 211.
  5. ^ Rajwade, Theorem 15.1.
  6. ^ Milnor & Husemoller 1973, p. 60.
  7. ^ Alexander Prestel (1976), Lectures on Formally Real Fields, Instituto de Matemática Pura e Aplicada, https://books.google.co.jp/books?id=rkQOAQAAIAAJ&pg=PA3&dq=%22maximal+prepositive+cone%22 
  8. ^ a b Rajwade 1993, p. 216
  9. ^ Don Monk (PDF), Notes on real-closed fields, Math 6000, Model Theory, http://euclid.colorado.edu/~monkd/m6000/real.pdf 
  10. ^ 永田 1985, p. 213.
  11. ^ 永田 1985, p. 212.

参考文献

編集
  • Milnor, John; Husemoller, Dale (1973). Symmetric bilinear forms. Springer. ISBN 3-540-06009-X 
  • Rajwade, A. R. (1993). Squares. London Mathematical Society Lecture Note Series. 171. Cambridge University Press. ISBN 0-521-42668-5. Zbl 0785.11022 
  • 永田雅宜『可換体論(新版)』裳華房〈数学選書6〉、1985年。ISBN 978-4-7853-1309-8 

外部リンク

編集