Strukturbeschreibung der Einheitengruppe O_K^× des Ganzheitsrings eines Zahlkörpers K: O_K^× ist das direkte Produkt der endlichen Gruppe der Einheitswurzeln in K und einer freien abelschen Gruppe vom Rang r+s−1, wobei r die Zahl der reellen Einbettungen und s die Zahl der Paare komplexer Einbettungen ist.

Prinzip

Einheiten zerfallen in Torsion (Wurzeln der Einheit) und einen unendlichen Teil mit Rang, der durch die Signatur des Körpers bestimmt wird; reelle und komplexe Einbettungen steuern den Rang durch die Formel Rang = r + s − 1.

Demonstration

Beispiel: für K=Q(√2) gilt r=2, s=0, sodass die Einheitengruppe μ(K)×Z mit μ(K)={±1} ist; eine fundamentale Einheit ist 1+√2, die den unendlichen zyklischen Teil erzeugt.

Fehlanwendung

Zu glauben, die Einheitengruppe sei für jeden Zahlkörper endlich oder der Satz liefere allgemeingültig explizite Erzeuger und kleine fundamentale Einheiten; der Satz ist strukturell und liefert nicht in allen Fällen effektive minimale Erzeuger.

Konsequenz

Er gibt die Existenz einer endlich erzeugten Beschreibung von O_K^×, bildet die Grundlage für den Regulator und ist eine grundlegende Eingabe in Klassenanzahlausdrücke sowie effektive Methoden in arithmetischer Geometrie und diophantischen Gleichungen.

Umkehrung

Die umgekehrte Sichtweise betont Körper mit Rang null (z. B. imaginär-quadratische Körper), bei denen die Einheitengruppe endlich ist und nur aus Einheitswurzeln besteht; der unendliche Teil verschwindet und die Arithmetik verhält sich anders.

Abgrenzung

Gilt nur für Zahlkörper (endliche Erweiterungen von Q) und deren Ganzheitsringe; er gilt nicht unverändert für globale Funktionenkörper (wo sich die Signatur ändert) oder für Ringe, die keine Dedekindringe sind oder unendlichen Grad haben.

Semantische Spannung

Spannung besteht hinsichtlich der Naivität gegenüber Effektivität: Der Satz liefert Rang und Torsionsstruktur, nicht jedoch allgemein kleine fundamentale Einheiten; diese Unterscheidung wird oft verwechselt mit der effektiven Konstruktion von Erzeugern.

Synthese

Der Dirichlet-Einheitensatz besagt, dass die multiplikative Gruppe der algebraischen Ganzheiten sich in eine endliche Torsionsgruppe und ein freies abelsches Gitter von Rang, bestimmt durch die reellen und komplexen Stellen des Körpers, zerlegt und liefert so ein kanonisches strukturelles Invariante (den Regulator) für die arithmetische Analyse.