Irreduzibles Element

Irreduzibles Element

In der Algebra ist ein Integritätsring oder Integritätsbereich ein nullteilerfreier kommutativer Ring mit einem Einselement, das von Null verschieden ist.

Alternativ kann man einen Integritätsring definieren als einen kommutativen Ring mit 1, in dem das Nullideal {0} ein Primideal ist, oder als einen Teilring eines Körpers. Es gibt auch eine abgeschwächte Definition, in der kein Einselement gefordert wird, sondern nur, dass es wenigstens ein von Null verschiedenes Element in dem Ring gibt. Ein Großteil der Sätze über Integritätsringe benötigen jedoch eine Eins, deshalb wird diese Eigenschaft meist mit in die Definition aufgenommen.

Inhaltsverzeichnis

Beispiele

Das bekannteste Beispiel ist der Ring \Z der ganzen Zahlen.

Jeder Körper ist ein Integritätsring. Umgekehrt ist jeder artinsche Integritätsring ein Körper. Insbesondere ist jeder endliche Integritätsring ein endlicher Körper.

Ein Polynomring ist ein Integritätsring, wenn die Koeffizienten aus einem Integritätsring stammen. Zum Beispiel ist der Ring \Z[X] der Polynome mit ganzzahligen Koeffizienten ein Integritätsring, ebenso wie der Ring \R[X,Y] der reellen Polynome in zwei Variablen.

Der Ring aller reellen Zahlen der Form a+b\sqrt 2 mit ganzen Zahlen a,b ist ein Integritätsring, da er Teilring von \R ist.

Ist U\subseteq\Bbb C ein Gebiet (eine zusammenhängende offene Teilmenge) in den komplexen Zahlen, so ist der Ring \operatorname{H}(U) der holomorphen Funktionen f\colon U\to\Bbb C ein Integritätsring.

Ist R ein kommutativer Ring mit 1 und P ein Primideal in R, so ist der Faktorring R / P ein Integritätsring.

Der Restklassenring \Z/n\Z ist genau dann ein Integritätsring, sogar ein Körper, wenn n eine Primzahl ist.

Teilbarkeit, Primelemente, Irreduzibilität

(Hauptartikel: Teilbarkeit)

Sind a und b Elemente des Integritätsrings R, dann nennt man a einen Teiler von b und b ein Vielfaches von a (und sagt auch a teile b), wenn es ein Element x in R gibt, sodass ax = b. Man schreibt dann a \mid b, andernfalls a \nmid b.

Es gelten die folgenden Teilbarkeitsregeln:

  • Gilt a \mid b und b \mid c, dann folgt daraus a \mid c.
  • Gilt a \mid b, dann gilt auch a \mid bc für jedes c\in R, insbesondere auch a \mid -b.
  • Gilt a \mid b und a \mid c, dann gilt auch a \mid b+c und a \mid b{-}c.

Die erste Regel besagt, dass Teilbarkeit transitiv ist. Die zweite und dritte Regel besagen, dass die Menge aR der Vielfachen eines Elementes a ein Ideal in R bildet; dieses wird auch als (a) notiert.

Ringelemente, die Teiler der 1 sind, heißen Einheiten von R. Die Einheiten sind identisch mit den invertierbaren Elementen und teilen alle anderen Elemente. Die Menge der Einheiten von R wird mit R * bezeichnet und bildet zusammen mit der Ringmultiplikation als Verknüpfung eine abelsche Gruppe – die sogenannte Einheitengruppe von R.

Gilt a \mid b und b \mid a, dann heißen a und b zueinander assoziiert. a und b sind genau dann assoziiert, wenn es eine Einheit u gibt, sodass au = b.

Ist q eine Nichteinheit, dann heißt q irreduzibel, falls q nicht als Produkt zweier Nichteinheiten darstellbar ist, falls also aus q = ab stets a \in R^* oder b \in R^* folgt. Ist p eine Nichteinheit ungleich 0, dann heißt p prim (oder Primelement), falls gilt: Aus  p \mid ab folgt p \mid a oder p \mid b. Das Hauptideal (p) ist dann ein Primideal. Ist andersherum das Hauptideal (p) einer von Null verschiedenen Nichteinheit p ein Primideal, so ist p prim.

Jedes Primelement ist irreduzibel (für diese Aussage wird die Nullteilerfreiheit des Rings benötigt), aber nicht immer ist jedes irreduzible Element prim (z. B. im Ring \mathbb Z[\sqrt{-3}] sind 2, 1+\sqrt{-3} und 1-\sqrt{-3} irreduzibel aber nicht prim). In Hauptidealringen und allgemeiner in faktoriellen Ringen stimmen jedoch beide Begriffe überein. So werden in \mathbb Z die Primzahlen üblicherweise nur als positive, irreduzible Elemente von \mathbb Z definiert. Diese Elemente sind jedoch auch Primelemente, da \mathbb Z faktoriell und somit jedes irreduzible Element prim ist. Es sind jedoch auch noch die negativen Pendants der Primzahlen Primelemente, woran man sieht, dass der Begriff des Primelements allgemeiner gefasst ist als der Begriff der Primzahl.

