Hauptidealbereich

Hauptidealbereich

In der Algebra bezeichnet man Integritätsbereiche als Hauptidealringe oder Hauptidealbereiche, wenn jedes Ideal ein Hauptideal ist. Die wichtigsten Beispiele für Hauptidealringe sind der Ring der ganzen Zahlen sowie Polynomringe in einer Unbestimmten über einem Körper. Der Begriff des Hauptidealrings erlaubt es, Aussagen über diese beiden Spezialfälle einheitlich zu formulieren. Beispiele für Anwendungen der allgemeinen Theorie sind die Jordansche Normalform, die Partialbruchzerlegung oder die Strukturtheorie endlich erzeugter abelscher Gruppen.

Inhaltsverzeichnis

Definition

Ein Integritätsbereich A (d. h. ein nullteilerfreier kommutativer Ring mit 1\ne0) heißt Hauptidealring, wenn jedes Ideal I\subseteq A ein Hauptideal ist, d.h. es gibt ein x\in A, so dass I=A\cdot x=\{a\cdot x\mid a\in A\}.

Im Folgenden sei A ein Hauptidealring und K sein Quotientenkörper. Außerdem sei P\subset A eine Menge, die für jedes irreduzible p\in A genau ein zu p assoziiertes Element enthält. Im Fall A=\Z ist die Menge der (positiven) Primzahlen ein solches P, im Fall A = k[T] für einen Körper k die Menge der irreduziblen Polynome mit Leitkoeffizient 1.

Allgemeine Implikationen

Die folgenden Ringe sind Hauptidealringe:

Hauptidealringe gehören zu den folgenden allgemeineren Klassen von Ringen:

u\cdot\prod_{p\in P} p^{e_p}
mit ganzen Zahlen ep und einer Einheit u\in A^\times schreiben.
  • Das Lemma von Gauß: Jedes irreduzible Element in A[X] ist entweder ein irreduzibles Element von A (aufgefasst als konstantes Polynom) oder ein in K[X] irreduzibles Polynom, dessen Koeffizienten teilerfremd sind.[2]

Ist A ein Hauptidealring, so ist auch jede Lokalisierung von A ein Hauptidealring.

Teilbarkeit

  • Der (bis auf Assoziiertheit eindeutige) größte gemeinsame Teiler von Elementen x_1,\dots,x_m ist der (bis auf Assoziiertheit eindeutige) Erzeuger des Ideals (x_1,\dots,x_m). Insbesondere gilt das Lemma von Bézout: Es existieren a_1,\dots,a_m\in A mit
\operatorname{ggT}(x_1,\dots,x_m)=a_1 x_1+\dots+a_m x_m.
Spezialfall: x_1,\dots,x_k sind genau dann teilerfremd, wenn es a_1,\dots,a_m gibt mit
1=a_1 x_1+\dots+a_m x_m.
A/(x_1\cdots x_m)\to\prod_{i=1}^m A/(x_i)
ein Isomorphismus.[3]
  • Eine Verschärfung des chinesischen Restsatzes ist der Approximationssatz: Gegeben seien x_1,\dots,x_m\in K, paarweise verschiedene p_1,\dots,p_m\in P sowie Zahlen n_1,\dots,n_m\in\N. Dann gibt es ein x\in K, das xi bezüglich pi in ni-ter Ordnung approximiert und ansonsten regulär ist, d.h.
v_{p_i}(x-x_i)\geq n_i für i=1,\dots,m
und
v_p(x)\geq0 für p\in P\setminus\{p_1,\dots,p_m\}.
Dabei bezeichnet v_p(x)\in\Z den Exponenten von p in der Primfaktorzerlegung von x.[4]
Das Nullideal ist ebenfalls ein Primideal, jedoch nur dann maximal, wenn A ein Körper ist.

Hauptidealringe als Dedekind-Ringe

Hauptartikel: Dedekind-Ring

Viele in algebraischer Zahlentheorie und algebraischer Geometrie natürlich auftretende Ringe sind keine Hauptidealringe, sondern gehören einer etwas allgemeineren Klasse von Ringen an, den Dedekind-Ringen. Sie sind die lokalisierte Version der Hauptidealringe, Ideale sind nicht mehr global, sondern nur noch lokal von einem Element erzeugt:

Ist A ein noetherscher Integritätsbereich, für den der lokale Ring A_\mathfrak{p} für jedes Primideal \mathfrak{p} ein Hauptidealring ist, so heißt A Dedekind-Ring.[5]

Die folgenden Eigenschaften gelten für Hauptidealringe, aber auch allgemeiner für Dedekind-Ringe:

Ist ein Dedekind-Ring faktoriell oder semilokal, so ist er ein Hauptidealring.

Moduln über Hauptidealringen

