Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 9/kontrolle

Faktorielle Ringe

In der letzten Vorlesung haben wir gesehen, dass in einem Hauptidealbereich einerseits jedes irreduzible Element prim ist und andererseits jedes Element ein Produkt von irreduziblen Elementen und damit auch von Primelementen ist. Wir werden gleich zeigen, dass unter diesen Voraussetzung die Zerlegung in Primelemente sogar im Wesentlichen eindeutig ist. Um dies prägnant fassen zu können, dient der Begriff des faktoriellen Bereiches.

Definition Referenznummer erstellen

Ein Integritätsbereich heißt faktorieller Bereich, wenn jede Nichteinheit ${}f\neq 0$ sich als ein Produkt von Primelementen schreiben lässt.

Satz Satz 9.2 ändern

Es sei ${}R$ ein Integritätsbereich. Dann sind folgende Aussagen äquivalent.

1. ${}R$ ist faktoriell.
2. Jede Nichteinheit ${}f\neq 0$ besitzt eine Faktorzerlegung in irreduzible Elemente, und diese Zerlegung ist bis auf Umordnung und Assoziiertheit eindeutig.
3. Jede Nichteinheit ${}f\neq 0$ besitzt eine Faktorzerlegung in irreduzible Elemente, und jedes irreduzible Element ist ein Primelement.

Beweis

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

${}f=p_{1}{\cdots }p_{s}=q_{1}{\cdots }q_{r}\,$

eine weitere Zerlegung mit irreduziblen Elementen. Dann teilt wieder ${}p_{1}$ einen der Faktoren rechts, sagen wir ${}p_{1}u=q_{1}$. Dann muss ${}u$ eine Einheit sein und wir können durch ${}p_{1}$ kürzen, wobei wir ${}u^{-1}$ mit ${}q_{2}$ verarbeiten können, was ein zu ${}q_{2}$ assoziiertes Element ergibt. Das gekürzte Element ${}p_{2}\cdots p_{s}$ hat eine Faktorzerlegung mit ${}s-1$ Primelementen, sodass wir die Induktionsvoraussetzung anwenden können.
${}(2)\Rightarrow (3)$. Wir müssen zeigen, dass ein irreduzibles Element auch prim ist. Es sei also ${}q$ irreduzibel und es teile das Produkt ${}fg$, sagen wir

${}qh=fg\,.$

Für ${}h,\,f$ und ${}g$ gibt es Faktorzerlegungen in irreduzible Elemente, sodass sich insgesamt die Gleichung

${}qh_{1}{\cdots }h_{r}=f_{1}{\cdots }f_{s}g_{1}{\cdots }g_{t}\,$

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 ${}f_{1}$, der assoziiert zu ${}q$ ist. Dann teilt ${}q$ auch den ursprünglichen Faktor ${}f$.
${}(3)\Rightarrow (1)$. Das ist trivial.

$\Box$

Satz Satz 9.3 ändern

Ein Hauptidealbereich

ist ein faktorieller Ring.

Beweis

Dies folgt sofort aus Satz 8.8, Lemma 8.9 und Satz 9.2.

$\Box$

Zerlegung in irreduzible Polynome

Wir möchten, abhängig von einem gewählten Grundkörper ${}K$, Aussagen über die irreduziblen Elemente in ${}K[X]$ und über die Primfaktorzerlegung von Polynomen treffen.

Korollar Korollar 9.4 ändern

Es sei ${}K$ ein Körper und sei ${}K[X]$ der Polynomring über ${}K$.

Dann besitzt jedes Polynom ${}F\in K[X]$, ${}F\neq 0$, eine eindeutige Faktorzerlegung

${}F=\lambda P_{1}^{r_{1}}{\cdots }P_{k}^{r_{k}}\,,$

wobei ${}\lambda \in K$ ist und die ${}P_{i}$ verschiedene, normierte, irreduzible Polynome sind.

Beweis

Dies folgt aus Satz 8.3, aus Satz 9.3 und daraus, dass jedes Polynom ${}\neq 0$ zu einem normierten Polynom assoziiert ist.

$\Box$

Die irreduziblen Elemente stimmen mit den Primelementen überein, man spricht meist von irreduziblen Polynomen.

Beispiel Referenznummer erstellen

Das Polynom ${}X^{6}-1$ besitzt in ${}\mathbb {Q} [X]$ die Primfaktorzerlegung

${}X^{6}-1=(X-1)(X+1)(X^{2}+X+1)(X^{2}-X+1)\,,$

die quadratischen Polynome sind nicht weiter zerlegbar, da sie in ${}\mathbb {Q}$ (ebenso in ${}\mathbb {R}$) keine Nullstelle besitzen.

Im Allgemeinen ist es schwierig, zu einem gegebenen Polynom die Primfaktorzerlegung zu finden.

Der Hauptsatz der elementaren Zahlentheorie

Wir beweisen nun, dass sich jede natürliche Zahl in eindeutiger Weise als Produkt von Primzahlen darstellen lässt.

Satz Referenznummer erstellen

Jede natürliche Zahl ${}n\in \mathbb {N}$, ${}n\geq 2$, besitzt eine eindeutige Zerlegung in Primfaktoren.

D.h. es gibt eine Darstellung

${}n=p_{1}{\cdots }p_{r}\,$

mit Primzahlen ${}p_{i}$, und dabei sind die Primfaktoren bis auf ihre Reihenfolge eindeutig bestimmt.

Beweis

Dies folgt aus Satz 8.4 und aus Satz 9.3.

$\Box$

Exponententest

Definition Referenznummer erstellen

