Math spé : Groupes
Structure de groupe
Exercice 1 
- Exemples de groupes - avec des fonctions [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Les ensembles suivants munis des lois considérées sont-ils des groupes?
- $G$ est l'ensemble des fonctions de $\mathbb R\to\mathbb R$ définies par $x\mapsto ax+b$, avec $a\in\mathbb R^*$ et $b\in\mathbb R$, muni de la composition;
- $G$ est l'ensemble des fonctions croissantes de $\mathbb R$ dans $\mathbb R$, muni de l'addition;
- $G=\{f_1,f_2,f_3,f_4\}$, où $$f_1(x)=x,\ f_2(x)=-x,\ f_3(x)=\frac 1x,\ f_4(x)=-\frac 1x,$$ muni de la composition.
Enoncé 

Montrer que les lois suivantes munissent l'ensemble $G$ indiqué d'une structure de groupe, et préciser s'il est abélien :
- $x\star y=\frac{x+y}{1+xy}$ sur $G=]-1,1[$;
- $(x,y)\star (x',y')=(x+x',ye^{x'}+y'e^{-x})$ sur $G=\mathbb R^2$;
Enoncé 

Soit $G$ un groupe fini d'élément neutre $e$. On suppose que le cardinal de $G$ est pair. Démontrer qu'il existe $x\in G$ avec $x\neq e$ tel que $x=x^{-1}$.
Enoncé 

Soit $G$ un ensemble fini muni d'une loi de composition interne $\star$ associative.
On dit qu'un élément $a$ de $G$ est régulier si les deux conditions suivantes sont réalisées :
- l'égalité $a\star x=a\star y$ entraine $x=y$;
- l'égalité $x\star a=y\star a$ entraine $x=y$.
- Démontrer qu'il existe $e\in G$ tel que $a\star e=a$.
- Démontrer que, pour tout $x\in G$, on a $e\star x=x$.
- Démontrer que, pour tout $x\in G$, on a $x\star e=x$.
- Démontrer que $(G,\star)$ est un groupe.
- Le résultat subsiste-t-il si $G$ n'est pas fini?
Exercice 5 



- Minimisation des axiomes d'un groupe [Signaler une erreur] [Ajouter à ma feuille d'exos]





Enoncé 