Allgemeines

  • Untermoduln freier Moduln sind frei.[6]
  • Ist M ein endlich erzeugter Modul mit Torsionsuntermodul T, so gibt es einen freien Untermodul F\subseteq M, so dass M=F\oplus T. Torsionsfreie, endlich erzeugte Moduln sind frei.[7]
  • Projektive Moduln sind frei.[8]
  • Ein Modul ist injektiv genau dann, wenn er dividierbar ist. Quotienten injektiver Moduln sind injektiv, jeder Modul hat eine injektive Auflösung der Länge 1. Eine explizite injektive Auflösung von A ist[9]
0\to A\to K\to K/A\to 0.

Endlich erzeugte Moduln: Elementarteilersatz

Der Elementarteilersatz beschreibt die Struktur einer Zerlegung eines endlich erzeugten Moduls in unzerlegbare Moduln. (Ein Modul M heißt unzerlegbar, wenn es keine Moduln M_1,M_2\ne0 gibt mit M\cong M_1\oplus M_2.)

Es sei P wie oben ein Vetretersystem der irreduziblen Elemente (bis auf Assoziiertheit). Zu jedem endlich erzeugten Modul M gibt es eindeutig bestimmte nichtnegative ganze Zahlen m0 und mp,i für p\in P,k\in\N_{\geq1}, von denen fast alle null sind, so dass

M\cong A^{m_0}\oplus\bigoplus_{p\in P}\bigoplus_{i\geq1} (A/(p^i))^{m_{p,i}}.

Die Zahlen m0,mp,i sind durch M eindeutig festgelegt, und die einzelnen Faktoren A bzw. A / (pk) sind unzerlegbar. Die Ideale (pi), für die m_{p,i}\ne0 gilt, heißen Elementarteiler von M.[10]

Endlich erzeugte Moduln: Invariante Faktoren

Zu jedem endlich erzeugten Modul M gibt es eine endliche Folge x_1,x_2,\dots,x_m von Elementen von A, die nicht notwendigerweise von null verschieden sind, so dass

  • x_i\mid x_{i+1} für i=1,2,\dots,m-1
  • M\cong\bigoplus_{i=1}^m A/(x_i).

Die Ideale (xi) sind durch M eindeutig bestimmt und heißen die invarianten Faktoren von M. Die Elemente xi sind folglich bis auf Assoziiertheit eindeutig bestimmt.[11]

Zu dieser Aussage über Moduln gibt es zwei konkurrierende Sichtweisen:

  • Zu einem Modul M kann man Erzeuger w_1,\dots,w_m wählen und den Kern U\subseteq A^m des zugehörigen Homomorphismus A^m\to M betrachten.
  • Zu einem Untermodul U\subseteq A^m kann man Erzeuger u_1,\dots,u_n wählen und die m\times n-Matrix X mit Einträgen in A betrachten, die den Homomorphismus A^n\to A^m mit Bild U beschreibt.

Umgekehrt ist das Bild einer m\times n-Matrix mit Einträgen in A ein Untermodul U\subseteq A^m, und der Quotientenmodul M = Am / U (der Kokern des durch X gegebenen Homomorphismus A^n\to A^m) ist ein endlich erzeugter A-Modul.

Für Untermoduln freier Moduln lautet die Aussage:

  • Ist F ein freier A-Modul und U ein (ebenfalls freier) Untermodul von F vom Rang r, so gibt es n Elemente e_1,\dots,e_r\in F, die Teil einer Basis von F sind, sowie Elemente x_1,\dots,x_r\in A mit x_1\mid x_2\mid\dots\mid x_r, so dass x_1 e_1,\dots,x_r e_r eine Basis von U ist. Der von den ek aufgespannte Teil F'\subseteq F lässt sich invariant als das Urbild des Torsionsuntermoduls von F / U beschreiben. Die Ideale (xk) sind die Invarianten (wie oben) des Moduls F' / U, evtl. ergänzt um x_{k+1}=\dots=x_m=0.[12]

Für Matrizen (Smith-Normalform):

  • Ist X eine m\times n-Matrix mit Einträgen vom Rang r mit Einträgen in A, so gibt es invertierbare Matrizen P\in\operatorname{GL}(m,A),Q\in\operatorname{GL}(n,A), so dass PXQ folgende Gestalt hat:
\begin{pmatrix}x_1 & 0 & \cdots & 0 & 0 & \cdots & 0 \\
0 & x_2 & \ddots & \vdots & \vdots && \vdots \\
\vdots & \ddots & \ddots & 0 & \vdots && \vdots \\
0 &\cdots & 0 & x_r & 0 & \cdots & 0 \\
0 &\cdots & \cdots & 0 & 0 & \cdots & 0 \\
\vdots &&& \vdots & \vdots && \vdots \\
0 &\cdots & \cdots & 0 & 0 & \cdots & 0
\end{pmatrix}
Dabei sind x_1\mid x_2\mid\dots\mid x_r wieder die Invarianten wie oben.[13]

Torsionsmoduln

Es sei M ein (nicht notwendigerweise endlich erzeugter) Torsionsmodul über A, d.h. für jedes m\in M existiert ein a\in A\setminus\{0\} mit am = 0. Wieder sei P\subset A ein Vertretersystem der irreduziblen Elemente. Dann gilt:[14] M ist die direkte Summe der p-primären Untermoduln M(p), d.h.

