Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 5

Endliche Untergruppen eines Körpers

In diesem Abschnitt beschäftigen wir uns mit der Einheitengruppe der Restklassenringe ${}\mathbb {Z} /(n)$, also mit ${}{\left(\mathbb {Z} /(n)\right)}^{\times }$. Ihre Anzahl wird durch die Eulersche Funktion ${}\varphi (n)$ ausgedrückt. Wir erinnern kurz an eine wichtige Tatsache für die Anzahl der Nullstellen eines Polynoms über einem Körper.

Satz

Es sei ${}K$ ein Körper und sei ${}K[X]$ der Polynomring über ${}K$. Es sei ${}P\in K[X]$ ein Polynom ($\neq 0$) vom Grad ${}d$.

Dann besitzt ${}P$ maximal ${}d$ Nullstellen.

Satz

Es sei ${}U\subseteq K^{\times }$ eine endliche Untergruppe der multiplikativen Gruppe eines Körpers ${}K$.

Dann ist ${}U$ zyklisch.

Beweis

Es sei ${}n=\operatorname {ord} {\left(U\right)}$ und ${}e=\exp {\left(U\right)}$ der Exponent dieser Gruppe. Dies bedeutet, dass alle Elemente ${}x\in U$ eine Nullstelle des Polynoms ${}X^{e}-1$ sind. Nach Satz 5.1 ist die Anzahl der Nullstellen aber maximal gleich dem Grad, sodass ${}n=e$ folgt. Nach Lemma 4.16 ist dann ${}U$ zyklisch.

$\Box$

Die reellen Zahlen besitzen überhaupt nur die beiden endlichen multiplikativen Untergruppen ${}\{1\}$ und ${}\{1,-1\}$. Im komplexen Fall liegen die endlichen multiplikativen Untergruppen auf dem Einheitskreis, es handelt sich um die Gruppen ${}\mu _{k}$ der ${}k$-ten Einheitswurzeln, also um

$\{e^{2\pi i{\frac {j}{k}}},\,j=0,1,\ldots ,k-1\}.$

Wir können im Fall einer Primzahl die Struktur der Einheitengruppe des Restklassenringes verstehen.

Satz

Es sei ${}p$ eine Primzahl.

Dann ist die Einheitengruppe ${}{\left(\mathbb {Z} /(p)\right)}^{\times }$ zyklisch mit der Ordnung ${}p-1$.

Es gibt also Elemente ${}g$ mit der Eigenschaft, dass die Potenzen ${}g^{i}$, ${}i=0,1,\ldots ,p-2$, alle Einheiten durchlaufen.

Beweis

Dies folgt unmittelbar aus Satz 5.2, da ${}\mathbb {Z} /(p)$ ein endlicher Körper ist.

$\Box$

Definition

Eine Einheit ${}g\in {\left(\mathbb {Z} /(n)\right)}^{\times }$ heißt primitiv (oder eine primitive Einheit), wenn sie die Einheitengruppe erzeugt.

Bemerkung  

Der Satz 5.3 sagt insbesondere, dass es für eine Primzahl ${}p$ primitive Elemente im Restklassenkörper ${}\mathbb {Z} /(p)$ gibt. Er ist lediglich ein Existenzsatz und gibt keinen Hinweis, wie primitive Elemente zu konstruieren oder zu finden sind. Für eine Primzahl ${}p$ und eine Einheit ${}g\in {\left(\mathbb {Z} /(p)\right)}^{\times }$ bedeutet die Eigenschaft, primitiv zu sein, dass ein Gruppenisomorphismus

$(\mathbb {Z} /(p-1),+,0)\longrightarrow ({\left(\mathbb {Z} /(p)\right)}^{\times },\cdot ,1),\,i\longmapsto g^{i},$

vorliegt. Für eine beliebige natürliche Zahl ${}n$ ist die Einheitengruppe der Restklassenringe ${}\mathbb {Z} /(n)$ im Allgemeinen nicht zyklisch. Wir werden später diejenigen Zahlen charakterisieren, die diese Eigenschaft besitzen.

Korollar

Es sei ${}p$ eine Primzahl. Dann gibt es in ${}{\mathbb {Z} }/(p)$ genau ${}\varphi (p-1)$ primitive Elemente.

Beweis

Aufgrund der Existenz von primitiven Elementen gibt es eine Isomorphie

${}\mathbb {Z} /(p-1)={\left(\mathbb {Z} /(p)\right)}^{\times }\,.$

