数学において、代数体 K整数環(せいすうかん、: ring of integers)とは、K に含まれるすべての整な元からなるである。整な元とは有理整数係数の単多項式 xn + cn−1xn−1 + ⋯ + c0である。この環はしばしば OK あるいは と書かれる。任意の有理整数は K に属し、その整元であるから、環 Z はつねに OK部分環である。

環 Z は最も簡単な整数環である[1]。すなわち、Z = OQ ただし Q有理数である[2]。そして実際、代数的整数論では、Z の元はこのためしばしば「有理整数」と呼ばれる。

代数体の整数環は体の一意的な極大整環英語版である。

性質

編集

整数環 OK有限生成 Z 加群である。実際、それは自由 Z 加群であり、したがって整基底 (integral basis), すなわち次のような基底を持つ:Q ベクトル空間 K基底 b1, … ,bn ∈ OK であって、OK の各元 xaiZ で一意的に

 

と表せる[3]OK の自由 Z 加群としての階数 nKQ 上の次数英語版に等しい。

代数体の整数環はデデキント整域である[4]

p素数で、ζ1の p 乗根で、K = Q(ζ) が対応する円分体のとき、OK = Z[ζ] の整基底は (1, ζ, ζ2, … , ζp−2) で与えられる[5]

d平方因子を持たない整数で、K = Q(d) が対応する二次体のとき、OK二次の整数英語版の環であり、その整基底は次で与えられる:d ≡ 1 (mod 4) のとき (1, (1 + d)/2) で、d ≡ 2, 3 (mod 4) のとき (1, d) である[6]

乗法的構造

編集

整数環において、すべての元は既約元への分解を持つが、環は一意分解の性質を持つとは限らない:例えば、整数環 Z[−5] において、元 6 は2つの本質的に異なる既約元への分解を持つ[4][7]

 

整数環はつねにデデキント整域であり、したがってイデアルの素イデアルへの一意分解を持つ[8]

整数環 OK単数全体は、ディリクレの単数定理により、有限生成アーベル群である。捩れ部分群K1の冪根全体からなる。捩れなし生成元の集合は基本単数英語版の集合と呼ばれる[9]

一般化

編集

非アルキメデス的局所体 F の整数環を絶対値が 1 以下の F のすべての元の集合として定義する;これは強三角不等式により環である[10]F が代数体の完備化であれば、その整数環は代数体の整数環の完備化である。代数体の整数環はすべての非アルキメデス的完備化において整数であるような元の全体として特徴づけられる[2]

例えば、p 進整数 Zpp 進数 Qp の整数環である。

脚注

編集
  1. ^ 体を指定せずに整数環と言った場合には、すべてのそれらの環のプロトタイプな対象である「通常の」整数の環 Z を指す。それは抽象代数学における単語「整数」の曖昧さの結果である。
  2. ^ a b Cassels 1986, p. 192.
  3. ^ Cassels 1986, p. 193.
  4. ^ a b Samuel 1972, p. 49.
  5. ^ Samuel 1972, p. 43.
  6. ^ Samuel 1972, p. 35.
  7. ^ Artin, Michael (2011). Algebra. Prentice Hall. p. 360. ISBN 978-0-13-241377-0 
  8. ^ Samuel 1972, p. 50.
  9. ^ Samuel 1972, pp. 59–62.
  10. ^ Cassels 1986, p. 41.

参考文献

編集