Faktorieller Ring - LinkFang.de





Faktorieller Ring


Ein faktorieller Ring, auch ZPE-Ring (Abk. für: „Zerlegung in Primelemente“), Gaußscher Ring oder EPZ-Ring ist eine algebraische Struktur, und zwar ein Integritätsring, in dem jedes Element [math]a \neq 0[/math] eine im Wesentlichen eindeutige Zerlegung in irreduzible Faktoren besitzt. Faktorielle Ringe sind nicht zu verwechseln mit Faktorringen.

Definition

Ein Integritätsring [math]A[/math] heißt faktoriell, wenn er die folgende Eigenschaft besitzt:

  • Jedes Element [math]a\ne0[/math], besitzt eine bis auf Assoziiertheit und Reihenfolge eindeutige Zerlegung in irreduzible Faktoren.[1]

Für einen Integritätsring ist die Eigenschaft, faktoriell zu sein, äquivalent zur Eigenschaft, ein ZPE-Ring zu sein:

  • Jedes Element [math]a\ne0[/math], besitzt eine Zerlegung in ein Produkt von Primelementen. (Darstellungen als Produkt von Primelementen sind stets im Wesentlichen eindeutig.)

Zerlegung in irreduzible Faktoren

[math]a \in R[/math] hat eine Zerlegung in irreduzible Faktoren, wenn a eine Darstellung

[math]a=\varepsilon\, q_1\, q_2 \dots q_r[/math]

mit einer Einheit [math] \varepsilon [/math] und irreduziblen Elementen [math] q_i [/math] hat. Dabei ist das leere Produkt von irreduziblen Elementen, also [math]r=0[/math], zugelassen, welches dem Einselement des Ringes gleichzusetzen ist. Diese Zerlegung ist im Wesentlichen eindeutig, wenn bei jeder weiteren solchen Darstellung

[math]a=\varepsilon'\, q_1'\, q_2' \dots q_{r'}'[/math]

gilt: [math]r=r'[/math] und [math]q_i \sim q_i'[/math] (nach eventuellem Umnummerieren).

[math]q_i \sim q_i'[/math] bedeutet: [math]q_i[/math] und [math]q_i'[/math] sind assoziiert.

Sind die [math]q_1, q_2, \dotsc , q_r[/math] nicht nur irreduzibel sondern sogar Primelemente, folgt daraus bereits die Eindeutigkeit der Darstellung (bis auf Assoziiertheit).

Eigenschaften

  • Irreduzible Elemente in faktoriellen Ringen sind prim. (Damit folgt auch die Äquivalenz der oben angegebenen Beschreibungen.)
  • Faktorielle Ringe sind normal.
  • Nach dem Lemma von Gauß sind Polynomringe faktorieller Ringe wieder faktoriell.
  • Lokalisierungen faktorieller Ringe sind faktoriell

Beispiele

  • Jeder euklidische Ring ist ein Hauptidealring, und jeder Hauptidealring ist ein faktorieller Ring. Beispiele sind die euklidischen Ringe [math]\Bbb Z[/math] (ganze Zahlen) sowie der Polynomring [math]K[X][/math] in einer Veränderlichen über einem Körper [math]K[/math].
  • Umgekehrt ist aber nicht jeder faktorielle Ring automatisch Hauptidealring: Die Ringe [math]K[X,Y][/math] und [math]\mathbb{Z}[X][/math] sind faktoriell, aber keine Hauptidealringe. Bei den Ganzheitsringen algebraischer Zahlkörper fallen die beiden Begriffe jedoch zusammen.
  • Körper besitzen zwar weder irreduzible Elemente noch Primelemente, sind aber ebenfalls faktorielle Ringe, da jedes Element ungleich Null eines Körpers eine Einheit ist.
  • Der Nullring wird von der überwiegenden Mehrheit nicht als faktorieller Ring angesehen. Zwar ist die Bedingung der Existenz einer Primfaktorzerlegung leer, jedoch wird der Nullring nicht als Integritätsring angesehen.
  • Polynomringe und Ringe formaler Potenzreihen über einem Körper sind faktoriell.
  • Reguläre lokale Ringe (z.B. diskrete Bewertungsringe) sind faktoriell. Dies ist genau die Aussage des Auslander-Buchsbaum-Theorems.

Gegenbeispiele

Ein Beispiel für einen Ring, in dem es eine Zerlegung in irreduzible Elemente gibt, die nicht eindeutig ist, ist der Ring [math]\mathbb Z\left[\sqrt{-5}\right][/math] (siehe Adjunktion): In den beiden Produktdarstellungen

[math]6=2\cdot 3=\left(1+\sqrt{-5}\right)\cdot\left(1-\sqrt{-5}\right)[/math]

sind die Faktoren jeweils irreduzibel, aber unter den vier Zahlen [math]2,3,1+\sqrt{-5}[/math] und [math]1-\sqrt{-5}[/math] sind keine zwei assoziiert. Die Einheiten in diesem Ring sind [math]+1[/math] und [math]-1[/math].

Ein Beispiel für einen Ring, in dem eine Zerlegung in irreduzible Elemente nicht immer existiert, diese aber eindeutig ist, wann immer sie existiert, ist der Ring der holomorphen Funktionen auf einem Gebiet [math]U[/math] in der komplexen Ebene [math]\mathbb{C}[/math] (mit punktweiser Addition und Multiplikation): Dieser Ring ist nullteilerfrei (das folgt aus dem Identitätssatz für holomorphe Funktionen). Die Einheiten sind genau die holomorphen Funktionen ohne Nullstellen (also z. B. die komplexe Exponentialfunktion). Die irreduziblen Elemente sind bis auf Einheiten genau die Funktionen der Form ([math]z\mapsto z-a[/math]) für einen Punkt [math]a\in U[/math]. Daraus folgt, dass eine holomorphe Funktion genau dann ein Produkt aus irreduziblen Elementen ist, wenn sie nur endlich viele Nullstellen hat. Da es aber auf jedem Gebiet auch holomorphe Funktionen gibt mit unendlich vielen Nullstellen, ist dieser Ring kein faktorieller Ring. Falls eine holomorphe Funktion allerdings eine solche Darstellung hat, so ist diese im Wesentlichen eindeutig, weil die irreduziblen Elemente alle prim sind.

Einzelnachweise

  1. Serge Lang: Algebra. 3. Auflage. Springer, 2008, ISBN 978-0-387-95385-4, S. 111.

Kategorien: Ring (Algebra)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Faktorieller Ring (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.