数学において、ディリクレの単数定理(Dirichlet's unit theorem)は、ペーター・グスタフ・ディリクレ(Peter Gustav Dirichlet)による代数的整数論の基本的結果である。ディリクレの単数定理は、代数体 K の代数的整数の環 O の単数群のランク(rank)を決定する。レギュレータ(regulator)（もしくは、単数基準ともいう）は、どれくらい単数の「密度」があるかを決める正の実数である。ディリクレの単数定理は、単数群が有限生成であり、ランク(rank)（乗法的に独立な元の最大数）がに等しいことを言っている。ここに r は、K の実埋め込みの数で、r は複素埋め込みの共役ペアの数である。この r と r の特徴付けは、複素数体への K の埋め込みが次数 n = [K : Q] と同じだけあるという考え方を基礎としている。これらの埋め込みは、実数への埋め込みか、または、複素共役のペアとなる埋め込みのいずれかであるので、となる。K が Q 上のガロア拡大であれば、r と r のいずれかは 0 でないが、双方とも 0 でないことはないことに注意する。r と r を決定する他の方法は、例として、K を二次体とすると、実二次体ではランクは 1 であり、虚二次体ではランクは 0 である。実二次体の理論は本質的には、ペル方程式の理論である。全ての数体に対し、ランクが 0 である Q と虚二次体を除き、ランクは > 0 である。単数の「サイズ」は一般にレギュレータ（単数基準）と呼ばれる行列式により測られる。原理的には、単数の基底は有効に計算することができて、実践的では、n 大きなときには計算は非常に複雑である。単数群の捩れ(torsion)は、K の 1 のすべての冪根の集合で、有限巡回群となる。少なくとも 1つの実埋め込みを持つ数体では、捩れは {1,−1} となるはずである。虚二次体のように、単数群の捩れが {1,−1} であるような実埋め込みを持たない数体もある。総実体は単数の観点からは特別に重要である。L/K を次数が 1 より大きな有限次拡大として、L の単数群と K の単数群が同じランクとすると、K は総実で、L は総虚な二次拡大となる。逆もまた正しい。（例として、K が有理数体、L が虚二次体の場合、双方ともランク 0 である。）ヘルムート・ハッセ(Helmut Hasse)により（後日、クロード・シュヴァレー(Claude Chevalley)により）、単数定理は一般化され、整数環の局所化での単数群のランクを決定する(S-unit)の群の構造が記述された。また、ガロア加群構造 formula_1 が決定された。u, ..., u を 1 のべき根をmoduloとした単数群の生成元の集合とする。u が代数的数であれば、u, ..., u を R や C への埋め込みとして、N をそれぞれ実埋め込み複素埋め込みに対応して 1, 2 とすると、各要素が formula_2 である r × (r + 1) の行列は、どの行の和も 0 であるという性質をもつ（何故ならば、全ての単数はノルムが 1 であり、ノルムの log は、行の要素の和とであるからである）。このことは一つ列を削除することにより作られる部分行列の行列式の絶対値 R が列に依存しないことを意味する。数値 R は代数体のレギュレータ(regulator)（あるいは、単数基準）と呼ばれる（この値は u の選択には依存しない）。この値は、単数の「密度」を測り、レギュレータが小さいことは単数が多くあることを意味する。レギュレータは次のような幾何学的な解釈を持つ。単数 u を行列の要素 formula_3 へ写す写像は、R の r 次元部分空間の中に像を持ち、要素の和が 0 となる全てのベクトルからなり、ディリクレの単数定理により像はこの空間の中の格子となる。この格子の基本領域の体積は、R√(r+1) である。次数が 2 以上の代数体のレギュレータは、現在は多くの場合に計算機代数のパッケージがあるが、普通、計算することが非常に難しい。普通は類数公式を使い類数 h にレギュレータをかけた積 hR を計算することは簡単であり、代数体の類数の計算の主な困難はレギュレータを計算することにある。高次レギュレータは、n > 1 に対して、古典的な単数基準が単数群でなした役割をもつ代数的K-群上の函数を構成することである。これは群 K である。そのようなレギュレータの理論は、発達してきていて、アルマン・ボレル(Armand Borel)や他の人たちが研究している。そのようなレギュレータは、例えばベイリンソン予想(Beilinson conjectures)で活躍し、議論の中で整数でのあるL-函数の評価していくことが期待されている。スターク予想の定式化により、ハロルド・スターク(Harold Stark)は、現在はスタークレギュレータ(Stark regulator)と呼ばれているものを提唱した。彼は、古典的なレギュレータの類似物として、任意の(Artin representation)に対応する単数の log の行列式として、スタークレギュレータを提唱した。K を数体とし、K の各々の固定された有理素点上の素点(prime) P とし、U で P での局所単数を表すとし、U で U の中での主単数の部分群を表すとする。さらに、と置き、E で大域的単数 in E の対角埋め込みを通して U へ写す大域的単数 ε の集合を表すとする。formula_6 は大域的単数の有限指数(index)であるので、大域的単数群はランク formula_7 のアーベル群である。p-進レギュレータ(p-adic regulator)は、この群の生成元の p-進対数により形成された行列の行列式である。(Leopoldt's conjecture)は、この行列式は 0 ではないことを予想している。

出典:wikipedia