|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 拡大 ： [かくだい] 1. (n,vs) magnification 2. enlargement ・ 素 ： [もと] 1. (n,n-suf,n-t) (1) origin 2. basis 3. foundation ・ 分 ： [ぶん, ふん] 1. (n,n-suf,pref) (1) part 2. segment 3. share 4. ration 5. (2) rate 6. (3) degree 7. one's lot 8. one's status 9. relation 10. duty 1 1. kind 12. lot 13. (4) in proportion to 14. just as much as 1 ・ 分解 ： [ぶんかい] 1. (n,vs) analysis 2. disassembly
数学では、代数体 のガロア拡大 のガロア群 と整数環 の素イデアル を の素イデアルの積として分解する方法との間の関係は、代数的整数論の最も豊かな部分のひとつとなっている。ガロア拡大での素イデアルの分解は、ダフィット・ヒルベルトが貢献しているので、ヒルベルトの理論 (Hilbert theory) と呼ばれる。リーマン面の分岐被覆に対し、幾何学的な類似も存在していて、素イデアルの分解を考えるよりも の部分群の一種を考えることのほうがより容易である。この問題は、ヒルベルトよりも前から確かに知られてはいた。 == 定義 == ''L'' / ''K'' を数体の有限次拡大とし、''B'' と ''A'' をそれぞれ ''L'' と ''K'' に対応する整数環とする。整数環は、各々の体における整数環 Z の整閉包と定義する。 : 最後に、''p'' を ''A'' のゼロでない素イデアルとする、同じことであるが、極大イデアルであるとする。このとき剰余環 ''A''/''p'' は体である。 クルル次元が 1 である環の基本理論より、''p'' により生成された ''B'' のイデアル ''pB'' の分解は、一意に : と重複度 ''e''(''j'') を持つ互いに異なる極大イデアル ''Pj'' の積へと分解される。 重複度 ''e''(''j'') は ''p'' での拡大の分岐指数 (ramification index) と呼ばれる。それらが全て 1 に等しい場合、体の拡大 ''L''/''K'' は ''p'' で不分岐であると呼ぶ。 この場合は、中国の剰余定理により、商 : は、体 : の積となる。
|