Add warning for last lectures

This commit is contained in:
Anton Mosich 2023-01-18 16:36:38 +01:00
parent 3a642cfa8f
commit 4a88d6b2be
Signed by: Flugschwein
GPG key ID: 9303E1C32E3A14A0

View file

@ -137,6 +137,7 @@
\newcommand\mc\mathcal
\newcommand\nt\trianglelefteq
\newcommand\ideal\triangleleft
\newcommand\rk[1]{\faktor \Z {#1 \Z}}
\newif\ifhideproofs
%\hideproofstrue
@ -3730,8 +3731,9 @@ Es gilt: $R, S$ seien KREs. Dann ist $(R \times S)^* = R^* \times S^*$.
\end{proof}
\begin{defin}
Sei $m \in \N$ eine Zahl für die $\left( \faktor \Z {m\Z} \right)^*$ zyklisch ist und $g$ ein Erzeuger von
$\left(\faktor \Z {m\Z}\right)^*$. Dann heißt $g$ Primitivwurzel mod $m$.
Sei $m \in \N$ eine Zahl für die $\left( \faktor \Z {m\Z} \right)^*$
zyklisch ist und $g$ ein Erzeuger von $\left(\faktor \Z {m\Z}\right)^*$. Dann
heißt $g$ Primitivwurzel mod $m$.
\end{defin}
Behauptung: Falls es eine Primitivwurzel (PW) $\mod m$ gibt,
@ -3763,4 +3765,8 @@ Es gilt sogar: $\left( \faktor \Z {p^m\Z} \right)^*$ ist
Das hieße $(p-1)g^{p-2} \equiv 0 \pmod p \implies {g^{p-2} \equiv 0 \pmod p}$. $g$ ist aber PW. \qed
\end{proof}
\begin{warnung}
Ich werde wohl die nächsten Donnerstagsvorlesungen voraussichtlich nicht besuchen können.
\end{warnung}
\end{document}