Soit $G$ un ensemble muni d'une loi de composition interne $\cdot$ associative, qui possède un élément neutre à droite $e$ (ie pour tout $x$ de $G$, $x.e=x$) et tel que tout élément $x$ possède un inverse à droite $x'$ (ie $xx'=e$). Montrer que $G$ est un groupe.
Sous-groupe
Enoncé 

Soit $(G,\cdot)$ un groupe. Démontrer que les parties suivantes sont des sous-groupes de $G$ :
- $C(G)=\{x\in G;\ \forall y\in G, xy=yx\}$ ($C(G)$ s'appelle le centre de $G$);
- $aHa^{-1}=\{aha^{-1};\ h\in H\}$ où $a\in G$ et $H$ est un sous-groupe de $G$.
- On suppose de plus que $G$ est abélien. On dit que $x$ est un élément de torsion de $G$ s'il existe $n\in\mathbb N$ tel que $x^n=e$. Démontrer que l'ensemble des éléments de torsion de $G$ est un sous-groupe de $G$.
Exercice 7 

- Inversibles à coefficients dans $\mathbb Z$. [Signaler une erreur] [Ajouter à ma feuille d'exos]



Enoncé 

On note $GL_n(\mathbb Z)$ l'ensemble des matrices de $\mathcal M_n(\mathbb R)$, à coefficients dans $\mathbb Z$, qui sont inversibles et dont l'inverse est à coefficients dans $\mathbb Z$.
- Démontrer que si $M$ est à coefficients dans $\mathbb Z$, alors $M\in GL_n(\mathbb Z)$ si et seulement si $\det(M)=\pm 1$.
- En déduire que $GL_n(\mathbb Z)$ est un sous-groupe de $GL_n(\mathbb R)$.
Enoncé 

Montrer que $H=\{x+y\sqrt 3;\ x\in\mathbb N,\ y\in\mathbb Z,\ x^2-3y^2=1\}$ est un sous-groupe de $(\mathbb R_+^*,\times)$.
Exercice 9
- Produit de groupe et sous-groupe du produit [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé 

Un sous-groupe d'un groupe produit est-il nécessairement produit de deux sous-groupes?
Enoncé 

Soit $G$ un groupe et $H,K$ deux sous-groupes de $G$. Démontrer que $H\cup K$ est un sous-groupe de $G$ si et seulement si $H\subset K$ ou $K\subset H$.
Enoncé 

Soit $(G,\cdot)$ un groupe fini et $A$, $B$ deux sous-groupes de $G$.
On note $AB=\{ab;\ a\in A,\ b\in B\}$. Montrer que $AB$ est un sous-groupe de $G$ si
et seulement si $AB=BA$.
Exercice 12 


- Sous-groupe engendré par le complémentaire d'un sous-groupe [Signaler une erreur] [Ajouter à ma feuille d'exos]




Enoncé 

Soit $H$ un sous-groupe strict d'un groupe $(G,\cdot)$. Déterminer le sous-groupe engendré par le complémentaire de $H$.
Enoncé 

Soit $(G,\cdot)$ un groupe fini et $H$ un sous-groupe de $G$.
- Montrer que pour tout $a\in G$, $H$ et $aH=\{ah;\ h\in H\}$ ont le même nombre d'éléments.
- Soient $a,b\in G$. Démontrer que $aH=bH$ ou $aH\cap bH=\varnothing$.
- En déduire que le cardinal de $H$ divise le cardinal de $G$.
Morphismes de groupe
Enoncé 

Traduire en termes de morphismes de groupes les propriétés bien connues suivantes (dont le domaine de validité a volontairement été omis) :
- $\ln(xy)=\ln(x)+\ln(y)$;
- $|zz'|=|z||z'|$;
- $\sqrt{xy}=\sqrt{x}\sqrt{y}$;
- $e^{x+y}=e^xe^y$;
- $\det(MM')=\det(M)\det(M')$.
Enoncé 

Justifier que $\exp$ est un morphisme de $(\mathbb C,+)$ dans $(\mathbb C^*,\cdot)$. Quel est son image? Son noyau?
Exercice 16 
- Morphismes de $\mathbb Z$ dans $\mathbb Z$ [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Déterminer tous les morphismes de $(\mathbb Z,+)$ dans lui-même. Lesquels sont injectifs? surjectifs?
Enoncé 

Démontrer que les groupes multiplicatifs $(\mathbb R^*,\cdot)$ et $(\mathbb C^*,\cdot)$ ne sont pas isomorphes.
Enoncé 

Soit $(G,\cdot)$ un groupe. Pour $a\in G$, on note $\tau_a:G\to G$ défini par $\tau_a(x)=axa^{-1}$.
- Démontrer que $\tau_a$ est un endomorphisme de $G$.
- Vérifier que, pour tous $a,b\in G$, $\tau_a\circ \tau_b=\tau_{ab}$.
- Montrer que $\tau_a$ est bijective et déterminer son inverse.
- En déduire que $\Theta=\{\tau_a;\ a\in G\}$ muni du produit de composition est un groupe.
Enoncé 

Soit $f$ un morphisme non constant d'un groupe fini $(G,\cdot)$ dans $(\mathbb C^*,\cdot)$. Calculer
$\sum_{x\in G}f(x)$.
Enoncé 

Un groupe $(G,\cdot)$ est dit divisible si, pour tout $g\in G$ et tout $n\in\mathbb N^*$, il existe $u\in G$ tel que $u^n=g$.
- Le groupe $(\mathbb Q,+)$ est-il divisible?
- Montrer que $(\mathbb Q,+)$ et $(\mathbb Q_+^*,\cdot)$ ne sont pas isomorphes.
Exercice 21 


- Morphismes de $\mathbb Z/n\mathbb Z$ dans $\mathbb Z/m\mathbb Z$ [Signaler une erreur] [Ajouter à ma feuille d'exos]




Enoncé 

- Déterminer tous les morphismes de $\mathbb Z/3\mathbb Z$ dans $\mathbb Z/4\mathbb Z$.
- Déterminer tous les morphismes de $\mathbb Z/6\mathbb Z$ dans $\mathbb Z/8\mathbb Z$.
Exercice 22 



- Isométries laissant invariant un triangle équilatéral [Signaler une erreur] [Ajouter à ma feuille d'exos]





Enoncé 

Soit $G$ le groupe des isométries du plan affine euclidien qui laissent invariant un triangle équilatéral $\Delta$. Démontrer que $G$ est isomorphe à $S_3$.
Ordre d'un élément, groupes cycliques
Enoncé 

Quel est l'ordre de $\bar 9$ dans $\mathbb Z/12\mathbb Z$?
Enoncé 

Soit $G$ un groupe et $x\in G$ d'ordre $n$. Quel est l'ordre de $x^2$?
Exercice 25 
- Tous les éléments sont d'ordre deux [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Soit $G$ un groupe dont tous les élements (sauf l'élément neutre) sont d'ordre au plus deux. Démontrer que $G$ est abélien.
Enoncé 

Soit $G$ un groupe abélien, $x$ et $y$ deux éléments de $G$ d'ordres respectifs $p$ et $q$.
- On suppose que $p$ et $q$ sont premiers entre eux. Démontrer que $xy$ est d'ordre $pq$.
- Importance des hypothèses - 1 : Si $H=GL_2(\mathbb R)$, $A=\left(\begin{array}{cc}0&-1\\1&0\end{array}\right)$ et $B=\left(\begin{array}{cc}0&1\\-1&-1\end{array}\right)$, vérifier que $A$ et $B$ sont d'ordre fini, mais que $AB$ n'est pas d'ordre fini.
- Importance des hypothèses - 2 : Si $p$ et $q$ ne sont pas supposés premiers entre eux, démontrer que le produit $xy$ n'est pas nécessairement d'ordre $pq$, ou d'ordre $\textrm{ppcm}(p,q)$.
- Une application :
- Soit $d$ un diviseur de $p$. Démontrer qu'il existe un élément d'ordre $d$ dans $G$.
- En déduire que $G$ admet des éléments d'ordre $\textrm{ppcm}(p,q)$.
- On suppose de plus que $G$ est fini. Démontrer que $G$ admet un élément dont l'ordre est le ppcm de l'ordre des éléments de $G$.
Enoncé 

Soit $G$ un groupe de cardinal $2n$.
- Démontrer que la relation $\mathcal R$ définie sur $G$ par $$x\mathcal R y\iff x=y\textrm{ ou }x=y^{-1}$$ est une relation d'équivalence sur $G$.
- En déduire que $G$ admet des éléments d'ordre deux.
Enoncé 

Soient $G$ et $H$ deux groupes.
- Montrer que si $g$ est un élément d'ordre $p$ de $G$ et $h$ un élément d'ordre $q$ de $H$, alors $(g,h)$ est d'ordre $\textrm{ppcm}(p,q)$ dans $G\times H$.
- On suppose que $G$ et $H$ sont cycliques. Démontrer que $G\times H$ est cyclique si et seulement si les ordres de $G$ et $H$ sont premiers entre eux.
Enoncé 

Soit $G$ un groupe cyclique et soit $H$ un sous-groupe de $G$. Démontrer que $H$ est cyclique.
Enoncé 

- Soit $G$ un groupe et $H,K$ deux sous-groupes de $G$ d'ordre des entiers premiers. Démontrer que $H=K$ ou que $H\cap K=\{e\}$.
- Démontrer que dans un groupe d'ordre 35, il existe un élément d'ordre 5 et un élément d'ordre 7.