|
|
| 1行目: |
1行目: |
| − | {{要改訳}}{{正確性|date=2015年2月}} | + | {{テンプレート:20180815sk}} |
| − | 数学において、[[代数体]] {{mvar|K}} の[[ガロア拡大]] {{mvar|L}} の[[ガロア群]] {{mvar|G}} と[[整数環]] {{mvar|O<sub>K</sub>}} の[[素イデアル]] {{mvar|P}} を {{mvar|O<sub>L</sub>}} の素イデアルの積として分解する方法との間の関係は、[[代数的整数論]]の最も豊かな部分のひとつとなっている。'''ガロア拡大における素イデアルの分解'''は、[[ダフィット・ヒルベルト]]が貢献しているので、'''ヒルベルトの理論''' (Hilbert theory) と呼ばれる。[[リーマン面]]の[[分岐被覆]]に対し、幾何学的な類似も存在していて、素イデアルの分解を考えるよりも {{mvar|G}} の部分群の一種を考えることのほうがより容易である。この問題は、ヒルベルトよりも前から確かに知られてはいた。
| |
| − | | |
| − | == 定義 ==
| |
| − | ''L''/''K'' を数体の有限次拡大とし、''B'' と ''A'' をそれぞれ ''L'' と ''K'' に対応する[[整数環]]とする。整数環は、各々の体における整数環 '''Z''' の[[整閉包]]と定義する。
| |
| − | : <math> \begin{array}{ccc} A & \hookrightarrow & B \\ \downarrow & & \downarrow \\ K & \hookrightarrow & L \end{array} </math> | |
| − | 最後に、''p'' を ''A'' のゼロでない素イデアルとする、同じことであるが、[[極大イデアル]]であるとする。このとき剰余環 ''A''/''p'' は[[可換体|体]]である。
| |
| − | | |
| − | [[クルル次元]]が 1 である環の基本理論より、''p'' により生成された ''B'' のイデアル ''pB'' の分解は、一意に
| |
| − | : <math> pB = \prod_{j} P_j^{e(j)} </math>
| |
| − | と重複度 ''e''(''j'') を持つ互いに異なる極大イデアル ''P<sub>j</sub>'' の積へと分解される。
| |
| − | | |
| − | 重複度 ''e''(''j'') は ''p'' での拡大の'''分岐指数''' (ramification index) と呼ばれる。それらが全て 1 に等しい場合、体の拡大 ''L''/''K'' は '''''p'' で不分岐である'''と呼ぶ。
| |
| − | | |
| − | この場合は、[[中国の剰余定理]]により、商
| |
| − | :<math>B/pB</math>
| |
| − | は、体
| |
| − | :<math>F_j = B/P_j\ .</math>
| |
| − | の積となる。
| |
| − | | |
| − | ===ガロア的状況===
| |
| − | 次に、拡大 ''L''/''K'' は[[ガロア拡大]]であると仮定する。すると、[[ガロア群]] G は P<sub>j</sub> 上に{{仮リンク|推移的な群作用|label=推移的に作用|en|transitive group action}}する。すなわち、L の p の素イデアル要素は K 上の L の[[自己同型]]の下にただ 1 つの[[群作用#軌道|軌道]]をなす。このことと[[素イデアル分解の一意性]]より、e(j) = e は j に依らないことが従う。このことは、ガロア拡大ではない拡大の場合には確かに必ずしも起きるわけではない。<!--<ref>有理数体に 2 の平方根を添加して得られる体拡大は、ガロア拡大であることに対し、立方根を1つ加えてできる体拡大はガロア拡大でない。これらは標数が 0 であるため、両方とも分離的である。前者は X<sup>2</sup>-2 の分解体であり、後者は 1 の複素数の立方根をもつ正規閉包であるから、分解体ではない。実際、X<sup>3</sup>-2 は実根は一つしか持たないの、恒等元以外には自己同型を持たない。</ref>-->
| |
| − | | |
| − | 従って、基本関係式は、
| |
| − | :<math>pB = (\prod P_j)^e</math>
| |
| − | である。
| |
| − | | |
| − | ===事実===
| |
| − | *上のような体の拡大が与えられると、不分岐な点は有限個しかない。
| |
| − | | |
| − | *不分岐な場合には、ガロア群の作用の横断性により、上記で導入された体 F<sub>j</sub> は、全て同型となる。言わば、有限体 F' となり、
| |
| − | ::<math>F = A/p</math>
| |
| − | :を含む。数え上げると
| |
| − | ::<math>[L:K]/[F':F]</math>
| |
| − | :が B での P の素因子の数に等しいことが分かる。[[群作用|軌道安定化公式]]により、この数は
| |
| − | ::<math>|G|/|D|</math>
| |
| − | :にも等しい。ここに定義により、p の '''分解群'''である D は与えられた P<sub>j</sub> をそれ自身へ写すことにより G の元の部分群である。すなわち、ガロア理論により L/K の次数と G の位数は等しいので、分解群 D の位数は'''[[剰余体]]拡大''' F'/F の次数である。[[フロベニウス元]]の理論はさらに、j に対し D の元を同一視し、有限体の拡大のガロア群を生成する。
| |
| − | | |
| − | *分岐する場合は、さらに'''惰性'''という現象があり、指数 e は任意の剰余体の拡大のガロア群と見なすことのできない G の元へ拡大されると解釈される。各々の分解群 D は、与えられた P<sub>j</sub> に対し、P<sub>j</sub> からそれ自身へ写像するが
| |
| − | ::<math>F_j = B/P_j</math>
| |
| − | :上の恒等である自己同型を誘導する G の元 g からなる'''惰性群''' I を含んでいる。
| |
| − | | |
| − | 幾何学的な類似では、[[複素数]]や[[代数的閉体]]上の[[代数幾何学]]に対し、'''分解群'''と'''惰性群'''の概念は一致する。与えられたガロア分岐被覆に対し、[[前像]](preimage)の同じ数を持つ点は有限個しかない。
| |
| − | | |
| − | ガロア的ではない拡大の素因子の分解は、始めは、[[分解体]]、つまり、いくらか大きなガロア拡大の研究から始めることができる。例えば、{{仮リンク|三次拡大|en|cubic field}}(cubic field)は普通、それらを含む次数 6 の体により'''正規化'''(regulated)されている。
| |
| − | | |
| − | == 例 — ガウスの整数 ==
| |
| − | | |
| − | このセクションは、体の拡大 '''Q'''(i)/'''Q''' での素イデアルの分解について述べる。すなわち、K = '''Q''' で L = '''Q'''(i) とすると、O<sub>K</sub> は単純に '''Z''' となり O<sub>L</sub> = '''Z'''[i] は[[ガウス整数|ガウスの整数]]となる。ガウスの整数は表現できるということからは程遠いが、- '''Z'''[i] は[[一意分解環|一意分解整域]]と言う性質を持っていて — 理論の非常に多くの側面を見せている。
| |
| − | | |
| − | G を '''Q'''(i)/'''Q''' のガロア群とし、σ を G の複素共役な自己同型とすると、3つの場合が考えられる。
| |
| − | | |
| − | === 素数 p = 2 の場合 ===
| |
| − | | |
| − | '''Z''' の素数 2 は '''Z'''[i] で分岐する。
| |
| − | :<math>(2)=(1+i)^2</math>
| |
| − | となるので、ここでの分岐指数は e = 2 である。剰余体は、
| |
| − | :<math>O_L / (1+i)O_L</math>
| |
| − | で、元が 2個の有限群である。2の上では '''Z'''[i] は一つだけの素数を持たないので、群の分解は G の全体となるはずである。任意の整数 a と b に対し、
| |
| − | :<math>a+bi\equiv a-bi\bmod1+i</math>
| |
| − | となるので、惰性群はまた G の全体となる。
| |
| − | | |
| − | 事実、分岐する全ての素数は −4 である '''Z'''[i] の代数的数の[[判別式]]を割ることができるはずであるので、2 が '''Z'''[i] で分岐する'''唯一の'''素数である。
| |
| − | | |
| − | === 素数 p ≡ 1 mod 4 の場合 ===
| |
| − | | |
| − | p ≡ 1 mod 4 である任意の素数は、'''Z'''[i] の 2つの異なるイデアルへ'''分解する'''。このことは、[[二個の平方数の和|2個の平方数の和のフェルマーの定理]]の計算である。例えば、
| |
| − | :<math>(13)=(2 + 3i)(2 - 3i)</math>
| |
| − | である。この場合の分解群は、自明な群 {1} であり、実際、自己同型 σ は 2つの素数 (2 + 3i) と (2 − 3i) へと'''切り替わる'''ので、両方の素数である分解群であることはあり得ない。惰性群も、分解群の部分群であるが、自明な群である。2つの剰余体が存在し、それぞれの素数に対する剰余体は、
| |
| − | :<math>O_L / (2 \pm 3i)O_L</math>
| |
| − | である。両方とも 13 個の元を持つ有限体に同型である。フロベニウス元は自明な自己同型であり、このことは、任意の整数、a と b に対して、
| |
| − | :<math>(a+bi)^{13}\equiv a+bi\bmod2\pm3i</math>
| |
| − | を意味する。
| |
| − | | |
| − | === 素数 p ≡ 3 mod 4 の場合 ===
| |
| − | | |
| − | 全ての素数 p ≡ 3 mod 4 の場合には '''Z'''[i] で'''惰性'''が残る。すなわち、分解しない。例えば、(7) は '''Z'''[i] で素である。この状況の下では、分解群は G の全体であり、この理由は、またしても唯一の素因子が存在してるからである。しかしながら、この状況は p = 2 の場合とは異なっている。今度は σ が剰余体
| |
| − | :<math>O_L / (7)O_L</math>
| |
| − | 上で自明には作用しないからである。これは 7<sup>2</sup> = 49 この元を持つ有限体である。例えば、1 + i と σ(1 + i) = 1 − i is 2i の間の差異は確かに 7 で割ることができない。従って、惰性群は自明な群 {1} である。'''Z'''/7'''Z''' の上のこの剰余体のガロア群は、位数が 2 であり、フロベニウス元の像により生成される。フロベニウスはまさに σ そのものであり、このことは、全ての整数 a と b に対し、
| |
| − | :<math>(a+bi)^7\equiv a-bi\bmod7</math>
| |
| − | である。
| |
| − | | |
| − | === まとめ ===
| |
| − | | |
| − | {| class="wikitable"
| |
| − | |-
| |
| − | ! '''Z''' の素数
| |
| − | ! '''Z'''[i] でどう分解するか
| |
| − | ! 惰性群
| |
| − | ! 分解群
| |
| − | |-
| |
| − | | 2
| |
| − | | 指数 2 で分岐
| |
| − | | G
| |
| − | | G
| |
| − | |-
| |
| − | | p ≡ 1 mod 4
| |
| − | | 2つの異なる因子へ分解
| |
| − | | 1
| |
| − | | 1
| |
| − | |-
| |
| − | | p ≡ 3 mod 4
| |
| − | | 惰性が残る
| |
| − | | 1
| |
| − | | G
| |
| − | |}
| |
| − | | |
| − | == 分解の計算 ==
| |
| − | | |
| − | O<sub>K</sub> での素イデアル P の O<sub>L</sub> での分解を計算したい。拡大 L/K は有限次'''分離的'''拡大とする。ガロア拡大の定義の中にある正規性の前提は、必ずしも必要ではない。
| |
| − | | |
| − | 次の方法により(Neukirch, p. 47)多くの場合のこの問題をとくことができる。方法は、まず、O<sub>L</sub> の中の整数 θ を選択し L が θ により K 上に生成されるようにし（そのような θ は[[原始元の定理]]により存在が保証されている）、次に、K 上の θ の[[最小多項式 (体論)|最小多項式]] H(X) を試す。最小多項式は、O<sub>K</sub> に係数を持つ単項式である。H(X) modulo P と係数を還元すると、（有限）剰余体 O<sub>K</sub>/P である F に係数を持つ単項式 h(X) を得る。h(X) が多項式環 F[X] で
| |
| − | : <math> h(X) = h_1(X)^{e_1} \cdots h_n(X)^{e_n}</math>
| |
| − | と分解すると仮定する。ここに、h<sub>j</sub> は F[X] の中で異なる既約な単項式である。すると、P が有限個の例外素数（詳しい条件は以下に示す）の一つではない場合は、P の分解は次の形となる。
| |
| − | : <math> P O_L = Q_1^{e_1} \cdots Q_n^{e_n}\ .</math>
| |
| − | ここに、Q<sub>j</sub> は O<sub>L</sub> の異なるイデアルである。さらに、Q<sub>j</sub> の各々の惰性群の次数hは、対応する多項式 h<sub>j</sub> の次数にひとしく、Q<sub>j</sub> に対し、明白な公式
| |
| − | : <math> Q_j = P O_L + h_j(\theta) O_L</math>
| |
| − | が存在する。
| |
| − | | |
| − | ガロア拡大の場合は、惰性群の次数はみな等しく、分岐指数は e<sub>1</sub> = ... = e<sub>n</sub> とみな等しくなる。
| |
| − | | |
| − | 上の結果が必ずしも成立しない例外的な素数は、環 O<sub>K</sub>[θ] の[[導手]]に相対的に素な素数である。導手はイデアル
| |
| − | : <math> \{ y \in O_L : yO_L \subseteq O_K[\theta]\}</math>
| |
| − | として定義され、どのくらい[[整数環]](order) O<sub>K</sub>[θ] が全体の整数環（最大整数環）O<sub>L</sub> から隔たっているかを測る。
| |
| − | | |
| − | 重要な注意として、上記前提を持たす θ が'''存在しない'''ような L/K と P の例が存在することである。（例えば、<ref>http://modular.math.washington.edu/papers/undergrad/decomp/decomp/node4.html</ref>を参照）従って、上記のアルゴリズムはそのような P を要素として使用できなく、例えば、<ref>http://modular.math.washington.edu/papers/undergrad/decomp/decomp/node3.html</ref>に記載されているような、さらに複雑なアプローチを使う必要がある。
| |
| − | | |
| − | === ひとつの例 ===
| |
| − | | |
| − | ガウスの整数の場合を再び考える。θ を虚数の単数 i ととると、最小多項式は、H(X) = X<sup>2</sup> + 1 である。'''Z'''[<math>i</math>] は '''Q'''(<math>i</math>) の全整数環であるので、例外的な素数は存在しない。
| |
| − | | |
| − | P = (2) に対し、体 '''Z'''/(2)'''Z''' の中で多項式 X<sup>2</sup> + 1 modulo 2 の分解を考えると、
| |
| − | : <math>X^2 + 1 = (X+1)^2 \pmod 2</math>
| |
| − | である。従って、次数が 1 であり分岐指数が 2 である唯一の素因子が存在し、
| |
| − | : <math>Q = (2)\mathbf Z[i] + (i+1)\mathbf Z[i] = (1+i)\mathbf Z[i]</math>
| |
| − | により与えられる。
| |
| − | | |
| − | 次の場合は p ≡ 3 mod 4 である素数に対する P = (p) である。具体的に、P = (7) をとると、多項式 X<sup>2</sup> + 1 は modulo 7 で既約であるので、惰性次数が 2 で分岐指数が 1 である唯一の素因子が存在し
| |
| − | : <math>Q = (7)\mathbf Z[i] + (i^2 + 1)\mathbf Z[i] = 7\mathbf Z[i]</math>
| |
| − | により与えられる。
| |
| − | | |
| − | 最後の場合である素数 p ≡ 1 mod 4 の場合の P = (p) については、再び P = (13) ととる。今度は、分解が￥して
| |
| − | : <math>X^2 + 1 = (X + 5)(X - 5) \pmod{13}</math>
| |
| − | となるので、'''2つの'''素因子が存在し、惰性群の次数と分岐指数が 1 となる。それらは、
| |
| − | : <math>Q_1 = (13)\mathbf Z[i] + (i + 5)\mathbf Z[i] = \cdots = (2+3i)\mathbf Z[i]</math>
| |
| − | と
| |
| − | : <math>Q_2 = (13)\mathbf Z[i] + (i - 5)\mathbf Z[i] = \cdots = (2-3i)\mathbf Z[i]</math>
| |
| − | で与えられる。
| |
| − | | |
| − | == 外部リンク ==
| |
| − | | |
| − | * {{planetmath_reference|id=6818|title=Splitting and ramification in number fields and Galois extensions}}
| |
| − | * {{Citation| url=http://modular.math.washington.edu/129/ant/ | author=William Stein | title=A brief introduction to classical and adelic algebraic number theory}}
| |
| − | | |
| − | == 脚注 ==
| |
| − | {{Reflist}}
| |
| − | | |
| − | == 参考文献 ==
| |
| − | | |
| − | * {{Neukirch ANT}}
| |
| − | | |
| − | {{DEFAULTSORT:かろあかくたいにおけるそいてあるのふんかい}}
| |
| − | [[Category:代数的整数論]]
| |
| − | [[Category:ガロア理論]]
| |
| − | [[Category:数学に関する記事]]
| |