Quiz : Théorie des Groupes - Lagrange & Groupes Quotients

Réponse : B. Le théorème de Lagrange stipule que l'ordre d'un sous-groupe doit diviser l'ordre du groupe. Les diviseurs de 12 sont 1, 2, 3, 4, 6, 12. Parmi les options proposées, seul 3 est un diviseur de 12. Les autres nombres (5, 7, 11) ne divisent pas 12.

Réponse : A. L'ordre d'un élément $g$ dans un groupe est défini comme l'ordre du sous-groupe cyclique engendré par $g$, noté $\langle g \rangle$. Si l'ordre de $g$ est 5, alors le sous-groupe $\langle g \rangle$ contient 5 éléments. Les autres options sont incorrectes car elles ne correspondent pas à la définition de l'ordre d'un élément.

Réponse : C. La formation d'un groupe quotient $G/N$ repose sur la définition d'une opération bien définie sur les classes latérales de $N$. Cette opération est bien définie si et seulement si $N$ est un sous-groupe normal de $G$. Les options A, B, et D décrivent des propriétés possibles de certains sous-groupes, mais ne sont pas la condition nécessaire et suffisante pour former un groupe quotient.

Réponse : B. L'ordre de 3 dans $\mathbb{Z}_6$ est le plus petit entier positif $k$ tel que $k \cdot 3 \equiv 0 \pmod{6}$. On a $1 \cdot 3 = 3$, $2 \cdot 3 = 6 \equiv 0 \pmod{6}$. Donc, l'ordre de 3 est 2. L'ordre du groupe $\mathbb{Z}_6$ est 6, et 2 divise bien 6, conformément au théorème de Lagrange.