Daher geht es um die Anzahl der Erzeuger der additiven Gruppe ${}\mathbb {Z} /(p-1)$. Ein Element aus ${}\mathbb {Z} /(p-1)$ ist ein Gruppenerzeuger genau dann, wenn es in ${}\mathbb {Z} /(p-1)$ (als Ring betrachtet) eine Einheit ist. Deshalb ist die Anzahl gerade ${}\varphi (p-1)$.

$\Box$

Die Einheitengruppen der Restklassenringe

Wir kehren nun zum allgemeinen Fall zurück, wo ${}n$ eine beliebige positive ganze Zahl ist.

Satz

Es sei ${}n$ eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung ${}n=p_{1}^{r_{1}}\cdot p_{2}^{r_{2}}\cdots p_{k}^{r_{k}}$. Dann induziert der Ringisomorphismus des Chinesischen Restsatzes ${}\mathbb {Z} /(n)\cong \mathbb {Z} /(p_{1}^{r_{1}})\times \mathbb {Z} /(p_{2}^{r_{2}})\times \cdots \times \mathbb {Z} /(p_{k}^{r_{k}})$ einen Gruppenisomorphismus der Einheitengruppen

${\left(\mathbb {Z} /(n)\right)}^{\times }\cong {\left(\mathbb {Z} /(p_{1}^{r_{1}})\right)}^{\times }\times {\left(\mathbb {Z} /(p_{2}^{r_{2}})\right)}^{\times }\times \cdots \times {\left(\mathbb {Z} /(p_{k}^{r_{k}})\right)}^{\times }\,.$

Insbesondere ist die Einheitengruppe von ${}\mathbb {Z} /(n)$ höchstens dann zyklisch, wenn die Einheitengruppen von ${}\mathbb {Z} /(p_{i}^{r_{i}})$ für alle ${}i=1,\ldots ,k$ zyklisch sind.

Beweis

Ein Ringisomorphismus induziert natürlich einen Isomorphismus der Einheitengruppen, und die Einheitengruppe eines Produktringes ist die Produktgruppe der beteiligten Einheitengruppen. Ist eine Produktgruppe zyklisch, so muss auch jede Komponentengruppe zyklisch sein, da diese auch Restklassengruppen der Produktgruppe sind (unter der Projektion auf die Komponente).

$\Box$

Bemerkung  

Aus der Einheitenversion des Chinesischen Restsatzes folgt für die Eulersche Funktion, wenn ${}n=p_{1}^{r_{1}}\cdot p_{2}^{r_{2}}\cdots p_{k}^{r_{k}}$ die Primfaktorzerlegung ist, die Identität

${}\varphi (n)=\varphi (p_{1}^{r_{1}})\cdot \varphi (p_{2}^{r_{2}})\cdots \varphi (p_{k}^{r_{k}})\,.$

Man muss also nur noch ${}\varphi (p^{r})$ für eine Primzahl ${}p$ berechnen, wobei natürlich ${}\varphi (p)=p-1$ ist. Für ${}p^{r}$ mit ${}r\geq 2$ ist eine Zahl ${}0<a<p^{r}$ genau dann teilerfremd zu ${}p^{r}$, wenn sie teilerfremd zu ${}p$ ist, und das ist genau dann der Fall, wenn sie kein Vielfaches von ${}p$ ist. Die Vielfachen von ${}p$ im beschriebenen Intervall sind genau die Zahlen ${}bp$ mit ${}0\leq b<p^{r-1}$. Dies sind ${}p^{r-1}$ Stück, sodass es also ${}p^{r}-p^{r-1}=p^{r-1}(p-1)$ Einheiten gibt. Wir erhalten demnach

${}\varphi (p^{r})=p^{r-1}(p-1)\,$

und insgesamt

$\varphi (n)=p_{1}^{r_{1}-1}(p_{1}-1)\cdot p_{2}^{r_{2}-1}(p_{2}-1)\cdots p_{k}^{r_{k}-1}(p_{k}-1)\,.$

Die Einheitengruppen nach Primzahlpotenzen

Ausgehend von Satz 5.7 ist es wichtig, die Einheitengruppe von ${}\mathbb {Z} /(p^{r})$ zu verstehen.

Lemma

Es sei ${}p$ eine Primzahl und ${}r\geq 1$. Dann ist der durch die kanonische Projektion

$\mathbb {Z} /(p^{r})\longrightarrow \mathbb {Z} /(p)$

induzierte Gruppenhomomorphismus

${\left(\mathbb {Z} /(p^{r})\right)}^{\times }\longrightarrow {\left(\mathbb {Z} /(p)\right)}^{\times }$

der Einheitengruppen surjektiv.

Beweis

Es sei ${}a\in \mathbb {Z} /(p)^{\times }$ eine Einheit. Dann ist ${}a$ teilerfremd zu ${}p$ und damit kein Vielfaches von ${}p$. Wir fassen ${}a$ als Element in ${}\mathbb {Z} /(p^{r})$ auf. Da ${}a$ nach wie vor kein Vielfaches von ${}p$ ist, ist es auch in ${}\mathbb {Z} /(p^{r})$ eine Einheit, und zugleich ein Urbild von ${}a\in \mathbb {Z} /(p)^{\times }$.

$\Box$

Lemma

Es sei ${}p\geq 3$ eine Primzahl und ${}r\geq 1$. Dann ist der Kern des Einheiten-Homomorphismus

$\varphi \colon {\left(\mathbb {Z} /(p^{r})\right)}^{\times }\longrightarrow {\left(\mathbb {Z} /(p)\right)}^{\times }$

zyklisch der Ordnung ${}p^{r-1}$.

Beweis

Wir zeigen, dass das Element ${}a=1+p$, das offensichtlich zum Kern von

$\varphi \colon {\left(\mathbb {Z} /(p^{r})\right)}^{\times }\longrightarrow {\left(\mathbb {Z} /(p)\right)}^{\times }$

gehört, in der Einheitengruppe ${}{\left(\mathbb {Z} /(p^{r})\right)}^{\times }$ die Ordnung ${}p^{r-1}$ besitzt. Da diese Kerngruppe die Ordnung ${}p^{r-1}$ hat, muss die (multiplikative) Ordnung von ${}a$ ein Teiler davon sein, also von der Gestalt ${}p^{s}$ mit ${}s\leq r-1$ sein. Wir zeigen, dass ${}a^{p^{r-2}}\neq 1$ in ${}{\left(\mathbb {Z} /(p^{r})\right)}^{\times }$ ist, sodass also nur noch die Ordnung ${}p^{r-1}$ möglich bleibt.

Nehmen wir also ${}a^{p^{r-2}}=1\mod p^{r}$ an, das bedeutet

$a^{p^{r-2}}-1=(1+p)^{p^{r-2}}-1=0\mod p^{r}.$

Ausmultiplizieren ergibt den Ausdruck

${\binom {p^{r-2}}{1}}p+{\binom {p^{r-2}}{2}}p^{2}+{\binom {p^{r-2}}{3}}p^{3}+\ldots =0\mod p^{r}.$

Der erste Summand ist dabei ${}{\binom {p^{r-2}}{1}}p=p^{r-1}$ und wir betrachten die weiteren Summanden

${\binom {p^{r-2}}{k}}p^{k}.$

mit ${}2\leq k\leq p^{r-2}$. Wir schreiben

${}{\binom {p^{r-2}}{k}}={\frac {p^{r-2}!}{k!(p^{r-2}-k)!}}={\frac {p^{r-2}\cdot (p^{r-2}-1)\cdots (p^{r-2}-k+1)}{k\cdot (k-1)\cdots 1}}={\frac {p^{r-2}\cdot (p^{r-2}-1)\cdots (p^{r-2}-k+1)}{k\cdot 1\cdots (k-1)}}\,.$

So geordnet steht vorne ${}{\frac {p^{r-2}}{k}}$ und dann folgen Ausdrücke der Form ${}{\frac {p^{r-2}-j}{j}}$,

${}j=1,\ldots ,k-1\,.$

Der Exponent der Primzahl ${}p$ in diesen letztgenannten Brüchen ist oben und unten gleich. Daher hängt der ${}p$-Exponent des Binomialkoeffizienten ${}{\binom {p^{r-2}}{k}}$ nur von ${}{\frac {p^{r-2}}{k}}$ ab. Es sei ${}i$ der ${}p$-Exponent von ${}k$. Der ${}p$-Exponent von ${}{\frac {p^{r-2}}{k}}$ ist dann ${}r-2-i$ und damit ist der ${}p$-Exponent von ${}{\binom {p^{r-2}}{k}}p^{k}$ gleich

$r-2-i+k.$

Wir behaupten, dass dies ${}\geq r$ ist, was für ${}i=0$ klar ist (wegen $k\geq 2$). Es sei also ${}i\geq 1$. Dann gilt aber, wegen ${}p\geq 3$, die Abschätzung

${}i\leq p^{i}-2\leq k-2\,,$

was genau die Aussage ergibt. Damit ist insgesamt in der obigen Summation der erste Summand, also ${}p^{r-1}$, kein Vielfaches von ${}p^{r}$, aber alle weiteren Summanden sind Vielfache von ${}p^{r}$, was einen Widerspruch bedeutet.

$\Box$

Satz

Es sei ${}p\geq 3$ eine Primzahl und ${}r\geq 1$. Dann ist die Einheitengruppe

${\left(\mathbb {Z} /(p^{r})\right)}^{\times }$

des Restklassenrings ${}\mathbb {Z} /(p^{r})$ zyklisch.

Beweis

Nach Lemma 5.9 ist die Abbildung

$\varphi \colon {\left(\mathbb {Z} /(p^{r})\right)}^{\times }\longrightarrow {\left(\mathbb {Z} /(p)\right)}^{\times }$

surjektiv. Die Einheitengruppe ${}{\left(\mathbb {Z} /(p)\right)}^{\times }$ ist zyklisch aufgrund von Satz 5.3. Sei ${}v\in {\left(\mathbb {Z} /(p)\right)}^{\times }$ ein erzeugendes (also primitives) Element dieser Gruppe (der Ordnung $p-1$) und sei ${}u\in {\left(\mathbb {Z} /(p^{r})\right)}^{\times }$ ein Element, das auf ${}v$ abgebildet wird. Die Ordnung von ${}u$ ist dann ein positives Vielfaches von ${}p-1$. Es gibt daher auch ein ${}w\in {\left(\mathbb {Z} /(p^{r})\right)}^{\times }$ (nämlich eine gewissse Potenz von ${}u$), das genau die Ordnung ${}p-1$ besitzt.

Auf der anderen Seite gibt es nach Lemma 5.10 ein Element ${}a\in {\left(\mathbb {Z} /(p^{r})\right)}^{\times }$, das den Kern von ${}\varphi$ erzeugt und die Ordnung ${}p^{r-1}$ besitzt. Die Ordnung von ${}aw$ ist somit das kleinste gemeinsame Vielfache von ${}p^{r-1}$ und ${}p-1$, also ${}p^{r-1}(p-1)$. Da dies die Gruppenordnung ist, muss die Gruppe zyklisch sein und ${}aw$ ist ein Erzeuger.

$\Box$

Bemerkung  

Für ${}p=2$ ist die Einheitengruppe von ${}\mathbb {Z} /(2^{r})$ im Allgemeinen nicht zyklisch. Für ${}r=1$ ist sie zyklisch (sogar trivial) und für ${}r=2$ ist ${}(\mathbb {Z} /(2^{2}))^{\times }=(\mathbb {Z} /(4))^{\times }$ ebenfalls zyklisch der Ordnung zwei, und zwar ist ${}3$ primitiv. Für ${}r=3$ hingegen ist ${}(\mathbb {Z} /(2^{3}))^{\times }=(\mathbb {Z} /(8))^{\times }$ nicht zyklisch. Es gilt nämlich

$1^{2}=1\!\!\!\mod 8,\,3^{2}=9=1\!\!\!\mod 8,\,5^{2}=25=1\!\!\!\mod 8\,\,{\mbox{ und }}\,\,7^{2}=49=1\!\!\!\mod 8,$

sodass alle Einheiten die Ordnung zwei haben und es keinen Erzeuger gibt. Die Einheitengruppe ist isomorph zu

${}(\mathbb {Z} /(8))^{\times }\cong \mathbb {Z} /(2)\times \mathbb {Z} /(2)\,.$

Ähnliche Überlegungen wie in Lemma 5.10 zeigen, dass die Einheitengruppe von ${}\mathbb {Z} /(2^{r})$ für ${}r\geq 3$ isomorph zu ${}\mathbb {Z} /(2^{r-2})\times \mathbb {Z} /(2)$ ist, und zwar ist stets ${}5$ ein Element der Ordnung ${}2^{r-2}$. Jede Einheit in ${}\mathbb {Z} /(2^{r})$ hat somit eine Darstellung der Form ${}\pm 5^{i}$.

<< | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)