高木の存在定理

類体論の高木の存在定理（たかぎのそんざいていり、Takagi existence theorem）とは、代数体 の一般化されたイデアル類群に対してそれに対応する の有限次アーベル拡大が存在するという定理である。高木貞治によって証明された一種の存在定理である。
定式化.
モジュラスとは（または射因子(ray divisor)とも言う）、正の整数の指数をもつ の付値（また、素点(place)、素因子(prime)とも言う）の形式的有限積のことを言う。モジュラスの中に現れるアルキメデス的な付値（無限素点ともいう）は、完備化が複素数ではなく実数になるもののみを含む。そのような無限素点は の順序と対応し、モジュラスにおいては必ず指数 1 である。
モジュラス は、非アルキメデス的（有限）付値部分 とアルキメデス的（無限）付値部分 の積である。有限部分 は の整数環 のゼロでないイデアルと対応し、無限部分 は の実埋め込みいくつかの集合に対応する。モジュラス にたいして次の二つの群 および を次のように定める。 は と互いに素な全ての分数イデアルの群である（ に現れる全ての素イデアルを含まないという条件で、ここには無限部分に対する条件は課さない）。 は のうちで主分数イデアル であって次の条件をみたすもののなす部分群である。ここで と 、 の各々の整環の中で と互いに素であり、 であり、 に属する全ての順序に対し であるような のゼロでない元である。
（ の定義としてはある生成元があたえられた条件をみたせばよい、ということに注意する。例えば、 を有理数体として とする。イデアル (3) は 3/1 を生成元としてとるとこれは 3 と 1 は mod 4 で等しくないので条件はみたさないが、-3/1 をその生成元としてとれば -3 と 1 mod 4 で等しく、これは条件をみたす。したがってイデアル (3) は に属する。一方で -3/1<0 であるため、(3) は には属さない。）
 と の間にある任意の群 を 𝔪 を法とする合同群と呼び、商 を一般化されたイデアル類群と呼ぶ。
を有限次拡大とする。
の部分群
を
の分数イデアルのノルムになっているような元全体として定める。これは
（ は の素イデアルで
と互いに素なもの、 は体拡大
におけるこれの上にある素イデアルの剰余次数）で生成される
の部分群である。
と置く。これは を法とする合同群で、拡大 に対する合同群と呼ばれる。
高木の存在定理とは、 の任意の合同群 に対して となるようなアーベル拡大 が存在するという定理である。アルティン相互法則を使って、これを「一般化されたイデアル類群 とガロア群がアルティン写像によって同型となるような のアーベル拡大が存在する」と言い表すこともできる。
正確な対応.
類体論の主結果は、一般化されたイデアル類群とアーベル拡大は一対一に対応する、と要約できる。この主張は存在定理を含み、さらに基本定理などの類体論のその他の定理も含む主張である。
厳密には、上で述べた の有限アーベル拡大と一般化されたイデアル類群との間の対応は 1 対 1 の対応ではない。実際、異なるモジュライから定義された一般化されたイデアル類群が、同じアーベル拡大を作ることがありうる。たとえば を有理数体としよう。アーベル拡大体 がある円分体にふくまれるとき、その円分体をふくむ無限に多くの円分体にも同時にふくまれる。その円分体の各々に対して、適切に一般化されたイデアル類群をとることにより、もとの に対応するガロア群の部分群を得ることができる。このことをふまえて適切に一般化されたイデアル類群たちの間に同値関係を定める必要がある。
類体論のイデール的な定式化の中で、アーベル拡大と適切なイデール群の間の 1 対 1 の対応が得られる。そこではイデール論的なことばで一般化された同値イデアル類群とイデールの同一の群が対応する。
類体論の初期の仕事.
存在定理の特別な場合は、 で の場合である。この場合には、一般化されたイデアル類群は のイデアル類群であり、 が の全ての素因子で不分岐であるような のイデアル類群に同型なガロア群を持つアーベル拡大 が一意に存在することを存在定理は言っている。この体の拡大をヒルベルト類体という。ヒルベルト類体の存在はダフィット・ヒルベルトにより予想され、その特別な場合の存在は高木の一般的な存在定理に先立ち、1907年フィリップ・フルトヴェングラーにより証明されていた。
ヒルベルト類体のさらに特別な性質は、もともとの代数体 K のイデアルはヒルベルト類体へ引き戻すと主イデアルとなるというものである。この主イデアル化が起きることの証明は、エミール・アルティンとフルトヴェングラーが行った。
歴史.
存在定理は高木貞治の論文 で証明された。その後、高木は「アーベル拡大すなわち類体」という類体論の基本定理に到達し、結果を にまとめた。これらの研究は第一次世界大戦の最中になされ、1920年の国際数学者会議で発表された。1920年代の類体論の古典的理論の発展に主導的な役割を果たした。ヒルベルトの要請で、論文は1925年にMathematische Annalenで出版された。