Dirichletscher Einheitensatz

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der nach Peter Gustav Lejeune Dirichlet benannte dirichletsche Einheitensatz ist eines der ersten Ergebnisse der algebraischen Zahlentheorie. Der Satz beschreibt die Struktur der Einheitengruppe des Ganzheitsringes eines algebraischen Zahlkörpers.

Formulierung[Bearbeiten]

Es sei K ein algebraischer Zahlkörper und \mathcal{O}_K sein Ganzheitsring. Dann ist die Einheitengruppe \mathcal{O}_K^\times endlich erzeugt, und der Rang ihres freien Anteils ist gleich

r + s - 1;

dabei ist r die Anzahl der Einbettungen K\to\mathbb R und s die Anzahl der Paare komplex-konjugierter Einbettungen K\to\mathbb C (die keine reellen Einbettungen sind). Ist die Erweiterung K/\mathbb{Q} galoissch, so ist r oder s gleich 0.

Der Torsionsanteil der Einheitengruppe ist die Gruppe der Einheitswurzeln in K.

Beweisskizze in einem Spezialfall[Bearbeiten]

Es sei K=\mathbb Q(\sqrt2)\subset\mathbb R (wir wählen also bereits eine reelle Einbettung); dann ist \mathcal{O}_K=\mathbb Z[\sqrt2], und die Einheitengruppe

\mathcal{O}_K^\times=\{x+y\sqrt2\mid x,y\in\mathbb Z,\quad x^2-2y^2=\pm1\}.

(Die Gleichung x^2-dy^2=\pm1 trägt den Namen pellsche Gleichung.)

In diesem Fall ist r=2 und s=0, der dirichletsche Einheitensatz sagt also voraus, dass der Rang von \mathcal{O}_K^\times gleich 1 ist.

Da beispielsweise 3+2\sqrt2 eine Einheit ist, die keine Einheitswurzel ist, muss der Rang mindestens 1 sein. Wäre der Rang größer, so könnte \mathcal{O}_K^\times\cap\mathbb R^\times_{>0} keine diskrete Untergruppe von \mathbb R^\times_{>0} sein, und man weiß, dass eine Untergruppe von \mathbb R^\times_{>0} entweder diskret oder dicht ist. Es gäbe also eine Einheit, die "ungefähr" 1 ist. Nun sind aber x+y\sqrt2 und x-y\sqrt2 zwei Zahlen, deren Produkt \pm1 ist, ist also die eine von ihnen ungefähr 1, so ist die andere ungefähr \pm1. Andererseits unterscheiden sie sich um die Zahl 2y\sqrt2, die "wesentlich" größer als der Abstand zwischen 1 und \pm1 ist, falls y\ne0 ist. Ist aber y=0, so ist offenbar x=\pm1, wir erhalten also nur die Einheitswurzeln \pm1\in \mathcal{O}_K^\times.