コンテンツにスキップ

代数的整数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数論において代数的整数(だいすうてきせいすう、: algebraic integer)とは、ある整数係数モニック多項式となる複素数のことである。代数的整数の全体 A は加法と乗法について閉じており、ゆえに複素数環 C部分環をなす。この環 A有理整数ZC における整閉包となっている。

代数体 K の整数環 OKKA に等しく、また体 K の極大整環(: maximal order)となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z[x] がアーベル群として有限生成(即ち有限生成 Z-加群)であることと同値である。

定義

[編集]

以下は α ∈ K が代数的整数であることの同値な定義である。ここで K代数体(有理数体 Q有限拡大)とする。原始元定理より、この K は適当な代数的数 θ ∈ C によって K = Q(θ) とすることもできる。

  • f (α) = 0 を満たすモニック多項式 f (x) ∈ Z[x] が存在する。
  • αQ 上の最小モニック多項式 f (x) ∈ Z[x] が存在する。
  • Z[α] が有限生成 Z-加群となる。
  • αMM を満たす有限生成 Z-部分加群 0 ≠ MC が存在する。

代数的整数は有限拡大 K / Q整元となっている。即ち代数的整数は環の拡大における整元の特別な場合である。

代数的整数をこのように定義する背景には次のような考え方がある[1]。まず、有理数に対する整数のように、代数的数全体の集合の中で「整数の集合」S が何らかの方法で定義できたとする。すると S は次の性質を持っているはずである。

(S1) S は加減算と乗算で閉じている。
(S2) S の元の任意の共役は S に含まれる。
(S3) 有理整数はすべて S に属し、S に含まれる有理数は有理整数のみである。
(S4) S は以上の性質を持つ集合の中でなるべく大きいものである。

このような性質を持つ集合 S は実は代数的整数の集合と一致する。実際、S の任意の元 α に対してその有理数体上の最小多項式 f を取ってみる。f の係数は α の共役達の基本対称式であるから、(S2)と(S1)よりこれは S に含まれる。f の係数は有理数であるから、(S3)よりこれらは有理整数である。よって f は有理整数係数のモニック多項式であるから α は代数的整数である。したがって S は代数的整数の集合に含まれる。代数的整数の集合は(S1)~(S3)を満たす集合であるので、(S4)により S は代数的整数の集合に一致する。

代数的整数となる例

[編集]
  • 有理数のうち代数的整数となるのは有理整数に限る。即ち QAZ に等しい。有理数 a/bba を割り切らなければ代数的整数とはならない(多項式 bxa の主係数が b であることに注意)。ほか、非負整数 n の平方根 n が有理整数となるのは n平方数のときに限り、それ以外のときは無理数となる。
  • d平方因子をもたない整数のとき、拡大 K = Q(d)二次体となる。ここで dモニック多項式 x2d の根であるから、K の代数的整数環 OKd をもつ。加えて dd ≡ 1 (mod 4) を満たすとき、元 1 + d/2 もまた代数的整数となる。これは、x = 1 + d/2 を根として持つ二次多項式 x2x + 1 − d/4定数項英語版が、d ≡ 1 (mod 4) のとき整数となるためである。OKd1 + d/2 よりそれぞれ生成される。詳細は en:Quadratic integer を参照。
  • 平方因子を持たない互いに素な整数 h, k に対し m = hk2 とし、さらに α = 3m とする。このとき体 F = Q(α) の整数環は以下の整数底を持つ[2]
  • ζn 1 の原始 n 乗根とする。このとき円分体 Q(ζn) の整数環は Z[ζn] に等しい。
  • α が代数的整数ならば nα もまた代数的整数となる。これは α についての多項式に xn を代入すると nα についての多項式が得られるためである。

代数的整数とならない例

[編集]
  • P (x)モニックでない整数係数原始多項式で、かつ Q既約であるとする。このとき P (x) の根は代数的整数とならない。(ここで原始多項式とは、係数の最大公約数が 1 であるような多項式のことを言う。これは「係数が互いに素であるような多項式」よりも弱い条件である。)

性質

[編集]
  • 二つの代数的整数の和、差、積もまた代数的整数となる。ただし一般に商は代数的整数とならない。これは代数的整数 p, q とその積 pq について、それらを根とするモニック多項式の次数を比べると、一般に pq のほうが高くなるためである。このことは終結式を求めて因数分解することで分かる。例として、代数的整数 x, y がモニック多項式 x2x − 1 = 0, y3y − 1 = 0 を満たすとし、加えて積を z = xy (⇔ zxy = 0) とおく。これらの左辺の多項式から終結式を用いて xy を消去することで、z に関するモニック多項式 z6 − 3z4 − 4z3 + z2 + z − 1 が得られる。この多項式は既約であり、z = xy を根に持つ。(xy は多項式 zxy, x2x − 1 に対して y, z を定数とみたときの終結式となっている。このことは「与えられた多項式 f, g の終結式は f, g が生成するイデアルに属する」ことからも確認できる。)
  • 上の理由より、整数から冪根・加法・乗法を用いて構成可能な数は全て代数的整数である。しかしその逆、即ち「全ての代数的整数が整数から冪根・加法・乗法を用いて構成可能」は成り立たない。素朴な例としては、五次の既約多項式の根の殆どは整数から冪根・加法・乗法を用いて構成可能でないことがアーベル・ルフィニの定理から従う。
  • 代数的整数を係数とするモニック多項式の根は全て代数的整数となる。即ち代数的整数は、任意の拡大に対し整閉であるような環をなす。
  • 単項イデアル定理英語版より、代数的整数環 Aベズー整域となる。

脚注

[編集]
  1. ^ 高木貞治『代数的整数論 : 一般論及類体論 第2版』岩波書店、1971年、10-11頁。ISBN 9784000056304 
  2. ^ Marcus, Daniel A. (1977), Number fields, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90279-1 , chapter 2, p. 38 and exercise 41.

参考文献

[編集]
  • Daniel A. Marcus, Number Fields, third edition, Springer-Verlag, 1977

関連項目

[編集]