ガロア拡大での素イデアルの分解

数学において、代数体 K}} のガロア拡大 L}} のガロア群 G}} と整数環 OK}} の素イデアル P}} を OL}} の素イデアルの積として分解する方法との間の関係は、代数的整数論の最も豊かな部分のひとつとなっている。ガロア拡大における素イデアルの分解は、ダフィット・ヒルベルトが貢献しているので、ヒルベルトの理論  と呼ばれる。リーマン面の分岐被覆に対し、幾何学的な類似も存在していて、素イデアルの分解を考えるよりも G}} の部分群の一種を考えることのほうがより容易である。この問題は、ヒルベルトよりも前から確かに知られてはいた。

1. 定義
-----

//L/////K// を数体の有限次拡大とし、//B// と //A// をそれぞれ //L// と //K// に対応する整数環とする。整数環は、各々の体における整数環 Z の整閉包と定義する。

最後に、//p// を //A// のゼロでない素イデアルとする、同じことであるが、極大イデアルであるとする。このとき剰余環 //A/////p// は体である。

クルル次元が 1 である環の基本理論より、//p// により生成された //B// のイデアル //pB// の分解は、一意に

と重複度 //e// を持つ互いに異なる極大イデアル //Pj// の積へと分解される。

重複度 //e// は //p// での拡大の分岐指数  と呼ばれる。それらが全て 1 に等しい場合、体の拡大 //L/////K// は // で不分岐であると呼ぶ。

この場合は、中国の剰余定理により、商

は、体

の積となる。

1.1. ガロア的状況
-----------

次に、拡大 //L/////K// はガロア拡大であると仮定する。すると、ガロア群 G は Pj 上に推移的な群作用する。すなわち、L の p の素イデアル要素は K 上の L の自己同型の下にただ 1 つの軌道をなす。このことと素イデアル分解の一意性より、e = e は j に依らないことが従う。このことは、ガロア拡大ではない拡大の場合には確かに必ずしも起きるわけではない。

従って、基本関係式は、

である。

1.2. 事実
-------

上のような体の拡大が与えられると、不分岐な点は有限個しかない。
不分岐な場合には、ガロア群の作用の横断性により、上記で導入された体 Fj は、全て同型となる。言わば、有限体 F' となり、を含む。数え上げるとが B での P の素因子の数に等しいことが分かる。軌道安定化公式により、この数はにも等しい。ここに定義により、p の 分解群である D は与えられた Pj をそれ自身へ写すことにより G の元の部分群である。すなわち、ガロア理論により L/K の次数と G の位数は等しいので、分解群 D の位数は剰余体拡大 F'/F の次数である。フロベニウス元の理論はさらに、j に対し D の元を同一視し、有限体の拡大のガロア群を生成する。
分岐する場合は、さらに惰性という現象があり、指数 e は任意の剰余体の拡大のガロア群と見なすことのできない G の元へ拡大されると解釈される。各々の分解群 D は、与えられた Pj に対し、Pj からそれ自身へ写像するが上の恒等である自己同型を誘導する G の元 g からなる惰性群 I を含んでいる。幾何学的な類似では、複素数や代数的閉体上の代数幾何学に対し、分解群と惰性群の概念は一致する。与えられたガロア分岐被覆に対し、前像の同じ数を持つ点は有限個しかない。

ガロア的ではない拡大の素因子の分解は、始めは、分解体、つまり、いくらか大きなガロア拡大の研究から始めることができる。例えば、三次拡大は普通、それらを含む次数 6 の体により正規化されている。

2. 例 — ガウスの整数
-------------

このセクションは、体の拡大 Q/Q での素イデアルの分解について述べる。すなわち、K = Q で L = Q とすると、OK は単純に Z となり OL = Z[i] はガウスの整数となる。ガウスの整数は表現できるということからは程遠いが、- Z[i] は一意分解整域と言う性質を持っていて — 理論の非常に多くの側面を見せている。

G を Q/Q のガロア群とし、σ を G の複素共役な自己同型とすると、3つの場合が考えられる。

2.1. 素数 p = 2 の場合
-----------------

Z の素数 2 は Z[i] で分岐する。

となるので、ここでの分岐指数は e = 2 である。剰余体は、

で、元が 2個の有限群である。2の上では Z[i] は一つだけの素数を持たないので、群の分解は G の全体となるはずである。任意の整数 a と b に対し、

となるので、惰性群はまた G の全体となる。

