Exercices

Exercice 1 On considère les relations suivantes sur $\mathbb{R}$ .

$\bullet$: $\forall x,y\;,\quad x{\cal R} y\;\Longleftrightarrow\; x\leqslant y$
$\bullet$: $\forall x,y\;,\quad x{\cal R} y\;\Longleftrightarrow\; x^2\leqslant y^2$
$\bullet$: $\forall x,y\;,\quad x{\cal R} y\;\Longleftrightarrow\; \lfloor x\rfloor\leqslant \lfloor y \rfloor$
$\bullet$: $\forall x,y\;,\quad x{\cal R} y\;\Longleftrightarrow\; \lfloor x\rfloor= \lfloor y \rfloor$
$\bullet$: $\forall x,y\;,\quad x{\cal R} y\;\Longleftrightarrow\; \sin(x)=\sin(y)$
$\bullet$: $\forall x,y\;,\quad x{\cal R} y\;\Longleftrightarrow\; y-x\in\mathbb{N}$

Pour chacune de ces relations ${\cal R}$ :

Représenter graphiquement dans $\mathbb{R}^2$ le graphe de la relation ${\cal R}$ .
Est-ce une relation d'ordre ? une relation d'équivalence ?

Exercice 2 On définit la relation ${\cal R}$ sur $\mathbb{N}$ par :

$\displaystyle \forall m,n\in\mathbb{N}^*\;,\quad m{\cal R}n\;\Longleftrightarrow\; \Big( \exists k\in\mathbb{N}^* ,\; m^k=n \Big)$

Démontrer que ${\cal R}$ est une relation d'ordre.

Exercice 3 Une relation binaire ${\cal R}$ dans un ensemble est dite circulaire si pour tout $(a,b,c)\in E$ ,

$\displaystyle \Big( a{\cal R} b$ et $\displaystyle b{\cal R}c \Big) \;\Longrightarrow\; c{\cal R} a$

Montrer qu'une relation circulaire et réflexive est une relation d'équivalence.

Exercice 4 Soit et deux ensembles et une application de dans . On définit la relation $\sim$ sur par :

$\displaystyle \forall x,y\in E\;,\quad x\sim y\;\Longleftrightarrow f(x)=f(y)$

Montrer que $\sim$ est une relation d'équivalence.
Soit $\Gamma$ l'ensemble des couples $(\mathfrak{cl}(x),f(x))$ , où parcourt l'ensemble . Montrer que $\Gamma$ est le graphe d'une application de l'ensemble-quotient $E/\!\sim$ dans . On note cette application.
Montrer que est une application injective.
Soit l'application de $\mathbb{Z}$ dans $\mathbb{N}$ qui à $n\in \mathbb{Z}$ associe . Décrire $\mathfrak{cl}(0)$ et $\mathfrak{cl}(1)$ .
Soit l'application de $\mathbb{C}$ dans $\mathbb{C}$ qui à associe . Décrire $\mathfrak{cl}(0)$ et $\mathfrak{cl}(1)$ .
Soit l'application de $\mathbb{R}$ dans $\mathbb{R}$ qui à un réel associe sa partie entière. Décrire $\mathfrak{cl}(0)$ et $\mathfrak{cl}(1)$ .
Soit l'application de $\mathbb{R}$ dans $\mathbb{R}$ qui à un réel associe sa partie décimale. Décrire $\mathfrak{cl}(0)$ et $\mathfrak{cl}(\frac12)$ .

Exercice 5

On munit $\mathbb{R}$ de la loi de composition interne $\ast$ définie par :

$\displaystyle \forall x,y\in\mathbb{R}\;,\quad x\ast y=xy+(x^2-1)(y^2-1)$
Montrer que $\ast$ est commutative, non associative, et que est élément neutre,
On munit $\mathbb{R}^{+*}$ de la loi de composition interne $\ast$ définie par :

$\displaystyle \forall x,y\in\mathbb{R}^{+*}\;,\quad x\ast y=\sqrt{x^2+y^2}$
Montrer que $\ast$ est commutative, associative, et que 0 est élément neutre. Montrer que aucun élément de $\mathbb{R}^{+*}$ n'a de symétrique pour $\ast$ .
On munit $\mathbb{R}$ de la loi de composition interne $\ast$ définie par :

$\displaystyle \forall x,y\in\mathbb{R}\;,\quad x\ast y=\sqrt[3]{x^3+y^3}$
Montrer que l'application $x\mapsto x^3$ est un isomorphisme de $(\mathbb{R},\ast)$ vers $(\mathbb{R},+)$ . En déduire que $(\mathbb{R},\ast)$ est un groupe commutatif.

