Class field theoryとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Class field theoryの意味・解説 

類体論

(Class field theory から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/07/07 00:32 UTC 版)

複素平面内の 1 の 5 乗根。これらの根を有理数体に添加すると、アーベル拡大が生成される。

数学における類体論(るいたいろん、: class field theory, : Klassenkörpertheorie)は、代数的整数論の理論。代数体アーベル拡大を一般化されたイデアル類群イデール類群といったその体に内在的な数学的対象と関係付け分類・記述する。

有限体上の代数曲線函数体局所体に対しても同様の理論が成り立ち、類体論という言葉はこれらの理論の総称としても用いられる。

概説

高木-アルティンの類体論は, 特にガウス以降19世紀を通して創りあげられたドイツ数学が荘厳華麗に結晶させた「凍れる音楽」であり, …
三宅克哉「アルティンの相互法則について」(PDF)『近現代数学史, 第2回数学史シンポジウム報告集』1992年、44頁https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo02/2_4miyake.pdf 
Class field theory has a reputation for being difficult, which is partly justified. But it is necessary to make a distinction: there is perhaps nowhere in science a theory in which the proofs are so difficult but at the same time the results are of such perfect simplicity and of such great power.
<翻訳>類体論は難しいという評判である。これは確かに一理あるが、ただ難しいだけなのではない。結果が完全な簡明さと強力さを兼ね備えているにもかかわらず、証明が難解なのだ。全科学を見渡しても類体論ほどこのような特徴を備えている理論は他には見つからないだろう。
ジャック・エルブラン, Milne (2020, p. 147)

Kガロア拡大であってそのガロア群アーベル群であるものを K のアーベル拡大という。例えば二次拡大円分拡大クンマー拡大などがアーベル拡大の例である。

類体論とは、K が代数体の場合にそのアーベル拡大という K外部の対象がどれだけ存在しどのような性質を持つかを K内在的な数学的対象で記述できることを示した理論である。

古典的なイデアル論を用いた定式化では、内在的な数学的対象として一般化されたイデアル類群というものが用いられる。有限次アーベル拡大 L/K があると、これに対応する一般化されたイデアル類群が定まり、アルティン写像によってこのイデアル類群とガロア群 Gal(L/K) は同型になる。これをアルティン相互法則という。逆に、一般化されたイデアル類群があると、対応する有限次アーベル拡大が定まり、同様のことが成り立つ。これを高木の存在定理という。このようにして「有限次アーベル拡大」と「一般化されたイデアル類群」が一対一に対応するというのが類体論の主要な結果である。

{ 有限次アーベル拡大 } ← 1:1 → { 一般化されたイデアル類群 }

通常の意味でのイデアル類群も一般化されたイデアル類群の一つであるので、これに対応するアーベル拡大が存在する。このアーベル拡大は最大不分岐アーベル拡大という性質を持っている。これには特別にヒルベルト類体という名前がつけられている。

類体論は有限次アーベル拡大を分類するだけではなく、アルティン相互法則によって各アーベル拡大での素イデアルの分解の様相も教えてくれる。素イデアルがあると、フロベニウス元と呼ばれるガロア群の元が定まる。素イデアルの分解の様相はこの元を見ればわかる。アルティン相互法則によってフロベニウス元に対応する一般化されたイデアル類群の元が定まる。これは元の素イデアルの剰余類である。よってこの剰余類をみれば素イデアルの分解の様相が分かる。このことは二次体における素数の因数分解の様子を完全に与える二次の相互律の広範な一般化になっている。三次の相互律といったようなより高次の「冪剰余の相互律」もアルティン相互法則から導くことができる。数論的にはこの点も重要である。

「類体論」という名称は一般化されたイデアル類群に対応するアーベル拡大を類体と呼んでいたことにちなむ。類体は特別な有限次アーベル拡大体と思われていたが、予期に反して有限次アーベル拡大体はすべて類体であることが判明した。標語的に言えば有限次アーベル拡大=類体である。類体論の研究対象が任意のアーベル拡大であるのはこのためである。

有限次アーベル拡大を個別に一般化されたイデアル類群に対応させるのではなく、K の有限次アーベル拡大をすべて合成した最大アーベル拡大 Kab のガロア群を直接記述する方法も知られている。有限次代数体の場合、その最大アーベル拡大のガロア群 Gal(Kab/K) は無限群になるが、クルル位相により位相群とみたときこれは副有限群の構造を持つ。現代的な類体論の定式化では、イデール類群イデール群を体の乗法群で割ったもの)と呼ばれる K から(おおよそ)内在的に定まる位相群から Gal(Kab/K) への相互律準同型(reciprocity homomorphism)と呼ばれる準同型が構成される。ガロア対応により有限次アーベル拡大は Gal(Kab/K) の開部分群と一対一対応し、相互律準同型によりそれはイデール類群の開部分群と一対一対応する。有限次アーベル拡大に対応するイデール類群の開部分群は、その有限次アーベル拡大体のイデール類群のノルム写像による像として特徴づけられる。