Quotientenkörper

Ist R ein Integritätsring, dann existiert ein kleinster Körper \operatorname{Quot}(R), der R als Teilring enthält. Der Körper \operatorname{Quot}(R)\,\! ist bis auf Isomorphie eindeutig bestimmt und heißt Quotientenkörper von R. Seine Elemente haben die Form \tfrac ab mit a,b \in R, b \neq 0. Der Quotientenkörper ist ein Beispiel einer Konstruktion mit einem Integritätsring, in dem keine Eins (in der Definition des Integritätsringes) benötigt wird, sondern lediglich irgendein von Null verschiedenes Element.

Der Quotientenkörper des Rings der ganzen Zahlen ist der Körper der rationalen Zahlen. Der Quotientenkörper eines Körpers ist der Körper selbst.

Alternativ kann man Quotientenkörper über Lokalisierungen von R nach dem Nullideal {0} konstruieren.

Abstrakt definiert man Quotientenkörper durch folgende universelle Eigenschaft:

Ein Quotientenkörper eines Ringes R ist ein Paar (K,φ) aus einer Menge K und einem Ringhomomorphismus φ von R nach K mit der Eigenschaft, dass es für jeden Körper L mit Ringhomomorphismus \psi\colon R\to L genau einen Körperhomomorphismus \alpha\colon K\to L mit \psi = \alpha\circ\phi gibt.

Charakteristik

Die Charakteristik eines Integritätsrings ist entweder 0 oder eine Primzahl.

Ist R ein Integritätsring mit der Primzahl-Charakteristik p, dann ist die Abbildung f:R\to R,\;x\mapsto x^p ein injektiver Ringhomomorphismus und heißt Frobeniushomomorphismus.

Literatur

  • Bosch: Algebra. 5. Auflage. Springer, 2003, ISBN 3-540-40388-4. 
  • Jantzen und Schwermer: Algebra. Springer, 2005, ISBN 3-540-21380-5. 
  • Kurt Meyberg: Algebra Teil 1 & 2. Carl Hanser Verlag, München 1975/76. 

Wikimedia Foundation.

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

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

  • Irreduzibles Polynom — In der Algebra, einem Teilgebiet der Mathematik, ist ein irreduzibles Polynom ein Polynom, das sich nicht als Produkt zweier nicht invertierbarer Polynome schreiben lässt und somit nicht in „einfachere“ Polynome zerfällt. Ihre Bedeutung für die… …   Deutsch Wikipedia

  • Primitives Element — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Primpolynom — In der Algebra, einem Teilgebiet der Mathematik, ist ein irreduzibles Polynom ein Polynom, das sich nicht als Produkt zweier nicht invertierbarer Polynome schreiben lässt und somit nicht in „einfachere“ Polynome zerfällt. Ihre Bedeutung für die… …   Deutsch Wikipedia

  • Elementarteilersatz — 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… …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Gaußscher Ring — Ein faktorieller Ring (auch ZPE Ring oder Gaußscher Ring) ist eine algebraische Struktur, und zwar ein Integritätsring, in dem jedes Element eine eindeutige Zerlegung in irreduzible Faktoren besitzt (Achtung: ein faktorieller Ring ist etwas… …   Deutsch Wikipedia

  • ZPE-Ring — Ein faktorieller Ring (auch ZPE Ring oder Gaußscher Ring) ist eine algebraische Struktur, und zwar ein Integritätsring, in dem jedes Element eine eindeutige Zerlegung in irreduzible Faktoren besitzt (Achtung: ein faktorieller Ring ist etwas… …   Deutsch Wikipedia

  • Euklidisches Lemma — Eine Primzahl ist eine natürliche Zahl mit genau zwei natürlichen Zahlen als Teiler, nämlich der Zahl 1 und sich selbst. Die kleinsten Primzahlen sind 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31 … (Folge A000040 in OEIS) Das Wort „Primzahl“ kommt aus… …   Deutsch Wikipedia

  • Primzahlen — Eine Primzahl ist eine natürliche Zahl mit genau zwei natürlichen Zahlen als Teiler, nämlich der Zahl 1 und sich selbst. Die kleinsten Primzahlen sind 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31 … (Folge A000040 in OEIS) Das Wort „Primzahl“ kommt aus… …   Deutsch Wikipedia

  • Hauptidealring — In der Algebra, einem Teilgebiet der Mathematik, bezeichnet man Integritätsringe als Hauptidealringe oder Hauptidealbereiche, wenn jedes Ideal ein Hauptideal ist. Die wichtigsten Beispiele für Hauptidealringe sind der Ring der ganzen Zahlen sowie …   Deutsch Wikipedia

Share the article and excerpts

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