Bonjour
Je cherche à montrer que pour $d \mid n$ , il n'existe qu'un seul sous-groupe de $\Z/n\Z$ d'indice $d$. J'arrive à montrer que si $\pi$ désigne la réduction modulo $n$, tout sous-groupe $H$ de $\Z/n\Z$ s'écrit $\pi(p\Z)$ pour un certain $p$. Après je bloque ...
Merci.
Réponses
(NB: un sous-groupe de $\Z / n \Z$ d'indice $d$ n'est jamais rien d'autre qu'un sous-groupe de cardinal $n/d$).
Si d | n alors $n\mathbb{Z}$ est un sous groupe (normal) de $d\mathbb{Z}$.
Par le théorème de correspondance, les d$ \mathbb{Z}$ avec d | n sont en bijection avec les sous groupes de $ \mathbb{Z}/n\mathbb{Z}$. Cette bijection est $ \pi : d\mathbb{Z} \to d\mathbb{Z} / n\mathbb{Z}$.
Donc les seuls sous-groupes de $ \mathbb{Z}/n\mathbb{Z}$ sont les $d\mathbb{Z} / n\mathbb{Z}$ pour d | n.
Ensuite, en utilisant le troisième théorème d'isomorphisme, on a : $\frac{\mathbb{Z} / n\mathbb{Z}}{d\mathbb{Z} / n\mathbb{Z}} \cong \mathbb{Z} / d\mathbb{Z}$
Ce qui montre que ce sous-groupe est d'indice d$.$
2) Généralisation
D'abord $\mathbb{Z} / n\mathbb{Z}$ est cyclique, engendré par 1.
Soit $ G = <x> $ un groupe cyclique (fini, d'ordre n). Montrons pour pour chaque d | n, il existe un seul sous-groupe de cardinal d.
D'abord un tel sous groupe existe car $ d|n \implies n/d \in \mathbb{N}$ et $ x^{n/d} $ est d'ordre d.
Ensuite, si $ H$ est un sous-groupe d'ordre d de $ G$, alors on montre (en utilisant le min et la division euclidienne) que il existe k positif tel que : $ H = <x^k>$. On a donc $x^{kd} = e$ donc il existe p tel que $kd = np$ donc $ k = (n/d)p$ donc $x^k \in <x^{n/d}>$.
Donc $ H \subset <x^{n/d}>$. Mais ils ont le même cardinal, donc ils sont égaux. Ce qui montre l'unicité.
3) Réciproque
Un groupe fini est cyclique si et seulement si pour chaque diviseur d de son ordre il existe un unique sous-groupe d'ordre $d$.
Pour la démonstration, utiliser le fait que $\sum\limits_{d|n} \phi(d) = n$ où $ \phi(d)$ est le nombre de générateurs d'un groupe cyclique d'ordre n (indicateur d’Euler).
Bien cordialement
[small]P.S. Un paragraphe devenu inutile.
En utilisant le théorème de Lagrange : $ |\mathbb{Z} / n\mathbb{Z}| = |\mathbb{Z} / d\mathbb{Z}| \times |d\mathbb{Z} / n\mathbb{Z}|$ soit : $n = d \times |d\mathbb{Z} / n\mathbb{Z}|$.
Ce qui montre que ce sous-groupe est de cardinal $n/d$ (et donc bien d'indice $d$). En écho avec la remarque de Foys.[/small]
[Leonhard Euler (1707-1783) prend toujours une majuscule. AD]
[Merci]
Soit $m$ tel que $m\delta=n$. Soit $x \in \{0,...,n-1\}$ (on a $\mathbb Z / n \mathbb Z= \{\overline 0,...,\overline{n-1}\}$, toutes ces classes étant distinctes).
Alors $\overline{\delta x}=\overline{0}$ si et seulement s'il existe $k \in \mathbb N$ tel que $\delta x=kn=k\delta m$. Si et seulement si $x=km$. Donc si et seulement si $x$ fait partie des multiples de $m$ compris entre $0$ et $n-1$: il y en a $\frac{n}{m}= \delta$ (il suffit de compter).
Merci :-)
$d\Z / n\Z$?
Il y a une faute de frappe, il faut lire : $\pi:d\Z\mapsto d\Z/n\Z$, c'est-à-dire que $\pi$ est l'application qui au sous-groupe $d\Z$ de $\Z$ avec $d|n$ associe le sous-groupe $d\Z/n\Z$ de $\Z/n\Z$. (C'est une bijection entre sous-groupes de $\Z$ qui contiennent $n\Z$ et sous-groupes de $\Z/n\Z$.)
Merci.
merci :-)