M=\bigoplus_{p\in P}M_{(p)}

mit

M_{(p)}=\{m\in M\mid p^i m=0\ \text{für ein}\ i\in\N\}.

Als Korollar ergibt sich, dass M genau dann halbeinfach ist, wenn p\cdot M_{(p)}=0 für alle p\in P.[15]

Anwendungsbeispiele:

  • Ist A=\Z und M=K/A=\Q/\Z, so lautet die Aussage: Jede rationale Zahl besitzt eine eindeutige Darstellung
a+\sum_{p\ \text{prim}}\sum_{k=1}^{o_p}d_{p,i} p^{-i}
mit a\in\Z, o_p\geq0 (und fast alle op = 0) sowie d_{p,i}\in\{0,1,\dots,p-1\} und d_{p,o_p}\ne0.[16]
  • Ist A = k[T] (k ein Körper) und M = K / A = k(T) / k[T], so entspricht M(p) den rationalen Funktionen, deren Nenner eine Potenz von p ist. Der Satz liefert also den ersten Schritt der Partialbruchzerlegung, d.h. der eindeutigen Darstellung einer rationalen Funktion als
a+\sum_p\sum_{k=1}^{o_p} d_{p,i} p^{-i}.
Dabei durchläuft p die irreduziblen normierten Polynome in k[T], die weiteren Komponenten sind der reguläre Anteil a\in k[T], die Ordnungen o_p\geq0 (fast alle op = 0) und geeignete Polynome dp,i für i=1,2,\dots,o_p mit deg(dp,i) < deg(p). Ist insbesondere p linear, so sind die dp,i Konstanten.[17]
  • Ist A = k[T] und M ein endlichdimensionaler k-Vektorraum zusammen mit einem Endomorphismus f (mit der A-Modulstruktur Tv = f(v)), so ist die obige Zerlegung die Aufspaltung in die Haupträume. Das Korollar besagt in diesem Fall, dass f genau dann halbeinfach ist, wenn das Minimalpolynom von f keine mehrfachen Faktoren enthält.[18]

Verwandte Begriffe

  • Wird nur gefordert, dass jedes Ideal endlich erzeugt ist, gelangt man zum Begriff des noetherschen Rings.
  • Manchmal werden auch nicht nullteilerfreie Ringe in der Definition des Begriffes "Hauptidealring" erlaubt, es wird also nur gefordert, dass jedes Ideal ein Hauptideal ist und 1\ne0.[19] Im Englischen kann sprachlich zwischen principal ideal ring und principal ideal domain (domain = Integritätsbereich) unterschieden werden, im Deutschen ist das unüblich.

Literatur

  • Lang, S., Algebra, Springer 2002
  • Bourbaki, N., Elements of Mathematics, Algebra II, Chapters 4-7, Springer 1990
  • Bourbaki, N., Eléments de Mathématique, Algèbre, Chapitre 10, Algèbre homologique, Springer 2007
  • Bourbaki, N., Elements of Mathematics, Commutative Algebra, Chapters 1-7, Springer 1989

Einzelnachweise

  1. Lang, Theorem II.5.2, S. 112
  2. Lang, Theorem IV.2.3, S. 182
  3. Lang, Corollary II.2.2, S. 95
  4. Bourbaki, Commutative Algebra, Ch. VII, §2.4, Proposition 2
  5. Bourbaki, Commutative Algebra, Ch. VII, §2
  6. Bourbaki, Algebra, Ch. VII, § 3, Corollary 2; Lang, Theorem III.7.1
  7. Bourbaki, Algebra, Ch. VII, § 4, No. 4, Corollary 1 und 2; Lang, Theorem III.7.3
  8. Bourbaki, Algebra, Ch. VII, § 3, Corollary 3
  9. Bourbaki, Algèbre, Ch. X, § 1, No. 7, Corollaire 2
  10. Bourbaki, Algebra, Ch. VII, § 4, No. 8, Proposition 9; Lang, Theorem III.7.5
  11. Bourbaki, Algebra, Ch. VII, § 4, No. 4, Theorem 2; Lang, Theorem III.7.7
  12. Bourbaki, Algebra, Ch. VII, § 4, No. 3, Theorem 1; Lang, Theorem III.7.8
  13. Bourbaki, Algebra, Ch. VII, § 4, No. 6, Corollary 1; Lang, Theorem III.7.9
  14. Bourbaki, Algebra, Ch. VII, § 2, No. 2, Theorem 1
  15. Bourbaki, Algebra, Ch. VII, § 2, No. 2, Corollary 4
  16. Bourbaki, Algebra, Ch. VII, § 2, No. 3, I
  17. Bourbaki, Algebra, Ch. VII, § 2, No. 3, II
  18. Bourbaki, Algebra, Ch. VII, § 5, No. 8, Proposition 14
  19. Lang, II, §1, S. 86

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”