高木の存在定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 高木の存在定理の意味・解説 

高木の存在定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/12/06 07:50 UTC 版)

類体論高木の存在定理(たかぎのそんざいていり、Takagi existence theorem)とは、代数体 K一般化されたイデアル類群に対してそれに対応する K の有限次アーベル拡大が存在するという定理である[1]高木貞治によって証明された一種の存在定理である。

定式化

モジュラスとは(または射因子(ray divisor)とも言う)、正の整数の指数をもつ K付値(また、素点(place)、素因子(prime)とも言う)の形式的有限積のことを言う。モジュラスの中に現れるアルキメデス的な付値(無限素点ともいう)は、完備化が複素数ではなく実数になるもののみを含む。そのような無限素点は K の順序と対応し、モジュラスにおいては必ず指数 1 である。

モジュラス 𝔪 は、非アルキメデス的(有限)付値部分 𝔪f とアルキメデス的(無限)付値部分 𝔪 の積である。有限部分 𝔪fK整数環 𝒪K のゼロでないイデアルと対応し、無限部分 𝔪K の実埋め込みいくつかの集合に対応する。モジュラス 𝔪 にたいして次の二つの群 I𝔪 および P𝔪 を次のように定める。I𝔪𝔪 と互いに素な全ての分数イデアルの群である(𝔪f に現れる全ての素イデアルを含まないという条件で、ここには無限部分に対する条件は課さない)。P𝔪I𝔪 のうちで主分数イデアル (u/v) であって次の条件をみたすもののなす部分群である。ここで uv𝔪 の各々の整環の中で 𝔪f と互いに素であり、uv mod 𝔪f であり、𝔪 に属する全ての順序に対し u/v > 0 であるような 𝒪K のゼロでない元である。

P𝔪 の定義としてはある生成元があたえられた条件をみたせばよい、ということに注意する。例えば、K を有理数体として 𝔪 = (4) とする。イデアル (3) は 3/1 を生成元としてとるとこれは 3 と 1 は mod 4 で等しくないので条件はみたさないが、-3/1 をその生成元としてとれば -3 と 1 mod 4 で等しく、これは条件をみたす。したがってイデアル (3) は P4 に属する。一方で -3/1<0 であるため、(3) は P4∞ には属さない。)

I𝔪P𝔪 の間にある任意の群 H𝔪 を法とする合同群と呼び[2]、商 I𝔪/H一般化されたイデアル類群と呼ぶ[3]

L/K を有限次拡大とする。I𝔪 の部分群 N𝔪(L/K)L の分数イデアルのノルムになっているような元全体として定める。これは 𝔭f𝔭K の素イデアルで 𝔪 と互いに素なもの、f は体拡大 L/K におけるこれの上にある素イデアルの剰余次数)で生成される I𝔪 の部分群である[4]H𝔪(L/K) = P𝔪N𝔪(L/K) と置く。これは 𝔪 を法とする合同群で、拡大 L/K に対する合同群と呼ばれる[5]

高木の存在定理とは、K の任意の合同群 H に対して H = H𝔪(L/K) となるようなアーベル拡大 L が存在するという定理である[6]アルティン相互法則を使って、これを「一般化されたイデアル類群 I𝔪/H とガロア群がアルティン写像によって同型となるような K のアーベル拡大が存在する」と言い表すこともできる。

正確な対応

類体論の主結果は、一般化されたイデアル類群とアーベル拡大は一対一に対応する、と要約できる[7][注釈 1]。この主張は存在定理を含み、さらに基本定理などの類体論のその他の定理も含む主張である[7]

厳密には、上で述べた K の有限アーベル拡大と一般化されたイデアル類群との間の対応は 1 対 1 の対応ではない。実際、異なるモジュライから定義された一般化されたイデアル類群が、同じアーベル拡大を作ることがありうる。たとえば K有理数体としよう。アーベル拡大体 L がある円分体にふくまれるとき、その円分体をふくむ無限に多くの円分体にも同時にふくまれる。その円分体の各々に対して、適切に一般化されたイデアル類群をとることにより、もとの L に対応するガロア群部分群を得ることができる。このことをふまえて適切に一般化されたイデアル類群たちの間に同値関係を定める必要がある。

類体論のイデール的な定式化の中で、アーベル拡大と適切なイデール群の間の 1 対 1 の対応が得られる[注釈 2]。そこではイデール論的なことばで一般化された同値イデアル類群とイデールの同一の群が対応する。