Exercice 6 Soit l'ensemble des parties d'un ensemble à deux éléments, par exemple $E={\cal P}(\{0,1\})$ donc

$\displaystyle E=\Big\{ \emptyset , \{0\} , \{1\} , \{0,1\} \Big\}$

On considère les lois de composition $\ast$ suivantes sur l'ensemble .

$\bullet$: Réunion : $A\ast B = A\cup B$
$\bullet$: Intersection : $A\ast B = A\cap B$
$\bullet$: Différence symétrique : $A\ast B = A\triangle B = (A\setminus B)\cup(B\setminus A)$
$\bullet$: Réunion des complémentaires : $A\ast B = {^c\!A}\cup {^c\!B}$
$\bullet$: Intersection des complémentaires : $A\ast B = {^c\!A}\cap {^c\!B}$

Pour chacune d'entre elles :

Écrire la table de composition de la loi $\ast$ .
L'ensemble possède-t-il un élément neutre pour la loi $\ast$ ?
La loi $\ast$ est-elle associative ?
La loi $\ast$ est-elle commutative ?
L'ensemble muni de la loi $\ast$ est-il un groupe ?
Répondre aux questions 2 à 5 en remplaçant par l'ensemble des parties d'un ensemble quelconque.

Exercice 7 Le but de l'exercice est d'étudier les groupes à ou éléments.

Ecrire la table de composition d'un groupe à élément.
Ecrire la table de composition d'un groupe à éléments. Vérifier qu'il est isomorphe aux groupes suivants.

$\displaystyle Z_2\quad;\quad {\cal S}_2\quad;\quad \Big( \{1,-1\} ,\times \Big)\quad;\quad \Big( \big\{x\mapsto x , x\mapsto 1/x \big\} ,\circ \Big)$