Es sei ${}R$ ein faktorieller Bereich und ${}p\in R$ ein Primelement. Dann heißt zu jedem ${}f\in R$, ${}f\neq 0$, die natürliche Zahl ${}n\in \mathbb {N}$ mit ${}p^{n}{|}f$ aber ${}p^{n+1}\not {|}f$, der Exponent (oder die Ordnung) von ${}f$ zu ${}p$. Er wird mit ${}\operatorname {exp} _{p}^{}{\left(f\right)}$ bezeichnet.

Wenn von ${}f$ die kanonische Primfaktorzerlegung

${}f=u\cdot p_{1}^{r_{1}}\cdot p_{2}^{r_{2}}\cdots p_{k}^{r_{k}}\,$

und ${}p$ zu ${}p_{i}$ assoziiert ist, so ist

${}\operatorname {exp} _{p}^{}{\left(f\right)}=r_{i}\,.$

Denn offenbar wird ${}f$ von ${}p_{i}^{r_{i}}$ geteilt, aber nicht von ${}p_{i}^{r_{i}+1}$, da nach kürzen mit ${}p_{i}^{r_{i}}$ folgen würde, dass ${}p_{i}$ einen der übrigen Faktoren ${}p_{2},\ldots ,p_{k}$ teilt. Insbesondere ist also der Exponent wohldefiniert.

Lemma Lemma 9.8 ändern

Es sei ${}R$ ein faktorieller Integritätsbereich und ${}p\in R$ ein Primelement.

Dann besitzt der Exponent die Eigenschaft

${}\operatorname {exp} _{p}^{}{\left(fg\right)}=\operatorname {exp} _{p}^{}{\left(f\right)}+\operatorname {exp} _{p}^{}{\left(g\right)}\,.$

Beweis

Dies folgt aus Satz 9.2.

$\Box$

Der Exponent übersetzt also die Multiplikation in die Addition.

Mit diesen Bezeichnungen kann man die Primfaktorzerlegung in einem faktoriellen Bereich als

${}f=u\prod _{p}p^{\nu _{p}(n)}\,$

mit einer Einheit ${}u$ schreiben, wobei das Produkt rechts endlich in dem Sinne ist, dass nur endlich viele Exponenten von ${}0$ verschieden sind, und wobei für zueinander assoziierte Primelemente jeweils ein Vertreter genommen wird (das Produkt erstreckt sich also beispielsweise über alle positiven Primzahlen oder über alle irreduziblen normierten Polynome). Die Teilbarkeit und einen größten gemeinsamen Teiler und ein kleinstes gemeinsames Vielfaches kann man aus den Exponenten ablesen.

Lemma Lemma 9.9 ändern

Es sei ${}R$ ein faktorieller Integritätsbereich und ${}a,b\in R$.

Dann ist ${}a$ ein Teiler von ${}b$ genau dann, wenn für die Exponenten zu jedem Primelement die Abschätzung

${}\operatorname {exp} _{p}^{}{\left(a\right)}\leq \operatorname {exp} _{p}^{}{\left(b\right)}\,$

gelten.

Beweis

${}(1)\Rightarrow (2)$. Aus der Beziehung ${}b=ac$ folgt mit Lemma 9.8 direkt

${}\operatorname {exp} _{p}^{}{\left(b\right)}=\operatorname {exp} _{p}^{}{\left(ac\right)}=\operatorname {exp} _{p}^{}{\left(a\right)}+\operatorname {exp} _{p}^{}{\left(c\right)}\geq \operatorname {exp} _{p}^{}{\left(a\right)}\,.$

${}(2)\Rightarrow (1)$. Wir schreiben

${}a=u\prod _{p}p^{\operatorname {exp} _{p}^{}{\left(a\right)}}\,$

und

${}b=v\prod _{p}p^{\operatorname {exp} _{p}^{}{\left(b\right)}}\,$

mit Einheiten ${}u,v$. Wenn die Exponentenbedingung erfüllt ist, so ist ${}t=u^{-1}v\prod _{p}p^{{\nu _{p}(b)}-{\nu _{p}(a)}}$ ein Ringelement, das mit ${}a$ multipliziert gerade ${}b$ ergibt.

$\Box$

Korollar Korollar 9.10 ändern

Es sei ${}R$ ein faktorieller Bereich und ${}a_{1},\ldots ,a_{n}\in R$ Elemente mit Primfaktorzerlegungen

${}a_{i}=u_{i}\prod _{p}p^{\operatorname {exp} _{p}^{}{\left(a_{i}\right)}}\,.$

Dann ist

${}\operatorname {kgV} _{}^{}{\left(a_{1},\ldots ,a_{n}\right)}=\prod _{p}p^{\operatorname {max} _{}^{}{\left(\operatorname {exp} _{p}^{}{\left(a_{1}\right)},\ldots ,\operatorname {exp} _{p}^{}{\left(a_{n}\right)}\right)}}\,$

und

${}\operatorname {ggT} _{}^{}{\left(a_{1},\ldots ,a_{n}\right)}=\prod _{p}p^{\operatorname {min} _{}^{}{\left(\operatorname {exp} _{p}^{}{\left(a_{1}\right)},\ldots ,\operatorname {exp} _{p}^{}{\left(a_{n}\right)}\right)}}\,.$

Beweis

Dies folgt direkt aus Lemma 9.9.

$\Box$

Insbesondere kann man den größten gemeinsamen Teiler primelementweise bestimmen, indem man schaut, mit welcher Potenz ${}p$ in ${}a_{1},a_{2}$ etc. aufgeht.

In einem faktoriellen Bereich muss ein größter gemeinsamer Teiler nicht als Linearkombination der Elemente darstellbar sein. Beispielsweise ist ${}K[X,Y]$ faktoriell, aber kein Hauptidealbereich, die beiden Variablen ${}X$ und ${}Y$ sind prim und teilerfremd, erzeugen aber nicht das Einheitsideal.