Ordnung (algebraische Zahlentheorie)

In der algebraischen Zahlentheorie ist eine Ordnung des Zahlkörpers ein Unterring von , der (via Multiplikation) als Endomorphismenring auf bestimmten Untergruppen von , den Gittern operiert, zugleich ist die Ordnung selbst ein spezielles Gitter. Die Begriffe Ordnung und Gitter spielen eine Rolle bei der Untersuchung von Teilbarkeitsfragen in Zahlkörpern und bei der Verallgemeinerung des Fundamentalsatzes der Arithmetik auf Zahlkörper. Diese Ideen und Begriffsbildungen gehen auf Richard Dedekind zurück. Die spezielleren Definitionen im ersten Teil des Artikels richten sich nach Leutbecher (1996). Danach wird eine Verallgemeinerung des Begriffes Ordnung nach Silverman (1986) beschrieben. Zur Unterscheidung von allgemeineren und abweichendenden Begriffen werden die spezielleren Begriffe auch als Dedekind-Gitter und Dedekind-Ordnung bezeichnet.

Definitionen

Ein Zahlkörper ist hier ein Erweiterungskörper des Körpers $\mathbb {Q}$ der rationalen Zahlen, der über den rationalen Zahlen eine endliche Dimension hat. Diese Dimension heißt Grad der Körpererweiterung.
Als Gitter im Zahlkörper bezeichnet man jede endlich erzeugte Untergruppe von , die eine $\mathbb {Q}$ -Basis von enthält. Äquivalent sind Gitter in die freien Untergruppen von mit Rang $[K:\mathbb {Q} ]$ .
Zwei Gitter und heißen (im weiteren Sinne) äquivalent, wenn es eine Zahl $\lambda\in K^{\times}$ gibt, mit der $\lambda\cdot M=N$ gilt, im engeren Sinne äquivalent, wenn ein solches $\lambda$ sogar in $\mathbb {Q}$ existiert.
Die Ordnung ${\mathcal {O}}$ eines Gitters ist $\mathcal{O}=\mathcal{O}(M)=\{\omega\in K: \omega\cdot M\subseteq M \}$ . Gleichwertig dazu ist: Jedes Gitter G, das zugleich ein Unterring von K ist, ist eine Ordnung (und zwar zumindest von sich selbst als Gitter, darüber hinaus aber auch von allen äquivalenten Gittern).

Eigenschaften

Äquivalente Gitter haben dieselbe Ordnung.
Jede Ordnung ist selbst ein Gitter.
Jede Ordnung ist ein Unterring von .
Jedes Element einer Ordnung ist eine algebraisch ganze Zahl.
Ist $\alpha\in K$ algebraisch ganz und ${\mathcal {O}}$ eine Ordnung, dann ist auch $\mathcal{O}[\alpha]$ eine Ordnung.
Es existiert über eine im Sinne der Inklusion maximale Ordnung $\mathcal{O}_K$ , die Hauptordnung oder Maximalordnung von .
Die Hauptordnung umfasst genau alle algebraisch ganzen Zahlen in , d.h. die Begriffe Ganzheitsring und Hauptordnung bezeichnen dieselbe Teilmenge von .

Zusammenhang mit geometrischen Gittern

Die Wortwahl Gitter deutet einen Zusammenhang mit Gittern in euklidischen Räumen an, der tatsächlich besteht: Der Zahlkörper ist ein -dimensionaler Vektorraum über $\mathbb {Q}$ . Dieser Vektorraum kann in einen -dimensionalen reellen Vektorraum eingebettet werden. In diesem Vektorraum sind die Dedekind-Gitter spezielle geometrische Gitter. Dedekind-Gitter sind nie „flach“ (d.h. in einem echten Unterraum enthalten), da sie stets eine $\mathbb {Q}$ -Basis von enthalten müssen und damit im reellen Vektorraum eine $\mathbb {R}$ -Basis.

Die anschauliche Vorstellung eines Gitters im -dimensionalen Raum kann für das Verständnis nützlich sein. Zum Beispiel ist für eine ganze Zahl k>1 das Dedekind-Gitter $k\cdot M$ ein Gitter, das „grobmaschiger“ als das Dedekind-Gitter ist. Die Gitter und $k\cdot M$ lassen sich durch zentrische Streckungen aufeinander abbilden.

Bei Beweisen, die auf die beschriebene Einbettung Bezug nehmen, ist Vorsicht geboten. Wird zum Beispiel in einem Zahlkörper , der die algebraische Zahl ${\sqrt {2}}$ enthält, diese als Vektor mit der reellen Zahl ${\sqrt {2}}$ skalar multipliziert, dann ist das Ergebnis nicht . Um die verschiedenen Multiplikationen zu unterscheiden, muss man diese Einbettung formal korrekt als Tensorprodukt

$\mathcal O\to K\otimes\R$

einführen (vgl. dazu den nächsten Abschnitt).

Verallgemeinerung

Ist allgemeiner eine endlichdimensionale, nicht notwendigerweise kommutative $\mathbb {Q}$ -Algebra, so nennt man einen Unterring $\mathcal O\subset A$ eine Ordnung in , wenn

${\mathcal O}$ ein endlich erzeugter $\mathbb {Z}$ -Modul ist und
der kanonische Homomorphismus

$\mathcal O\otimes\Q\to A$

ein Isomorphismus ist.

Dieser Begriff verallgemeinert den oben definierten Begriff der Ordnung in einem Zahlkörper. Beispiele für Ordnungen in Quaternionenalgebren über $\mathbb {Q}$ sind Endomorphismenringe supersingulärer elliptischer Kurven.

Basierend auf einem Artikel in:

Wikipedia.de