$\displaystyle \left( \left\{ \left(\begin{array}{cc}1&0\ 0&1\end{array}\rig... ...\left(\begin{array}{cc}0&1\ 1&0\end{array}\right) \right\}\;,\times \right)$
Ecrire la table de composition d'un groupe à éléments. Vérifier qu'il est isomorphe aux groupes suivants.

$\displaystyle Z_3\quad;\quad \Big( \{1,\mathrm{e}^{2\mathrm{i}\pi/3},\mathrm{... ...\Big)\quad;\quad \Big( \big\{ (1,2,3),(2,3,1),(3,1,2) \big\} ,\circ \Big)$

$\displaystyle \left( \left\{ \left(\begin{array}{ccc}1&0&0\ 0&1&0\ 0&0&1\e... ...rray}{ccc}0&1&0\ 0&0&1\ 1&0&0\end{array}\right) \right\}\;,\times \right)$
Soit $\big( \{ e,a,b,c\} , \ast \big)$ un groupe à éléments, d'élément neutre .
1. Montrer qu'il existe au moins un élément, autre que l'élément neutre, qui est son propre symétrique. On suppose désormais que est son propre symétrique.
2. On suppose $a\ast c=c\ast a =e$ . Remplir la table de composition du groupe. Montrer qu'il est isomorphe aux groupes suivants.
  
  $\displaystyle Z_4\quad;\quad \Big( \{1,\mathrm{i},-1,-\mathrm{i}\} ,\times \Big)$
  
  $\displaystyle \Big( \big\{ (1,2,3,4),(2,3,4,1),(3,4,1,2),(4,1,2,3) \big\} ,\circ \Big)$
  
  $\displaystyle \left( \left\{ \left(\begin{array}{rr}1&0\ 0&1\end{array}\rig... ...eft(\begin{array}{rr}0&1\ -1&0\end{array}\right) \right\}\;,\times \right)$
3. On suppose $a\ast a=c\ast c =e$ . Remplir la table de composition du groupe. Montrer qu'il est isomorphe aux groupes suivants.
  
  $\displaystyle Z_2\times Z_2\quad;\quad \Big( {\cal P}(\{x,y\}) , \triangle \Big)$
  
  $\displaystyle \Big( \left\{ \left(\begin{array}{cccc} 1&2&3&4 \end{array}\ri... ... \left(\begin{array}{cccc} 2&1&4&3 \end{array}\right) \right\} ,\circ \Big)$
  
  $\displaystyle \left( \left\{ \left(\begin{array}{rr}1&0\ 0&1\end{array}\rig... ...ft(\begin{array}{rr}0&-1\ -1&0\end{array}\right) \right\}\;,\times \right)$
4. Vérifier que l'on est toujours dans le cas de la question (4b) ou dans le cas de la question (4c).
Vérifier que tous les groupes de cet exercice sont abéliens.

Exercice 8 On considère les éléments suivants de ${\cal S}_5$ .

$\displaystyle \sigma = \left(\begin{array}{ccccc}1&2&3&4&5\ 3&4&2&5&1\end{array}\right)$ et $\displaystyle \quad \varrho = \left(\begin{array}{ccccc}1&2&3&4&5\ 5&4&1&2&3\end{array}\right)$

Calculer les puissances successives et déterminer l'ordre de $\sigma$ et $\varrho$ , ainsi que de $\sigma\varrho$ , $\varrho\sigma$ , $\sigma\varrho^{-1}$ et $\varrho^{-1}\sigma$ .

Exercice 9 On considère un pentagone régulier : pour fixer les idées, l'ensemble des points du plan complexe dont des sommets ont pour affixes les racines cinquièmes de l'unité, soit

$\displaystyle P=\big\{ \mathrm{e}^{2\mathrm{i}k\pi/5} ,\;k=0,1,2,3,4 \big\}.$

Le but de l'exercice est d'étudier le groupe (pour la composition des applications) des isométries du plan complexe qui laissent invariant ce pentagone. On notera $\varrho$ la rotation de centre l'origine et d'angle $2\pi/5$ , et $\sigma$ la symétrie qui à un nombre complexe associe son conjugué.

$\displaystyle \varrho : z\longmapsto z\mathrm{e}^{2\mathrm{i}\pi/5} \quad;\quad \sigma : z\longmapsto \overline{z}$

Vérifier que $\varrho$ et $\sigma$ laissent invariant l'ensemble .
Vérifier que les puissances successives de $\varrho$ sont des rotations dont on donnera l'angle, et déterminer l'ordre de $\varrho$ .
Pour $n=0,\ldots,4$ , montrer que $\sigma \varrho^n$ et $\varrho^n\sigma$ sont des symétries par rapport à un axe passant par l'origine, dont on donnera l'angle par rapport à l'axe réel.
Quel est l'ordre d'une symétrie ?
Montrer que le produit de deux des symétries de la question 3 est une puissance de $\varrho$ .
Montrer que le plus petit groupe contenant $\varrho$ et $\sigma$ possède éléments.

Exercice 10 On rappelle que est le groupe des entiers de 0 à , muni de l'addition modulo .

Montrer que l'ordre de dans $Z_{n}$ vaut .
Montrer que l'ordre de dans vaut si et seulement si est premier avec .
Si est un diviseur de , montrer que l'ordre de est le quotient de par .
Soit $(G,\ast)$ un groupe quelconque. On suppose que contient un élément d'ordre . On note l'application de $\{0,\ldots,n-1\}$ dans qui à 0 associe l'élément neutre de et à $k\geqslant 1$ associe la puissance -ième de dans . Montrer que est un isomorphisme de groupes entre et $\mathopen\langle a\mathclose\rangle$ .

Exercice 11

Soit un ensemble quelconque et $E=\{0,1\}^S$ l'ensemble des applications de dans $\{0,1\}$ . On munit de l'addition modulo des images : pour tout $f,g\in E$ , $f\oplus g$ est l'application de dans $\{0,1\}$ définie par :

$\displaystyle f\oplus g(x) =\left\{\begin{array}{ll} 1&\mbox{ si } f(x)\neq g(x)\\ 0&\mbox{ si } f(x)= g(x) \end{array}\right.$
Montrer que $(E,\oplus)$ est un groupe abélien, dans lequel chaque élément est son propre symétrique.
Soit $F={\cal P}(S)$ l'ensemble des parties de . On munit de la différence symétrique ensembliste. On considère l'application $\phi$ , de dans qui à une partie de associe sa fonction indicatrice :

$\displaystyle \phi : A\in {\cal P}(S) \longmapsto \mathbb{I}_A\;,$
où pour tout $x\in S$ , $\mathbb{I}_A(x)=1$ si $x\in A$ et $\mathbb{I}_{A}(x)=0$ sinon.

Montrer que $\phi$ est un isomorphisme de vers , pour les lois $\oplus$ et $\triangle$ . En déduire que $(F,\triangle)$ est un groupe abélien, dans lequel chaque élément est son propre symétrique.

Dans toute la suite, désigne un groupe dans lequel chaque élément est son propre symétrique.
Montrer que est abélien.
Soit un élément quelconque de , différent de l'élément neutre. On définit la relation $\sim$ sur par :

$\displaystyle \forall x,y\in G\;,\quad x\sim y\;\Longleftrightarrow\; \Big( x=y$ ou $\displaystyle x=ay \Big)$
Montrer que $\sim$ est une relation d'équivalence sur . Montrer que chaque classe d'équivalence a deux éléments.
On définit la loi $\ast$ sur l'ensemble-quotient $G/\!\sim$ par :

$\displaystyle \forall x,y\in G\;,\quad \mathfrak{cl}(x)\ast\mathfrak{cl}(y) =\mathfrak{cl}(xy).$
Montrer que $\ast$ est une loi de composition interne sur $G/\!\sim$ , et que $G/\!\sim$ muni de $\ast$ est un groupe abélien, dans lequel chaque élément est son propre symétrique.
On suppose que est fini. Déduire des questions précédentes que le cardinal de est une puissance de .

Exercice 12 On considère les applications suivantes, de $\mathbb{R}\setminus\{0,1\}$ dans lui-même.

$\displaystyle f_1 :x\mapsto x\quad;\quad f_2 :x\mapsto 1-x\quad;\quad f_3 :x\mapsto \frac{1}{1-x}$

$\displaystyle f_4 :x\mapsto \frac{1}{x}\quad;\quad f_5 :x\mapsto \frac{x}{x-1}\quad;\quad f_6 :x\mapsto \frac{x-1}{x}$

On munit l'ensemble $E=\{f_1,f_2,f_3,f_4,f_5,f_6\}$ de la composition des applications.

Écrire la table de composition de $(E,\circ)$ .
Montrer que $G=(E,\circ)$ est un groupe.
Est-ce un groupe abélien ?
Déterminer tous les sous-groupes de .
Déterminer l'ordre de chacun des éléments de .
Quels sont les éléments de $\mathopen\langle f_2\mathclose\rangle$ ?
Quels sont les éléments de $\mathopen\langle f_3\mathclose\rangle$ ?

Exercice 13 Soient $(E,\ast)$ et $(F,\cdot)$ deux groupes. On munit l'ensemble produit $E\times F$ de la loi de composition $\odot$ definie par :

$\displaystyle \forall (x,y),(x'y')\in E\times F\;,\quad (x,y)\odot (x',y') = (x\ast x',y\cdot y')$

Montrer que $(E\times F,\odot)$ est un groupe.
Soit un sous-groupe de , un sous-groupe de . Montrer que $E'\times F'$ est un sous-groupe de $E\times F$ , muni de la loi $\odot$ .

Exercice 14 Montrer que les ensembles suivants d'applications de $\mathbb{C}$ dans $\mathbb{C}$ , munis de la loi de composition des applications, sont des groupes.

$\big\{ z\mapsto z+t ,\;t\in \mathbb{Z} \big\}$
$\big\{ z\mapsto z+t ,\;t\in \mathbb{C} \big\}$
$\big\{ z\mapsto \mathrm{e}^{\mathrm{i}\theta}z ,\;\theta\in \mathbb{R} \big\}$
$\big\{ z\mapsto sz+t ,\;s\in \mathbb{C}^* ,\;t\in\mathbb{C}\big\}$
$\Big\{ z\mapsto \displaystyle\frac{az+b}{cz+d} ,\; (a,b,c,d)\in \mathbb{C}^4 ,ad-bc\neq 0 \Big\}$

Exercice 15 Soit un sous-groupe additif de $(\mathbb{R},+)$ . On suppose que $G\neq \{0\}$ .

Montrer que $G\cap \mathbb{R}^{+*}$ possède une borne inférieure, que l'on notera .
Montrer que $b\in G$ .
On suppose . Montrer que $G=b\mathbb{Z}$ .
On suppose . Montrer que si et sont deux réels tels que , l'intervalle contient au moins un élément de (on dit que est dense dans $\mathbb{R}$ ).
Montrer que l'ensemble $\{ m+n\sqrt{2} ,\;(n,m)\in\mathbb{Z}^2 \}$ muni de l'addition est un sous-groupe de $(\mathbb{R},+)$ , et qu'il est dense dans $\mathbb{R}$ (on rappelle que $\sqrt{2}$ est irrationnel).

Exercice 16 Soit $n\geqslant 1$ un entier. On définit une multiplication $\otimes$ sur $Z_{n}$ en convenant que $i\otimes j$ est l'unique entier $0\leqslant k\leqslant n-1$ tel que est divisible par .

Montrer que $(Z_{n},\oplus,\otimes)$ est un anneau.
Montrer que $(Z_{n},\oplus,\otimes)$ est un corps si et seulement si $n\geqslant 2$ et est premier.

Exercice 17 Montrer que l'application de $\mathbb{C}$ dans $\mathbb{C}$ qui à un nombre complexe associe son conjugué est un isomorphisme de corps : c'est une bijection, et un morphisme à la fois pour l'addition et la multiplication.

Exercice 18 On note $\mathbb{Z}[\sqrt{2}]$ l'ensemble de réels suivant :

$\displaystyle \mathbb{Z}[\sqrt{2}]=\big\{ m+n\sqrt{2} ,\;m,n\in\mathbb{Z} \big\}.$

Montrer que $\mathbb{Z}[\sqrt{2}]$ , muni de l'addition et de la multiplication des réels, est un sous-anneau de $\mathbb{R}$ .
On considère l'application $\phi$ , de $\mathbb{Z}[\sqrt{2}]$ dans lui-même, qui à $m+n\sqrt{2}$ associe

$\displaystyle \phi(m+n\sqrt{2})=m-n\sqrt{2}.$
Montrer que $\phi$ est un automorphisme de l'anneau $(\mathbb{Z}[\sqrt{2}],+,\times)$ (c'est une bijection, et un morphisme pour chacune des deux lois).
Pour tout $x\in \mathbb{Z}[\sqrt{2}]$ , on pose $N(x)=x\phi(x)$ . Montrer que est une application de $\mathbb{Z}[\sqrt{2}]$ dans $\mathbb{Z}$ , qui est un morphisme pour la multiplication.
Démontrer que est un élément inversible de $\mathbb{Z}[\sqrt{2}]$ si et seulement si $N(x)=\pm 1$ .
Vérifier que $3+2\sqrt{2}$ et $-3+2\sqrt{2}$ sont inversibles dans $\mathbb{Z}[\sqrt{2}]$ .

Exercice 19 On considère les deux matrices suivantes.

$\displaystyle U=\displaystyle\left(\begin{array}{cc}0&1\\ 0&0\end{array}\right)$ et $\displaystyle \quad V=\displaystyle\left(\begin{array}{cc}0&0\\ 1&0\end{array}\right).$

Calculer les produits et .
En déduire que ${\cal M}_{2}(\mathbb{R})$ est un anneau non commutatif et non intègre.
Étendre ce résultat à l'anneau ${\cal M}_{n}(A)$ des matrices de taille $n\geqslant 2$ sur un anneau quelconque.

Exercice 20

Soit un ensemble de cardinal au moins et $E=\{0,1\}^S$ l'ensemble des applications de dans $\{0,1\}$ . On munit de l'addition modulo des images et de leur multiplication : pour tout $f,g\in E$ , $f\oplus g$ et $f\otimes g$ sont les applications de dans $\{0,1\}$ définies par :

$\displaystyle f\oplus g(x) =\left\{\begin{array}{ll} 1&\mbox{ si } f(x)\neq g(x),\\ 0&\mbox{ si } f(x)= g(x), \end{array}\right.$ et $\displaystyle \quad f\otimes g(x) =\left\{\begin{array}{ll} 1&\mbox{ si } f(x)=g(x)=1,\\ 0&\mbox{ sinon.} \end{array}\right.$
Montrer que $(E,\oplus,\otimes)$ est un anneau commutatif.
Soit $\mathbb{I}$ l'application constante égale à . Soit une application non constante de dans $\{0,1\}$ . Calculer $f\otimes(\mathbb{I}\oplus f)$ . En déduire que $(E,\oplus,\otimes)$ n'est pas un anneau intègre.
Soit $F={\cal P}(S)$ l'ensemble des parties de . On munit de la différence symétrique et de l'intersection ensemblistes. On considère l'application $\phi$ de dans qui à une partie de associe sa fonction indicatrice :

$\displaystyle \phi : A\in {\cal P}(S) \longmapsto \mathbb{I}_A,$
où, pour tout $x\in S$ , $\mathbb{I}_A(x)=1$ si $x\in A$ et $\mathbb{I}_A(x)=0$ sinon. Montrer que $\phi$ est un isomorphisme de $(E,\oplus)$ vers $(F,\triangle)$ , et également un isomorphisme de $(E,\otimes)$ vers $(F,\cap)$ . En déduire que $(F,\triangle, \cap)$ est un anneau commutatif non intègre.