事実、分岐する全ての素数は −4 である Z[i] の代数的数の判別式を割ることができるはずであるので、2 が Z[i] で分岐する唯一の素数である。

2.2. 素数 p ≡ 1 mod 4 の場合
-----------------------

p ≡ 1 mod 4 である任意の素数は、Z[i] の 2つの異なるイデアルへ分解する。このことは、2個の平方数の和のフェルマーの定理の計算である。例えば、

である。この場合の分解群は、自明な群 {1} であり、実際、自己同型 σ は 2つの素数  と  へと切り替わるので、両方の素数である分解群であることはあり得ない。惰性群も、分解群の部分群であるが、自明な群である。2つの剰余体が存在し、それぞれの素数に対する剰余体は、

である。両方とも 13 個の元を持つ有限体に同型である。フロベニウス元は自明な自己同型であり、このことは、任意の整数、a と b に対して、

を意味する。

2.3. 素数 p ≡ 3 mod 4 の場合
-----------------------

全ての素数 p ≡ 3 mod 4 の場合には Z[i] で惰性が残る。すなわち、分解しない。例えば、 は Z[i] で素である。この状況の下では、分解群は G の全体であり、この理由は、またしても唯一の素因子が存在してるからである。しかしながら、この状況は p = 2 の場合とは異なっている。今度は σ が剰余体

上で自明には作用しないからである。これは 72 = 49 この元を持つ有限体である。例えば、1 + i と σ = 1 − i   is   2i の間の差異は確かに 7 で割ることができない。従って、惰性群は自明な群 {1} である。Z/7Z の上のこの剰余体のガロア群は、位数が 2 であり、フロベニウス元の像により生成される。フロベニウスはまさに σ そのものであり、このことは、全ての整数 a と b に対し、

である。

2.4. まとめ
--------



3. 分解の計算
--------

OK での素イデアル P の OL での分解を計算したい。拡大 L/K は有限次分離的拡大とする。ガロア拡大の定義の中にある正規性の前提は、必ずしも必要ではない。

次の方法により多くの場合のこの問題をとくことができる。方法は、まず、OL の中の整数 θ を選択し L が θ により K 上に生成されるようにし、次に、K 上の θ の最小多項式 H を試す。最小多項式は、OK に係数を持つ単項式である。H modulo P と係数を還元すると、剰余体 OK/P である F に係数を持つ単項式 h を得る。h が多項式環 F[X] で

と分解すると仮定する。ここに、hj は F[X] の中で異なる既約な単項式である。すると、P が有限個の例外素数の一つではない場合は、P の分解は次の形となる。

ここに、Qj は OL の異なるイデアルである。さらに、Qj の各々の惰性群の次数hは、対応する多項式 hj の次数にひとしく、Qj に対し、明白な公式

が存在する。

ガロア拡大の場合は、惰性群の次数はみな等しく、分岐指数は e1 = ... = en とみな等しくなる。

上の結果が必ずしも成立しない例外的な素数は、環 OK[θ] の導手に相対的に素な素数である。導手はイデアル

として定義され、どのくらい整数環 OK[θ] が全体の整数環OL から隔たっているかを測る。

重要な注意として、上記前提を持たす θ が存在しないような L/K と P の例が存在することである。従って、上記のアルゴリズムはそのような P を要素として使用できなく、例えば、に記載されているような、さらに複雑なアプローチを使う必要がある。

3.1. ひとつの例
----------

ガウスの整数の場合を再び考える。θ を虚数の単数 i ととると、最小多項式は、H = X2 + 1 である。Z[] は Q の全整数環であるので、例外的な素数は存在しない。

P =  に対し、体 Z/Z の中で多項式 X2 + 1 modulo 2 の分解を考えると、

である。従って、次数が 1 であり分岐指数が 2 である唯一の素因子が存在し、

により与えられる。

次の場合は p ≡ 3 mod 4 である素数に対する P =  である。具体的に、P =  をとると、多項式 X2 + 1 は modulo 7 で既約であるので、惰性次数が 2 で分岐指数が 1 である唯一の素因子が存在し

により与えられる。

最後の場合である素数 p ≡ 1 mod 4 の場合の P =  については、再び P =  ととる。今度は、分解が￥して

となるので、2つの素因子が存在し、惰性群の次数と分岐指数が 1 となる。それらは、

と

で与えられる。

4. 外部リンク
--------

5. 脚注
-----

6. 参考文献
-------