Réponse : B. Dans le groupe quotient $G/N$, l'opération est définie comme $(g_1N) * (g_2N) = (g_1 * g_2)N$. L'élément neutre $e'$ de $G/N$ doit satisfaire $e' * (gN) = (gN) * e' = gN$ pour tout $gN \in G/N$. Si on choisit $e' = eN$ (la classe de l'élément neutre $e$ de $G$), on a $(eN) * (gN) = (e * g)N = gN$, et $(gN) * (eN) = (g * e)N = gN$. Donc, $eN$ est bien l'élément neutre de $G/N$. L'option A est incorrecte car $e$ est un élément, pas une classe.

Réponse : A. Dans $S_3$, le sous-groupe $\{e\}$ et $S_3$ sont toujours normaux. Le sous-groupe engendré par $(1 2 3)$ est le groupe alterné $A_3 = \{e, (1 2 3), (1 3 2)\}$, qui est normal dans $S_3$ (tous les sous-groupes d'indice 2 sont normaux). Le sous-groupe engendré par $(1 2)$ est $H = \{e, (1 2)\}$. Cet sous-groupe n'est pas normal car, par exemple, si on prend $g = (1 3) \in S_3$, alors $g(1 2)g^{-1} = (1 3)(1 2)(1 3) = (1 3 2)(1 3) = (2 3) \notin H$. Donc, $H$ n'est pas normal.

Réponse : A. D'après le théorème de Lagrange, l'ordre de tout sous-groupe doit diviser l'ordre du groupe. Si l'ordre de $G$ est $p$ (un nombre premier), les seuls diviseurs positifs de $p$ sont 1 et $p$. Il existe toujours un sous-groupe d'ordre 1 (le sous-groupe trivial $\{e\}$) et si $G$ n'est pas trivial, il existe au moins un sous-groupe d'ordre $p$ (le groupe $G$ lui-même). Il est aussi vrai que si l'ordre d'un groupe est premier, alors ce groupe est cyclique.

Réponse : D. L'associativité de l'opération dans $G/N$ découle directement de l'associativité de l'opération dans $G$. En effet, pour trois classes $(g_1N), (g_2N), (g_3N) \in G/N$ : $((g_1N) * (g_2N)) * (g_3N) = ((g_1 * g_2)N) * (g_3N) = ((g_1 * g_2) * g_3)N$ $(g_1N) * ((g_2N) * (g_3N)) = (g_1N) * ((g_2 * g_3)N) = (g_1 * (g_2 * g_3))N$ Comme l'opération dans $G$ est associative, $(g_1 * g_2) * g_3 = g_1 * (g_2 * g_3)$, donc les deux expressions sont égales. La normalité de $N$ assure que l'opération est bien définie, et l'associativité de $G$ assure celle de $G/N$. Les autres options sont restrictives et inutiles.

Réponse : C. L'ordre de $\mathbb{Z}_8$ est 8. Les diviseurs de 8 sont 1, 2, 4, 8. Il doit exister un sous-groupe d'ordre 4. Comme $\mathbb{Z}_8$ est cyclique, il n'a qu'un seul sous-groupe pour chaque diviseur de son ordre. Le sous-groupe d'ordre 4 est engendré par l'élément $8/4 = 2$. Donc, $\langle 2 \rangle = \{2 \cdot 0, 2 \cdot 1, 2 \cdot 2, 2 \cdot 3\} \pmod 8 = \{0, 2, 4, 6\}$. Les options A et D sont incorrectes car elles n'ont pas 4 éléments ou ne forment pas un sous-groupe.

Réponse : B. Un sous-groupe $N$ d'un groupe $G$ est toujours normal si $G$ est abélien. Dans ce cas, $G = (\mathbb{R}^, \times)$ est abélien car la multiplication des réels est commutative ($xy = yx$ pour tous $x,y \in \mathbb{R}^$). Donc, $N = \{1, -1\}$ est un sous-groupe normal de $G$. L'option C est incorrecte car $G$ est infini, donc la notion de division d'ordres ne s'applique pas de la même manière que pour les groupes finis.

Réponse : A. Si l'indice de $H$ dans $G$ est 2, cela signifie que $G$ est l'union disjointe de deux classes latérales : $G = H \cup gH$ (où $g \notin H$). Puisque $H$ est un sous-groupe, $gH = G \setminus H$. De même, les classes à droite sont $H$ et $Hg$. Si $g \in H$, alors $Hg = H$. Si $g \notin H$, alors $Hg$ est l'autre classe. Comme $H$ est un sous-groupe, $g^{-1} \in H$ si $g \in H$. Pour tout $g \in G$, si $g \in H$, alors $gHg^{-1} = H$. Si $g \notin H$, alors $gH = G \setminus H$ et $Hg = G \setminus H$. Il faut montrer que $gHg^{-1} = H$ pour tout $g \in G$. Si $g \in H$, $gHg^{-1}=H$. Si $g \notin H$, alors $gH = G \setminus H$ et $Hg = G \setminus H$. La seule façon pour que $gHg^{-1} = H$ est que $gH = Hg$. Dans ce cas précis d'indice 2, cela est toujours vrai. Donc, tout sous-groupe d'indice 2 est normal.

Réponse : C. L'ordre de $S_3$ est 6. L'ordre de $N=A_3$ est 3. L'indice de $N$ dans $S_3$ est $|S_3|/|N| = 6/3 = 2$. Comme $N$ est un sous-groupe d'indice 2, il est normal. Le groupe quotient $G/N$ aura donc un ordre égal à l'indice, soit 2. Le seul groupe d'ordre 2 à isomorphisme près est $\mathbb{Z}_2$. Les classes de $S_3$ modulo $A_3$ sont $A_3$ et $(1 2)A_3 = \{(1 2), (1 2)(1 2 3), (1 2)(1 3 2)\} = \{(1 2), (1 2 1 2 3), (1 2 1 3 2)\} = \{(1 2), (1 3), (2 3)\}$. L'opération entre ces classes mène à $\mathbb{Z}_2$. Les options B et C sont identiques.

Réponse : B. Le théorème de Lagrange affirme que l'ordre de tout sous-groupe divise l'ordre du groupe. Donc, un sous-groupe peut avoir un ordre qui divise 30 (par exemple, 1, 2, 3, 5, 6, 10, 15, 30). Cependant, le théorème de Lagrange ne garantit pas qu'un sous-groupe d'un ordre donné (qui divise l'ordre du groupe) existe toujours. Par exemple, $A_4$ est d'ordre 12 et n'a pas de sous-groupe d'ordre 6. Il existe des théorèmes plus avancés comme le théorème de Sylow qui garantissent l'existence de sous-groupes pour certains diviseurs de l'ordre. Le théorème de Cauchy garantit l'existence d'un élément d'ordre $p$ (et donc d'un sous-groupe cyclique d'ordre $p$) pour chaque diviseur premier $p$ de $|G|$. Ici, pour $p=3$ et $p=5$, il y a des éléments d'ordre 3 et 5. Il peut exister un sous-groupe d'ordre 15 (par exemple, s'il existe un groupe d'ordre 15), mais ce n'est pas une garantie générale pour tout groupe d'ordre 30. L'option C est fausse car elle est trop générale.