類体論の初期の仕事

存在定理の特別な場合は、𝔪 = (1)H = P(1) の場合である。この場合には、一般化されたイデアル類群は Kイデアル類群であり、LK の全ての素因子で不分岐であるような K のイデアル類群に同型なガロア群を持つアーベル拡大 L/K が一意に存在することを存在定理は言っている。この体の拡大をヒルベルト類体という。ヒルベルト類体の存在はダフィット・ヒルベルトにより予想され、その特別な場合の存在は高木の一般的な存在定理に先立ち、1907年フィリップ・フルトヴェングラーにより証明されていた。

ヒルベルト類体のさらに特別な性質は、もともとの代数体 K のイデアルはヒルベルト類体へ引き戻すと主イデアルとなるというものである。この主イデアル化が起きることの証明は、エミール・アルティンとフルトヴェングラーが行った。

歴史

存在定理は高木貞治の論文 Takagi (1915) で証明された[8]。その後、高木は「アーベル拡大すなわち類体」という類体論の基本定理に到達し、結果を Takagi (1920) にまとめた[9]。これらの研究は第一次世界大戦の最中になされ、1920年の国際数学者会議で発表された。1920年代の類体論の古典的理論の発展に主導的な役割を果たした。1925年頃、ヒルベルトから高木に類体論の論文をMathematische Annalen(マテマティシュ・アナーレン、数学年鑑とも訳される[10])に掲載したいという申し出があった[11]が、結局掲載はされなかった[12]

脚注

注釈

  1. ^ Advanced Topics in Computational Number Theory. p. 154. https://books.google.co.jp/books?id=OFjdBwAAQBAJ&pg=PA154  では「高木の存在定理」という節にアーベル拡大と合同群の 1 対 1 対応を主張する定理が掲載されている。
  2. ^ Neukirch (1999, pp. 395–396) では、この 1 対 1 対応の主な主張が存在に関する主張であるとして、この 1 対 1 対応が成立することを存在定理と呼んでいる。

出典

  1. ^ 数学の最先端 21世紀への挑戦, 第 2 巻, p. 55, - Google ブックス
  2. ^ Milne 2020, p. 158.
  3. ^ Conrad, p. 5. ただし、この文献では I𝔪 と総正な元を生成元に持つ単項イデアルのなす群の間の群に対してだけ「一般化されたイデアル類群」という言葉を定義している。
  4. ^ Milne 2020, p. 157.
  5. ^ Conrad, p. 9; 加塩 2015, p. 30.
  6. ^ Conrad, p. 10.
  7. ^ a b Hasse 1967, p. 271.
  8. ^ 高木 1971, p. 171.
  9. ^ 河田, p. 138.
  10. ^ 高瀬 2014, p. 235.
  11. ^ 高木 1940.
  12. ^ 高瀬 2014, pp. 282f.

参照項目

参考文献

  • Hasse, Helmut (1967), “History of Class Field Theory”, in Cassels, J. W. S.; Fröhlich, A., Algebraic Number Theory, Academic Press, pp. 266–279  (See also the rich bibliography attached to Hasse's article.)
  • Takagi, Teiji (1915). “Zur Theorie der relativ-Abel'schen Zahlkörper, II”. Tokyo Sugaku-Buturigakkwai Kizi Dai 2 Ki 8 (8): 243–254. doi:10.11429/ptmps1907.8.8_243. 
  • Takagi, Teiji (1920). Ueber eine Theorie des relativ Abel'schen Zahlkorpers. Inperial University of Tokyo. doi:10.15083/00037701. 

外部リンク


高木の存在定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/14 14:54 UTC 版)

日本の発明・発見の一覧」の記事における「高木の存在定理」の解説

高木存在定理は、第一次世界大戦中高木貞治単独開発したもので、1920年国際数学者会議発表した

※この「高木の存在定理」の解説は、「日本の発明・発見の一覧」の解説の一部です。
「高木の存在定理」を含む「日本の発明・発見の一覧」の記事については、「日本の発明・発見の一覧」の概要を参照ください。

ウィキペディア小見出し辞書の「高木の存在定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「高木の存在定理」の関連用語

高木の存在定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



高木の存在定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの高木の存在定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの日本の発明・発見の一覧 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS