整数環

ウィキペディア

整数環

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/05/28 00:47 UTC 版)

数学において、代数体 K の整数環（せいすうかん、英: ring of integers）とは、K に含まれるすべての整な元からなる環である。整な元とは有理整数係数の単多項式 xⁿ + c_n−1xⁿ⁻¹ + ⋯ + c₀ の根である。この環はしばしば O_K あるいは ${\displaystyle {\mathcal {O}}_{K}}$ と書かれる。任意の有理整数は K に属し、その整元であるから、環 Z はつねに O_K の部分環である。

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

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

性質

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

${\displaystyle x=\sum _{i=1}^{n}a_{i}b_{i}}$

と表せる^[3]。O_K の自由 Z 加群としての階数 n は K の Q 上の次数（英語版）に等しい。

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

例

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

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

乗法的構造

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

${\displaystyle 6=2\cdot 3=(1+{\sqrt {-5}})(1-{\sqrt {-5}})\ .}$

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

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

一般化

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

例えば、p 進整数 Z_p は p 進数 Q_p の整数環である。

脚注

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.

参考文献

• Cassels, J.W.S. (1986). Local fields. London Mathematical Society Student Texts. 3. Cambridge: Cambridge University Press. ISBN 0-521-31525-5. Zbl 0595.12006 
• Neukirch, Jürgen (1999), Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften, 322, Berlin: Springer-Verlag, ISBN 978-3-540-65399-8, Zbl 0956.11021, MR1697859 
• Samuel, Pierre (1972). Algebraic number theory. Hermann/Kershaw 

ウィキペディア小見出し辞書

整数環

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/07 13:42 UTC 版)

「代数体」の記事における「整数環」の解説

n 次の代数体 K に含まれる代数的整数全体の集合を I K とすると、以下のことが成立する。 I K は整域である。このことより、 I K を K の整数環 (ring of integers) という。 I K は、有理整数環上ランク n の自由加群である。つまり、 I K の元、 ω 1 , … ,   ω n が存在して、任意の I K の元 α は、以下の形に一意的に表される。 α = a 1 ω 1 + ⋯ + a n ω n 。但し、 a 1 , … ,   a n は有理整数。上記 { ω 1 , … ,   ω n } を K の整基底 (integral basis) または整数基という。 I K は整閉である。つまり、K の元 β に対して、 β r + α r − 1 β r − 1 ⋯ + α 1 β + α 0 = 0 となる K の元 α 0 ,   α 1 , … ,   α r − 1 が存在するならば、β は、 I K の元である。 I K はデデキント環である。 一般に、 I K は一意分解整域ではない。 特別な代数体の整数環については、その数論的性質が詳しく研究されており、特別な名称が付けられている。 ガウス整数 Q ( − 1 ) の整数環、 Z [ − 1 ] のことである。 アイゼンシュタイン整数 Q ( − 3 ) の整数環、 Z [ ( − 1 + − 3 ) / 2 ] のことである。