From 1f5844826dcfd73d2f78153df1cf2537333c1851 Mon Sep 17 00:00:00 2001
From: david <david>
Date: Tue, 7 Oct 2008 10:04:22 +0000
Subject: More about Z/mZ.

---
 rappels-maths.tex | 137 +++++++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 136 insertions(+), 1 deletion(-)

diff --git a/rappels-maths.tex b/rappels-maths.tex
index 5c06c59..13cb112 100644
--- a/rappels-maths.tex
+++ b/rappels-maths.tex
@@ -40,7 +40,7 @@
 \maketitle
 {\footnotesize
 \begin{center}
-CVS: \verb=$Id: rappels-maths.tex,v 1.3 2008-09-30 21:58:17 david Exp $=
+CVS: \verb=$Id: rappels-maths.tex,v 1.4 2008-10-07 10:04:22 david Exp $=
 \end{center}
 \par}
 \pretolerance=10000
@@ -652,6 +652,141 @@ o
 \textbf{Algorithmiquement�:} \emph{lent} en g�n�ral (demande de
 conna�tre la d.f.p.).
 
+%
+\subsection{Notions de th�orie des groupes}
+
+Rappel de la d�finition d'un groupe (notations multiplicative,
+additive).  Morphisme, isomorphisme de groupes.
+
+Ordre d'un groupe = son cardinal.  Ordre d'un �l�ment $g$ dans un
+groupe = le plus petit $m\geq 1$ tel que $g^m = 1$ (en notation
+multiplicative�; en notation additive, cela s'�crirait�: $mg = 0$,
+i.e., un multiple de�$g$).
+
+Notion de sous-groupe.  Sous-groupe engendr� par une partie = plus
+petit sous-groupe la contenant.  Sous-groupe engendr� par un
+�l�ment�$g$�: c'est l'ensemble des puissances de�$g$ (en notation
+additive�: multiples).  L'ordre $m$ de ce sous-groupe est l'ordre
+de�$g$.  Ce sous-groupe est isomorphe � $\mathbb{Z}/m\mathbb{Z}$, avec
+$\bar 1 \mapsto g$.
+
+Th�or�me de Lagrange�: dans un groupe fini, l'ordre de tout
+sous-groupe divise l'ordre du groupe.  En particulier, l'ordre d'un
+�l�ment divise l'ordre du groupe�: si $G$ est un groupe fini et $g \in
+G$ alors $g^{\#G} = 1$.
+
+%
+\subsection{Groupes cycliques}
+
+On dit qu'un groupe fini $G$ est \textbf{cyclique} lorsqu'il existe un
+�l�ment $g$ (appel� \emph{g�n�rateur} de�$G$) tel que tout �l�ment de
+$G$ soit de la forme $g^k$ (une puissance de $g$, en notation
+multiplicative�; en notation additive, cela s'�crirait�: $kg$, i.e.,
+un multiple de�$g$), autrement dit�: le sous-groupe engendr� par $g$
+est $G$ tout entier.
+
+Le groupe \emph{additif} $\mathbb{Z}/m\mathbb{Z}$ est cyclique, avec
+pour g�n�rateur�$1$ (mais ce n'est pas le seul possible�!
+cf.�ci-dessous).  R�ciproquement, tout groupe cyclique est isomorphe �
+$\mathbb{Z}/m\mathbb{Z}$, avec $m$ l'ordre d'un g�n�rateur�$g$ (qui
+est donc aussi l'ordre du groupe et ne d�pend pas du g�n�rateur).
+D'o� une autre d�finition possible�: un groupe cyclique $G$ [de
+  g�n�rateur�$g$] est un groupe isomorphe � $\mathbb{Z}/m\mathbb{Z}$
+[avec $1$ correspondant �$g$].
+
+Les g�n�rateurs de $\mathbb{Z}/m\mathbb{Z}$ (comme groupe additif�!)
+sont pr�cis�ment les inversibles de $\mathbb{Z}/m\mathbb{Z}$ (comme
+anneau�!).  D�monstration...  Attention�! on parlera aussi, plus loin,
+des g�n�rateurs du groupe \emph{multiplicatif}
+$(\mathbb{Z}/m\mathbb{Z})^\times$ (et de la question de savoir s'il y
+en a).
+
+Moralit�: $\varphi(m)$ est aussi le nombre d'�l�ments d'un groupe
+cyclique (quelconque) d'ordre�$m$ qui en sont g�n�rateur.
+
+%
+\subsection{Th�or�me d'Euler}
+
+Si $m$ est un entier naturel non nul et $a$ un entier premier �$m$,
+alors
+\[
+a^{\varphi(m)} \equiv 1 \pmod{m}
+\]
+
+D�monstration�: l'�l�ment $\bar a \in (\mathbb{Z}/m\mathbb{Z})^\times$
+a un ordre qui doit diviser l'ordre du groupe, i.e.�$\varphi(m)$.
+
+Attention�! ne pas confondre l'ordre d'un �l�ment du groupe additif
+$\mathbb{Z}/m\mathbb{Z}$ et l'ordre d'un �l�ment du groupe
+multiplicatif $(\mathbb{Z}/m\mathbb{Z})^\times$.  Exemple�: quel est
+l'ordre de $2$ dans $\mathbb{Z}/7\mathbb{Z}$�? dans
+$(\mathbb{Z}/7\mathbb{Z})^\times$�?
+
+Cas particulier�: petit th�or�me de Fermat�: si $p$ est premier, alors
+pour tout entier $a$ on a
+\[
+a^p \equiv a \pmod{p}
+\]
+Ceci fournit une condition \emph{n�cessaire} mais non suffisante pour
+qu'un nombre soit premier.
+
+%
+\subsection{�l�ments primitifs}
+
+Soit $m$ un entier naturel non nul.  On dit que $g \in
+(\mathbb{Z}/m\mathbb{Z})^\times$ est (un r�sidu) \textbf{primitif}
+(modulo~$m$) lorsqu'il engendre $(\mathbb{Z}/m\mathbb{Z})^\times$
+(comme groupe ab�lien multiplicatif) --- ce qui entra�ne que
+$(\mathbb{Z}/m\mathbb{Z})^\times$ est cyclique.
+
+Autrement dit, $g^{\varphi(m)}=1$ est optimal ($\varphi(m)$ est
+exactement l'ordre de�$g$).
+
+Exemple�: les puissances de $\bar 2$ modulo $9$ sont�: $\bar 2,\bar
+4,\bar 8,\bar 7,\bar 5,\bar 1$�; il y en a bien $\varphi(9)=6$ donc
+$2$ est primitif modulo�$9$.
+
+\smallbreak
+\textbf{Attention�!} Ne pas confondre�:
+\begin{itemize}
+\item $\mathbb{Z}/m\mathbb{Z}$ (groupe \emph{additif}, d'�l�ment
+neutre�$0$) est d'ordre�$m$ et est \emph{toujours} cyclique (avec pour
+g�n�rateurs au moins $1$ et $-1$, et tous les �l�ments de
+$(\mathbb{Z}/m\mathbb{Z})^\times$).
+\item $(\mathbb{Z}/m\mathbb{Z})^\times$ (groupe \emph{multiplicatif},
+d'�l�ment neutre�$1$) est d'ordre�$\varphi(m)$ et est \emph{parfois}
+cyclique (auquel cas ses g�n�rateurs s'appellent �l�ments
+\emph{primitifs}).
+\end{itemize}
+
+\medbreak
+
+\textbf{Th�or�me�:}
+\begin{itemize}
+\item Si $p$ est un nombre premier impair, alors
+  $(\mathbb{Z}/p\mathbb{Z})^\times$ est cyclique, i.e., il existe des
+  �l�ments primitifs modulo�$p$.  (Il en existe exactement
+  $\varphi(p-1)$.)
+\item Si $p$ est un nombre premier impair et $r\geq 2$, alors
+  $(\mathbb{Z}/p^r\mathbb{Z})^\times$ est cyclique, i.e., il existe
+  des �l�ments primitifs modulo�$p^r$.  (Il en existe exactement
+  $\varphi(p^{r-1}(p-1))$.)  \emph{Mieux}�: $g$ est primitif modulo
+  $p^r$ si et seulement si il l'est modulo $p^2$.
+\item Si $p=2$ et $1\leq r\leq 2$, alors
+  $(\mathbb{Z}/2^r\mathbb{Z})^\times$ est trivialement cyclique.
+\item Si $p=2$ et $r \geq 3$, alors
+  $(\mathbb{Z}/2^r\mathbb{Z})^\times$ \emph{n'est pas} cyclique�: il
+  est produit d'un groupe cyclique d'ordre $2$ engendr� par $-1$ et
+  d'un groupe cyclique d'ordre $2^{r-2}$ engendr� par�$5$.
+\end{itemize}
+
+%
+\subsection{Exercices}
+
+\thingy Montrer que pour tout $a\in \mathbb{Z}$ on a $a^{1729} \equiv
+a \pmod{1729}$ (indication�: $1729 = 7\times 13 \times 19$�; utiliser
+le th�or�me chinois).
+
 %
 %
 %
-- 
cgit v1.2.3