Ordnung (algebraische Zahlentheorie)


Ordnung (algebraische Zahlentheorie)

In der algebraischen Zahlentheorie ist eine Ordnung des Zahlkörpers K ein Unterring von K, der (via Multiplikation) als Endomorphismenring auf bestimmten Untergruppen von K, 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.[1] 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.

Inhaltsverzeichnis

Definitionen

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

Zusammenhang mit geometrischen Gittern

Die Wortwahl Gitter deutet einen Zusammenhang mit Gittern in euklidischen Räumen an, der tatsächlich besteht: Der Zahlkörper K ist ein n-dimensionaler Vektorraum über \Bbb Q. Dieser Vektorraum kann in einen n-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 \Bbb Q-Basis von K enthalten müssen und damit im reellen Vektorraum eine \R-Basis.

Die anschauliche Vorstellung eines Gitters im n-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·M ein Gitter, das „grobmaschiger“ als das Dedekind-Gitter M ist. Die Gitter M und k·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 K, der die algebraische Zahl \sqrt{2} enthält, diese als Vektor mit der reellen Zahl \sqrt{2} skalar multipliziert, dann ist das Ergebnis nicht „2“. 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 A eine endlichdimensionale, nicht notwendigerweise kommutative \mathbb Q-Algebra, so nennt man einen Unterring \mathcal O\subset A eine Ordnung in A, wenn

\mathcal O\otimes\mathbb 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.

Quellen

  1. Richard Dedekind:Vorlesungen über Zahlentheorie von P. G. Lejeune Dirichlet mit Zusätzen versehen. 4. Auflage. Vieweg, Braunschweig 1894

Literatur

  • Armin Leutbecher: Zahlentheorie: Eine Einführung in die Algebra. Springer-Verlag, 1996. ISBN 3-540-58791-8.
  • Joseph H. Silverman: The Arithmetic of Elliptic Curves. Springer-Verlag, New York 1986. ISBN 3-540-96203-4
    Ordnungen, insbesondere in Quaternionenalgebren: III.§9; supersinguläre elliptische Kurven: V.§3

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Ordnung — Der Begriff Ordnung steht für: Sortierung, den Zustand zielführender Abfolge Aufgeräumtheit, siehe Haus und Familienarbeit Ordnung (Gewässer), eine rechtliche Einteilung für Gewässer nach Bedeutung Ordnung (Biologie), einen taxonomischen Rang… …   Deutsch Wikipedia

  • Einordnung — Das Wort Ordnung hat generell drei Bedeutungen: einen geregelten Zustand (hier herrscht Ordnung) oder ein diesbezügliches Gesetz (z. B. Gewerbeordnung) die Herstellung oder Erhaltung eines solchen Zustands (Tätigkeit des Ordnens) die… …   Deutsch Wikipedia

  • Geordnet — Das Wort Ordnung hat generell drei Bedeutungen: einen geregelten Zustand (hier herrscht Ordnung) oder ein diesbezügliches Gesetz (z. B. Gewerbeordnung) die Herstellung oder Erhaltung eines solchen Zustands (Tätigkeit des Ordnens) die… …   Deutsch Wikipedia

  • Ganzzahlring — Im mathematischen Teilgebiet der algebraischen Zahlentheorie ist der Ganzheitsring eines algebraischen Zahlkörpers das Analogon des Ringes der ganzen Zahlen im Fall des Körpers der rationalen Zahlen. Definition Es sei K ein algebraischer… …   Deutsch Wikipedia

  • Gittertheorie — Ausschnitt eines Gitters. Die blauen Punkte gehören zum Gitter. In der Mathematik sind Gitter in gewissem Sinne regelmäßige Mengen. Sie finden u. a. Anwendung in der Gruppentheorie und der Geometrie. Die einzelnen Elemente eines Gitters heißen… …   Deutsch Wikipedia

  • Gittervektor — Ausschnitt eines Gitters. Die blauen Punkte gehören zum Gitter. In der Mathematik sind Gitter in gewissem Sinne regelmäßige Mengen. Sie finden u. a. Anwendung in der Gruppentheorie und der Geometrie. Die einzelnen Elemente eines Gitters heißen… …   Deutsch Wikipedia

  • Ideale Zahl — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia

  • Linksideal — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia

  • Rechtsideal — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia

  • Zweiseitiges Ideal — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia