Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 5/latex
\setcounter{section}{5}
\zwischenueberschrift{Endliche Untergruppen eines Körpers}
In diesem Abschnitt beschäftigen wir uns mit der Einheitengruppe der Restklassenringe
\mathl{\Z/(n)}{,} also mit
\mathl{{ \left( \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.
\inputfakt{Polynomring (Körper)/Nullstellen/Anzahl/Fakt}{Satz}{}
{
\faktsituation {Es sei $K$ ein \definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$. Es sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom
\zusatzklammer {\mathlk{\neq 0}{}} {} {}
vom
\definitionsverweis {Grad}{}{}
$d$.}
\faktfolgerung {Dann besitzt $P$ maximal $d$ Nullstellen.}
\faktzusatz {}
\faktzusatz {}
}
\inputfaktbeweis
{Körper (Algebra)/Untergruppen der Einheiten/Zyklisch/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ K^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche
\definitionsverweis {Untergruppe}{}{}
der multiplikativen Gruppe eines
\definitionsverweis {Körpers}{}{}
$K$.}
\faktfolgerung {Dann ist $U$
\definitionsverweis {zyklisch}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Sei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ \operatorname {ord} { { \left( U \right) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{e
}
{ = }{ \exp { \left( U \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionsverweis {Exponent}{}{}
dieser Gruppe. Dies bedeutet, dass alle Elemente
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Nullstelle des Polynoms
\mathl{X^{e} -1}{} sind. Nach
Satz 5.1
ist die Anzahl der Nullstellen aber maximal gleich dem Grad, so dass
\mavergleichskette
{\vergleichskette
{n
}
{ = }{e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Nach
Lemma 4.16
ist dann $U$ zyklisch.
Die reellen Zahlen besitzen überhaupt nur die beiden endlichen multiplikativen Untergruppen
\mathkor {} {\{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
\mathdisp {\{ 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.
\inputfaktbeweis
{Restklassenringe (Z)/Einheitengruppe/Primzahl/Zyklisch/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $p$ eine
\definitionsverweis {Primzahl}{}{.}}
\faktfolgerung {Dann ist die
\definitionsverweis {Einheitengruppe}{}{}
\mathl{{ \left( \Z/(p) \right) }^{\times}}{}
\definitionsverweis {zyklisch}{}{}
mit der
\definitionsverweis {Ordnung}{}{}
\mathl{p-1}{.}}
\faktzusatz {Es gibt also Elemente $g$ mit der Eigenschaft, dass die Potenzen
\mathbed {g^{i}} {}
{i=0,1 , \ldots , p-2} {}
{} {} {} {,}
alle Einheiten durchlaufen.}
\faktzusatz {}
}
{
Dies folgt unmittelbar aus
Satz 5.2, da
\mathl{\Z/(p)}{} ein endlicher Körper ist.
\inputdefinition
{{{{2}}}}
{
Eine
\definitionsverweis {Einheit}{}{}
\mathl{g \in { \left( \Z/(n) \right) }^{\times}}{} heißt \definitionswort {primitiv}{}
\zusatzklammer {oder eine \definitionswort {primitive Einheit}{}} {} {,}
wenn sie die
\definitionsverweis {Einheitengruppe}{}{}
erzeugt.
}
\inputbemerkung
{}
{
Der
Satz 5.3
sagt insbesondere, dass es für eine Primzahl $p$ primitive Elemente im Restklassenkörper
\mathl{\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
\mathl{g \in { \left( \Z/(p) \right) }^{\times}}{} bedeutet die Eigenschaft, primitiv zu sein, dass ein Gruppenisomorphismus
\maabbeledisp {} { (\Z/(p-1) , +,0) } { ( { \left( \Z/(p) \right) }^{\times} , \cdot, 1)
} {i} {g^{i}
} {,}
vorliegt. Für eine beliebige natürliche Zahl $n$ ist die Einheitengruppe der Restklassenringe
\mathl{\Z/(n)}{} im Allgemeinen nicht zyklisch. Wir werden später diejenigen Zahlen charakterisieren, die diese Eigenschaft besitzen.
}
\inputfaktbeweis
{Restklassenringe (Z)/Einheitengruppe/Primitive Elemente/Anzahl/Fakt}
{Korollar}
{}
{
Es sei $p$ eine Primzahl. Dann gibt es in
\mathl{{\mathbb Z}/(p)}{} genau
\mathl{\varphi(p-1)}{}
\definitionsverweis {primitive}{}{} Elemente.
}
{
Aufgrund der Existenz von primitiven Elementen gibt es eine Isomorphie
\mavergleichskettedisp
{\vergleichskette
{ \Z/(p-1)
}
{ =} { { \left( \Z/(p) \right) }^{\times}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher geht es um die Anzahl der Erzeuger der additiven Gruppe
\mathl{\Z/(p-1)}{.} Ein Element aus
\mathl{\Z/(p-1)}{} ist ein Gruppenerzeuger genau dann, wenn es in
\mathl{\Z/(p-1)}{}
\zusatzklammer {als Ring betrachtet} {} {}
eine
\definitionsverweis {Einheit}{}{}
ist. Deshalb ist die Anzahl gerade
\mathl{\varphi(p-1)}{.}
\zwischenueberschrift{Die Einheitengruppen der Restklassenringe}
Wir kehren nun zum allgemeinen Fall zurück, wo $n$ eine beliebige positive ganze Zahl ist.
\inputfaktbeweis
{Restklassenringe (Z)/Einheitengruppe/Produktdarstellung/Fakt}
{Satz}
{}
{
Es sei $n$ eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung
\mathl{n= p_1^{r_1} \cdot p_2^{r_2} \cdots p_k^{r_k}}{.} Dann induziert der
\definitionsverweis {Ringisomorphismus}{}{}
des Chinesischen Restsatzes
\mavergleichskette
{\vergleichskette
{ \Z/(n)
}
{ \cong }{ \Z/(p_1^{r_1}) \times \Z/(p_2^{r_2}) \times \cdots \times \Z/(p_k^{r_k})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einen
\definitionsverweis {Gruppenisomorphismus}{}{}
der
\definitionsverweis {Einheitengruppen}{}{}
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ { \left( \Z/(n) \right) }^{\times}
}
{ \cong} { { \left( \Z/(p_1^{r_1}) \right) }^{\times} \times { \left( \Z/(p_2^{r_2}) \right) }^{\times} \times \cdots \times { \left( \Z/(p_k^{r_k}) \right) }^{\times}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Insbesondere ist die Einheitengruppe von
\mathl{\Z/(n)}{} höchstens dann
\definitionsverweis {zyklisch}{}{,}
wenn die Einheitengruppen von
\mathl{\Z/(p_i^{r_i})}{} für alle
\mavergleichskette
{\vergleichskette
{ i
}
{ = }{ 1 , \ldots , k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zyklisch sind.
}
{
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 \zusatzklammer {unter der Projektion auf die Komponente} {} {.}
\inputbemerkung
{}
{
Aus
der Einheitenversion
des Chinesischen Restsatzes folgt für die
\definitionsverweis {Eulersche Funktion}{}{,}
wenn
\mavergleichskette
{\vergleichskette
{n
}
{ = }{p_1^{r_1} \cdot p_2^{r_2} \cdots p_k^{r_k}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Primfaktorzerlegung ist, die Identität
\mavergleichskettedisp
{\vergleichskette
{ \varphi(n)
}
{ =} { \varphi (p_1^{r_1}) \cdot \varphi (p_2^{r_2}) \cdots \varphi (p_k^{r_k})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Man muss also nur noch
\mathl{\varphi (p^{r})}{} für eine Primzahl $p$ berechnen, wobei natürlich
\mavergleichskette
{\vergleichskette
{ \varphi (p)
}
{ = }{p-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Für $p^{r}$ mit
\mavergleichskette
{\vergleichskette
{r
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist eine Zahl
\mavergleichskette
{\vergleichskette
{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
\mathbed {bp} {mit}
{0 \leq b < p^{r-1}} {}
{} {} {} {.}
Dies sind
\mathl{p^{r-1}}{} Stück, so dass es also
\mavergleichskette
{\vergleichskette
{ p^{r} - p^{r-1}
}
{ = }{p^{r-1}(p-1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Einheiten gibt. Wir erhalten demnach
\mavergleichskettedisp
{\vergleichskette
{ \varphi(p^r)
}
{ =} {p^{r-1}(p-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und insgesamt
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \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)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Die Einheitengruppen nach Primzahlpotenzen}
Ausgehend von
Satz 5.7
ist es wichtig, die Einheitengruppe von
\mathl{\Z/(p^r)}{} zu verstehen.
\inputfaktbeweis
{Restklassenring (Z)/Einheitengruppe/Primzahlpotenzreduktion/Surjektiv/Fakt}
{Lemma}
{}
{
Es sei $p$ eine
\definitionsverweis {Primzahl}{}{}
und
\mavergleichskette
{\vergleichskette
{r
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist der durch die kanonische Projektion
\maabbdisp {} { \Z/(p^r) } { \Z/(p)
} {}
induzierte Gruppenhomomorphismus
\maabbdisp {} { { \left( \Z/(p^r) \right) }^{\times} } { { \left( \Z/(p) \right) }^{\times}
} {}
der
\definitionsverweis {Einheitengruppen}{}{}
surjektiv.
}
{
Es sei
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \Z/(p) ^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Einheit. Dann ist $a$ teilerfremd zu $p$ und damit kein Vielfaches von $p$. Wir fassen $a$ als Element in
\mathl{\Z/(p^r)}{} auf. Da $a$ nach wie vor kein Vielfaches von $p$ ist, ist es auch in
\mathl{\Z/(p^r)}{} eine Einheit, und zugleich ein Urbild von
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \Z/(p) ^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputfaktbeweis
{Restklassenring (Z)/Einheitengruppe/Primzahlpotenzreduktion/Kern ist zyklisch/Fakt}
{Lemma}
{}
{
Sei
\mavergleichskette
{\vergleichskette
{p
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Primzahl}{}{}
und
\mavergleichskette
{\vergleichskette
{r
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist der Kern des
\definitionsverweis {Einheiten}{}{-}Homomorphismus
\maabbdisp {\varphi} { { \left( \Z/(p^r) \right) }^{\times}} { { \left( \Z/(p) \right) }^{\times}
} {}
\definitionsverweis {zyklisch}{}{}
der
\definitionsverweis {Ordnung}{}{}
$p^{r-1}$.
}
{
Wir zeigen, dass das Element
\mavergleichskette
{\vergleichskette
{a
}
{ = }{1+p
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das offensichtlich zum Kern von
\maabbdisp {\varphi} { { \left( \Z/(p^r) \right) }^{\times} } { { \left( \Z/(p) \right) }^{\times}
} {}
gehört, in der Einheitengruppe
\mathl{{ \left( \Z/(p^r) \right) }^{\times}}{} die Ordnung
\mathl{p^{r-1}}{} besitzt. Da diese Kerngruppe die Ordnung
\mathl{p^{r-1}}{} hat, muss die
\zusatzklammer {multiplikative} {} {}
Ordnung von $a$ ein Teiler davon sein, also von der Gestalt $p^{s}$ mit
\mavergleichskette
{\vergleichskette
{s
}
{ \leq }{ r-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Wir zeigen, dass
\mavergleichskette
{\vergleichskette
{ a^{p^{r-2} }
}
{ \neq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mathl{{ \left( \Z/(p^r) \right) }^{\times}}{} ist, so dass also nur noch die Ordnung
\mathl{p^{r-1}}{} möglich bleibt.
Nehmen wir also
\mathl{a^{p^{r-2} } =1 \mod p^r}{} an, das bedeutet
\mathdisp {a^{p^{r-2} }-1 = (1+p)^{p^{r-2} }-1 = 0 \mod p^r} { . }
Ausmultiplizieren ergibt den Ausdruck
\mathdisp {\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
\mavergleichskette
{\vergleichskette
{ \binom{{p^{r-2}}}{1} p
}
{ = }{ p^{r-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und wir betrachten die weiteren Summanden
\mathdisp {\binom{{p^{r-2}}}{k} p^k} { . }
mit
\mavergleichskette
{\vergleichskette
{2
}
{ \leq }{k
}
{ \leq }{ p^{r-2}
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir schreiben
\mavergleichskettedisp
{\vergleichskette
{ \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
\mathl{\frac{p^{r-2} }{k}}{} und dann folgen Ausdrücke der Form
\mathl{\frac{p^{r-2}-j}{j}}{,}
\mavergleichskettedisp
{\vergleichskette
{ 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
\mathl{\binom{ {p^{r-2} } }{k}}{} nur von
\mathl{\frac{p^{r-2} }{k}}{} ab. Es sei $i$ der $p$-Exponent von $k$. Der $p$-Exponent von
\mathl{\frac{p^{r-2} }{k}}{} ist dann
\mathl{r-2-i}{} und damit ist der $p$-Exponent von
\mathl{\binom{ {p^{r-2} } }{k} p^k}{} gleich
\mathdisp {r-2-i+k} { . }
Wir behaupten, dass dies $\geq r$ ist, was für
\mavergleichskette
{\vergleichskette
{ i
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
klar ist
\zusatzklammer {wegen \mathlk{k \geq 2}{}} {} {.}
Es sei also
\mavergleichskette
{\vergleichskette
{ i
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt aber, wegen
\mavergleichskette
{\vergleichskette
{ p
}
{ \geq }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{i
}
{ \leq} { p^i -2
}
{ \leq} { k-2
}
{ } {
}
{ } {
}
}
{}{}{,}
was genau die Aussage ergibt. Damit ist insgesamt in der obigen Summation der erste Summand, also
\mathl{p^{r-1}}{,} kein Vielfaches von $p^{r}$, aber alle weiteren Summanden sind Vielfache von $p^{r}$, was einen Widerspruch bedeutet.
\inputfaktbeweis
{Restklassenringe (Z)/Einheitengruppe/Primzahlpotenz/Zyklisch/Fakt}
{Satz}
{}
{
Sei
\mavergleichskette
{\vergleichskette
{p
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Primzahl}{}{}
und
\mavergleichskette
{\vergleichskette
{r
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist die
\definitionsverweis {Einheitengruppe}{}{}
\mathdisp {{ \left( \Z/(p^r) \right) }^{\times}} { }
des Restklassenrings
\mathl{\Z/(p^r)}{}
\definitionsverweis {zyklisch}{}{.}
}
{
Nach
Lemma 5.9
ist die Abbildung
\maabbdisp {\varphi} { { \left( \Z/(p^r) \right) }^{\times} } { { \left( \Z/(p) \right) }^{\times}
} {}
surjektiv. Die Einheitengruppe
\mathl{{ \left( \Z/(p) \right) }^{\times}}{} ist zyklisch aufgrund von
Satz 5.3.
Sei
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ { \left( \Z/(p) \right) }^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein erzeugendes
\zusatzklammer {also primitives} {} {}
Element dieser Gruppe
\zusatzklammer {der Ordnung \mathlk{p-1}{}} {} {}
und sei
\mavergleichskette
{\vergleichskette
{ u
}
{ \in }{ { \left( \Z/(p^r) \right) }^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element, das auf $v$ abgebildet wird. Die Ordnung von $u$ ist dann ein positives Vielfaches von
\mathl{p-1}{.} Es gibt daher auch ein
\mavergleichskette
{\vergleichskette
{ w
}
{ \in }{ { \left( \Z/(p^r) \right) }^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {nämlich eine gewissse Potenz von $u$} {} {,}
das genau die Ordnung
\mathl{p-1}{} besitzt.
Auf der anderen Seite gibt es nach
Lemma 5.10
ein Element
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ { \left( \Z/(p^r) \right) }^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das den Kern von $\varphi$ erzeugt und die Ordnung
\mathl{p^{r-1}}{} besitzt. Die Ordnung von $aw$ ist somit das kleinste gemeinsame Vielfache von
\mathkor {} {p^{r-1}} {und} {p-1} {,}
also
\mathl{p^{r-1}( p-1)}{.} Da dies die Gruppenordnung ist, muss die Gruppe zyklisch sein und $aw$ ist ein Erzeuger.
\inputbemerkung
{}
{
Für
\mathl{p=2}{} ist die Einheitengruppe von
\mathl{\Z/(2^r)}{} im Allgemeinen nicht zyklisch. Für
\mathl{r=1}{} ist sie zyklisch
\zusatzklammer {sogar trivial} {} {}
und für
\mathl{r=2}{} ist
\mavergleichskette
{\vergleichskette
{ ( \Z/(2^2) )^\times
}
{ = }{( \Z/(4) )^\times
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ebenfalls zyklisch der Ordnung zwei, und zwar ist $3$ primitiv. Für
\mathl{r=3}{} hingegen ist
\mavergleichskette
{\vergleichskette
{ ( \Z/(2^3) )^\times
}
{ = }{( \Z/(8) )^\times
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nicht zyklisch. Es gilt nämlich
\mathdisp {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} { , }
so dass alle Einheiten die Ordnung zwei haben und es keinen Erzeuger gibt. Die Einheitengruppe ist isomorph zu
\mavergleichskettedisp
{\vergleichskette
{ ( {\mathbb Z}/(8))^\times
}
{ \cong} { \Z/(2) \times {\mathbb Z}/(2)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Ähnliche Überlegungen wie in
Lemma 5.10
zeigen, dass die Einheitengruppe von
\mathl{\Z/(2^r)}{} für
\mathl{r \geq 3}{} isomorph zu
\mathl{\Z/(2^{r-2}) \times \Z/(2)}{} ist, und zwar ist stets $5$ ein Element der Ordnung
\mathl{2^{r-2}}{.} Jede Einheit in
\mathl{\Z/(2^r)}{} hat somit eine Darstellung der Form $\pm 5^{i}$.
}
| << | Kurs:Zahlentheorie (Osnabrück 2016-2017) | >> |
|---|