{ 有限次アーベル拡大 }
↕ 1:1
{ Gal(Kab/K) の開部分群 }
↕ 1:1
{ イデール類群の開部分群 }

代数体に対する類体論は、1910年代から1920年代にかけて、高木貞治エミール・アルティンらによって証明された。その後、1930年代以降に大域体の完備化である局所体についても同様の理論が確立された。これは局所類体論英語版と呼ばれている。局所類体論では局所体 K の乗法群 K× を用いてそのアーベル拡大が分類・記述される。また有限体上の一変数代数関数体に対しても同様の理論が確立された。有限体上の一変数代数関数体と代数体はまとめて大域体もしくは一次元大域体と呼ばれるので、これらに対する類体論は大域類体論と呼ばれる。

代数体についての類体論の元々の証明は、代数体に対して直接類体論を証明するというものだった。その後、局所体類体論を使って証明するという手法が確立された。現代の類体論の教科書ではこの手法による証明を採用しているものが多くある。

イデアルを使った定式化

類体論の主要な結果は少し用語と記号を準備すれば簡単に述べることができる。以降、この節を通して K は任意の有限次代数体を表すものとする。

用語と記号

代数体 K のすべての素点 𝔭 をわたる形式的な無限積 𝔪 = ∏𝔭 𝔭n𝔭 で次の3条件を満たすものを(K の)モジュラス英語版[1]という。

  • n𝔭 ≧ 0
  • ほとんどすべての 𝔭 に対して n𝔭 = 0
  • 無限素点 𝔭 については n𝔭 が0もしくは1

モジュラスに対して、約数倍数最大公約数最小公倍数、割り切れる、素点の指数、などの概念が自然に定義される[2]K の整数環の0ではないイデアルは素イデアル分解を使って自然にモジュラスとみなせる。

モジュラス 𝔪有限素点だけを取り出したものを 𝔪0 = ∏𝔭∤∞ 𝔭n𝔭 と書く[3]。ここで、素点 𝔭 が有限素点であることを 𝔭∤∞、無限素点であることを 𝔭∣∞ と表している[4]𝔪0𝔪有限部分(finite part)という[1]。これは自然に Kイデアルと思える。

K の分数イデアルで 𝔪 の有限部分と互いの素なもの全体を I𝔪 と置く。これは自然に群になる。群としての構造は 𝔪 と互いに素な素イデアルを底とする自由アーベル群である。

I𝔪 の部分群 P𝔪(α/β) という形の単項イデアル全体とする[1]。ここで αβK の0ではない整数で以下の条件を満たすものである。

  • αβ𝔪0 と互いに素
  • αβ mod 𝔪0
  • 実素点 𝔭 に対して α𝔭/β𝔭 > 0。ここで K の元 γ に対して γ𝔭 で実素点 𝔭 による γ の像を表している。

包含関係 I𝔪HP𝔪 にある群 H𝔪 を法とする合同群(congruence subgroup modulo 𝔪)と呼ぶ [5]

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

さらに L/K はアーベル拡大であったとする。この拡大で不分岐な K の素イデアル 𝔭 に対してそのフロベニウス元を (L/K/𝔭) ∈ Gal(L/K) と書く。L/K で分岐する素イデアルを含まない分数イデアル 𝔞 に対しても、素イデアル分解を使って (L/K/𝔞) を定義する。この記号をアルティン記号(Artin symbol)と呼ぶ。モジュラス 𝔪L/K で分岐する素イデアルすべてで割り切れるなら、アルティン記号により I𝔪 から Gal(L/K) への群準同型が定義される。これをアルティン写像(Artin map)と呼ぶ[8]

類体論の主結果

類体論の主結果は次の相互法則と存在定理である。

相互法則

代数体の任意の有限次アーベル拡大 L/K に対して、この拡大で分岐するすべての(有限及び無限[注釈 1])素点で割り切れるモジュラス 𝔪 が存在し、このモジュラスに対してアルティン写像は全射かつその核はこの拡大の合同群と等しい。したがってアルティン写像から同型


「Class field theory」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


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

辞書ショートカット

すべての辞書の索引

「Class field theory」の関連用語


2
30% |||||




6
14% |||||





Class field theoryのお隣キーワード
検索ランキング

   

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



Class field theoryのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの類体論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS