Quelltext der Seite Ordnung (algebraische Zahlentheorie)

In der [[Algebraische Zahlentheorie|algebraischen Zahlentheorie]] ist eine '''Ordnung''' des [[Algebraischer Zahlkörper|Zahlkörpers]] <math>K</math> ein Unterring von <math>K</math>, der (via Multiplikation) als Endomorphismenring auf bestimmten Untergruppen von <math>K</math>, 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 [[Fundamentalsatz der Arithmetik|Fundamentalsatzes der Arithmetik]] auf Zahlkörper. Diese Ideen und Begriffsbildungen gehen auf [[Richard Dedekind]] zurück.<ref name="Dedekind">[[Peter Gustav Lejeune Dirichlet|P. G. Lejeune Dirichlet]]: ''Vorlesungen über Zahlentheorie.'' Herausgegeben und mit Zusätzen versehen von [[Richard Dedekind|R. Dedekind]]. 4., umgearbeitete und vermehrte Auflage. Vieweg, Braunschweig 1894.</ref> Die spezielleren Definitionen im ersten Teil des Artikels  richten sich nach Leutbecher (1996). Danach wird eine  [[#Verallgemeinerung|Verallgemeinerung]] des Begriffes Ordnung nach Silverman (1986) beschrieben. Zur Unterscheidung von allgemeineren und abweichenden Begriffen werden die spezielleren Begriffe auch als '''Dedekind-Gitter''' und '''Dedekind-Ordnung''' bezeichnet.

== Definitionen ==
* Ein ''Zahlkörper'' <math>K</math> ist hier ein [[Erweiterungskörper]] des Körpers <math>\Q</math> der rationalen Zahlen, der über den rationalen Zahlen eine endliche Dimension <math>n</math> hat. Diese Dimension heißt ''Grad'' der Körpererweiterung.
* Als '''Gitter''' im Zahlkörper <math>K</math> bezeichnet man jede endlich erzeugte Untergruppe <math>M</math> von <math>(K,+)</math>, die eine <math>\Q</math>-[[Basis (Vektorraum)|Basis]] von <math>K</math> enthält. Äquivalent sind Gitter in <math>K</math> die freien Untergruppen von <math>K</math> mit Rang <math>[K:\mathbb Q]</math>.
* Zwei Gitter <math>M</math> und <math>N</math> heißen (im weiteren Sinne) '''äquivalent''', wenn es eine Zahl <math>\lambda\in K^{\times}</math> gibt, mit der <math>\lambda\cdot M=N</math> gilt, im engeren Sinne äquivalent, wenn ein solches <math>\lambda</math> sogar in <math>\Q</math> existiert.
* Die Ordnung <math>\mathcal{O}</math> eines Gitters <math>M</math> ist <math>\mathcal{O}=\mathcal{O}(M)=\{\omega\in K: \omega\cdot M\subseteq M \}</math>. 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 <math>K</math>.
* Jedes Element einer Ordnung ist eine [[ganzes Element|algebraisch ganze Zahl]].
* Ist <math>\alpha\in K</math> algebraisch ganz und <math>\mathcal{O}</math> eine Ordnung, dann ist auch <math>\mathcal{O}[\alpha]</math> eine Ordnung.
* Es existiert über <math>K</math> eine im Sinne der Inklusion maximale Ordnung <math>\mathcal{O}_K</math>, die '''Hauptordnung''' oder '''Maximalordnung''' von <math>K</math>.
* Die Hauptordnung umfasst genau alle algebraisch ganzen Zahlen in <math>K</math>, d.&nbsp;h. die Begriffe [[Ganzheitsring]] und Hauptordnung bezeichnen dieselbe Teilmenge von <math>K</math>.

== Zusammenhang mit geometrischen Gittern ==
Die Wortwahl ''Gitter'' deutet einen Zusammenhang mit [[Gitter (Mathematik)|Gittern in euklidischen Räumen]] an, der tatsächlich besteht:
Der Zahlkörper <math>K</math> ist ein <math>n</math>-dimensionaler Vektorraum über <math>\Q</math>. Dieser Vektorraum kann in einen <math>n</math>-dimensionalen reellen Vektorraum eingebettet werden. In diesem Vektorraum sind die Dedekind-Gitter spezielle geometrische Gitter. Dedekind-Gitter sind nie „flach“ (d.&nbsp;h. in einem echten Unterraum enthalten), da sie stets eine <math>\Q</math>-Basis von <math>K</math> enthalten müssen und damit im reellen Vektorraum eine <math>\R</math>-Basis.   

Die anschauliche Vorstellung eines Gitters im <math>n</math>-dimensionalen Raum kann für das Verständnis nützlich sein. Zum Beispiel ist für eine ganze Zahl <math>k>1</math> das Dedekind-Gitter <math>k\cdot M</math> ein Gitter, das „grobmaschiger“ als das Dedekind-Gitter <math>M</math> ist. Die  Gitter <math>M</math> und <math>k\cdot M</math> 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 <math>K</math>, der die ''algebraische Zahl'' <math>\sqrt{2}</math> enthält, diese als Vektor mit der reellen Zahl <math>\sqrt{2}</math> skalar multipliziert, dann ist das Ergebnis nicht <math>2</math>. Um die verschiedenen Multiplikationen zu unterscheiden, muss man diese Einbettung formal korrekt als [[Tensorprodukt]]
: <math>\mathcal O\to K\otimes\R</math>
einführen (vgl. dazu [[#Verallgemeinerung| den nächsten Abschnitt]]).

== Verallgemeinerung ==

Ist allgemeiner <math>A</math> eine [[Dimension (Vektorraum)|endlichdimensionale]], nicht notwendigerweise kommutative <math>\Q</math>-[[Algebra (Struktur)|Algebra]], so nennt man einen Unterring <math>\mathcal O\subset A</math> eine ''Ordnung in <math>A</math>'', wenn
* <math>\mathcal O</math> ein [[Erzeuger (Algebra)|endlich erzeugter]] <math>\mathbb Z</math>-[[Modul (Mathematik)|Modul]] ist und
* der kanonische Homomorphismus
:: <math>\mathcal O\otimes\Q\to A</math>
: ein Isomorphismus ist.
Dieser Begriff verallgemeinert den oben definierten Begriff der Ordnung in einem Zahlkörper. Beispiele für Ordnungen in [[Quaternionen|Quaternionenalgebren]] über <math>\mathbb Q</math> sind Endomorphismenringe [[elliptische Kurve|supersingulärer elliptischer Kurven]].

== Literatur ==  
* Armin Leutbecher: ''Zahlentheorie. Eine Einführung in die Algebra.'' Springer, Berlin u. a. 1996, ISBN 3-540-58791-8.
* Joseph H. Silverman: ''The Arithmetic of Elliptic Curves'' (= ''Graduate Texts in Mathematics.'' Bd. 106). Springer, New York NY 1986, ISBN 3-540-96203-4, Ordnungen, insbesondere in Quaternionenalgebren: III.§9; supersinguläre elliptische Kurven: V.§3.

== Quellen ==  
<references/>

[[Kategorie:Algebraische Zahlentheorie]]
[[Kategorie:Ringtheorie]]