Kommutativer Ring/Faktoriell/Einführung/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen


Definition  

Ein Integritätsbereich heißt faktorieller Bereich, wenn jede Nichteinheit sich als ein Produkt von Primelementen schreiben lässt.



Satz  

Sei ein Integritätsbereich. Dann sind folgende Aussagen äquivalent.

  1. ist faktoriell.
  2. Jede Nichteinheit besitzt eine Faktorzerlegung in irreduzible Elemente, und diese Zerlegung ist bis auf Umordnung und Assoziiertheit eindeutig.
  3. Jede Nichteinheit besitzt eine Faktorzerlegung in irreduzible Elemente, und jedes irreduzible Element ist ein Primelement.

Beweis  

. Sei eine Nichteinheit. Die Faktorisierung in Primelemente ist insbesondere eine Zerlegung in irreduzible Elemente, so dass also lediglich die Eindeutigkeit zu zeigen ist. Dies geschieht durch Induktion über die minimale Anzahl der Primelemente in einer Faktorzerlegung. Wenn es eine Darstellung mit einem Primelement gibt, und eine weitere Zerlegung in irreduzible Faktoren ist, so teilt einen der Faktoren und nach Kürzen durch erhält man, dass das Produkt der übrigen Faktoren rechts eine Einheit sein muss. Das bedeutet aber, dass es keine weiteren Faktoren geben kann. Sei nun und diese Aussage sei für Elemente mit kleineren Faktorisierungen in Primelemente bereits bewiesen. Es sei

eine weitere Zerlegung mit irreduziblen Elementen. Dann teilt wieder einen der Faktoren rechts, sagen wir . Dann muss eine Einheit sein und wir können durch kürzen, wobei wir mit verarbeiten können, was ein zu assoziiertes Element ergibt. Das gekürzte Element hat eine Faktorzerlegung mit Primelementen, so dass wir die Induktionsvoraussetzung anwenden können.
. Wir müssen zeigen, dass ein irreduzibles Element auch prim ist. Sei also irreduzibel und es teile das Produkt , sagen wir

Für und gibt es Faktorzerlegungen in irreduzible Elemente, so dass sich insgesamt die Gleichung

ergibt. Es liegen also zwei Zerlegungen in irreduzible Element vor, die nach Voraussetzung im Wesentlichen übereinstimmen müssen. D.h. insbesondere, dass es auf der rechten Seite einen Faktor gibt, sagen wir , der assoziiert zu ist. Dann teilt auch den ursprünglichen Faktor .
. Das ist trivial.




Satz  

Beweis  

Dies folgt sofort aus Fakt, Fakt und Fakt.




Korollar  

Sei ein faktorieller Ring und seien und zwei Elemente mit Primfaktorzerlegungen

(wobei die Einheiten sind und die Exponenten auch sein können). Dann gilt genau dann, wenn für alle Exponenten ist.

Beweis  

Wenn die Exponentenbedingung erfüllt ist, so ist und man kann

schreiben, was die Teilbarkeit bedeutet. Die Umkehrung folgt aus der Eindeutigkeit der Primfaktorzerlegung in einem faktoriellen Ring.