Sous-groupes, anneaux et matrices : contrôle de maths en MPSI
Voici un contrôle de maths en MPSI sur le thème « sous-groupes, anneaux et matrices », avec son barème et un corrigé détaillé.
Ce devoir surveillé de trois heures relie les structures algébriques et le calcul matriciel, deux chapitres du premier semestre de MPSI. Vous testerez d’abord plusieurs parties de \(GL_2(\mathbb{R})\) avec la caractérisation des sous-groupes. Ensuite, un ensemble de matrices rationnelles se révélera être un corps, alors que sa version réelle possède des diviseurs de zéro. Deux exercices de calcul suivent : l’élévation d’une matrice à une puissance entière grâce au binôme de Newton, puis une inversion par le pivot de Gauss avec un paramètre. Enfin, le problème étudie le groupe affine à travers un morphisme de groupes défini par des matrices. Ce contrôle n’utilise ni déterminant ni application linéaire.
Ce qu’évalue le contrôle : sous-groupes, anneaux et matrices
L’essentiel du sujet
- NiveauMPSI
- Durée3 heures
- Calculatriceinterdite
- Barèmesur 20
Chapitres : Lois internes, groupes, anneaux et corps et Produit matriciel, matrices inversibles et pivot (5 exercices)
Ce que ce devoir vérifie :
- Montrer qu’une partie de GL_2(R) est un sous-groupe, ou produire un contre-exemple précis
- Vérifier qu’un ensemble de matrices est un sous-anneau, puis un corps, et repérer des diviseurs de zéro
- Élever une matrice triangulaire à toute puissance entière, y compris négative, grâce au binôme de Newton
- Inverser une matrice et discuter l’inversibilité selon un paramètre par l’algorithme du pivot de Gauss
- Étudier un morphisme de groupes défini par des matrices : noyau, image, centre et éléments d’ordre fini
Avant de commencer le devoir
Pour chaque partie à tester, écrivez la caractérisation complète avant de calculer : élément neutre, stabilité par produit, puis par passage à l’inverse. Quand une propriété vous semble fausse, cherchez aussitôt un contre-exemple numérique simple. Dans les calculs matriciels, vérifiez que les deux matrices commutent avant d’appliquer le binôme. Enfin, contrôlez chaque inverse en effectuant le produit, car une erreur de signe dans le pivot se repère ainsi en une minute.
Le sujet du contrôle : sous-groupes, anneaux et matrices
Exercice 1 – Trois ensembles de matrices à tester (3,5 points)
On note \(GL_2(\mathbb{R})\) le groupe des matrices carrées réelles d’ordre 2 inversibles, muni du produit matriciel. Pour chacun des ensembles suivants, dire s’il s’agit d’un sous-groupe de \(GL_2(\mathbb{R})\), puis le démontrer.
- Tout d’abord, \(T = \left\{\begin{pmatrix} a & b \\ 0 & c \end{pmatrix} : a, b, c \in \mathbb{R},\; a \neq 0,\; c \neq 0\right\}\).
- Ensuite, l’ensemble \(Z\) des matrices de \(GL_2(\mathbb{R})\) dont les quatre coefficients sont des entiers relatifs.
- Enfin, \(D = \left\{\begin{pmatrix} a & b \\ b & a \end{pmatrix} : a, b \in \mathbb{R},\; a^2 \neq b^2\right\}\). Pour cela, on pourra calculer \(\begin{pmatrix} a & b \\ b & a \end{pmatrix}\begin{pmatrix} a & -b \\ -b & a \end{pmatrix}\).
Exercice 2 – Un corps de matrices rationnelles (4 points)
Pour \(a\) et \(b\) rationnels, on pose \(M(a, b) = \begin{pmatrix} a & 2b \\ b & a \end{pmatrix}\), et l’on note \(K = \left\{M(a, b) : a, b \in \mathbb{Q}\right\}\). On admet que \(\sqrt{2}\) est irrationnel.
- Montrer d’abord que \(K\) est un sous-anneau commutatif de \(\mathcal{M}_2(\mathbb{Q})\).
- Calculer ensuite \(M(a, b)\,M(a, -b)\). En déduire alors que \(K\) est un corps.
- On autorise maintenant \(a\) et \(b\) à être réels, et l’on note \(K_{\mathbb{R}}\) l’anneau obtenu. Montrer que \(K_{\mathbb{R}}\) n’est pas intègre, donc qu’il n’est pas un corps.
- Résoudre enfin l’équation \(X^2 = M(3, 2)\), d’inconnue \(X \in K\).
Exercice 3 – Puissances entières par le binôme (4 points)
On considère la matrice \(A = \begin{pmatrix} 1 & 2 & -1 \\ 0 & 1 & 3 \\ 0 & 0 & 1 \end{pmatrix}\) et l’on pose \(N = A – I_3\), comme le montre le schéma ci-dessous.

- Calculer d’abord \(N^2\) et \(N^3\).
- Pour tout entier naturel \(n\), exprimer \(A^n\) en fonction de \(I_3\), \(N\) et \(N^2\), en justifiant l’usage de la formule du binôme. Écrire ensuite \(A^n\) sous forme de tableau.
- Prouver ensuite que \(A\) est inversible en calculant \((I_3 + N)(I_3 – N + N^2)\), puis donner \(A^{-1}\).
- Pour \(n \in \mathbb{Z}\), on pose \(B_n = I_3 + nN + \frac{n(n-1)}{2}N^2\). Calculer \(B_n B_{-n}\), puis en déduire que \(A^n = B_n\) pour tout entier relatif \(n\).
Exercice 4 – Pivot de Gauss avec un paramètre (4 points)
Pour un réel \(m\), on pose \(B_m = \begin{pmatrix} 1 & 1 & 2 \\ 2 & 3 & 3 \\ 1 & 2 & m \end{pmatrix}\). Cependant, les déterminants ne sont pas autorisés dans cet exercice.
- Dans cette question, \(m = 2\). Montrer que \(B_2\) est inversible et calculer son inverse par la méthode du pivot de Gauss, en indiquant chaque opération sur les lignes.
- En déduire la solution du système suivant, d’inconnues réelles \(x\), \(y\) et \(z\) :
\[\begin{cases} x + y + 2z = 1 \\ 2x + 3y + 3z = 0 \\ x + 2y + 2z = 2 \end{cases}\]
- Pour \(m\) quelconque, échelonner \(B_m\) par opérations sur les lignes. Déterminer alors les valeurs de \(m\) pour lesquelles \(B_m\) est inversible. Pour la valeur exclue, trouver une colonne \(X\) non nulle telle que \(B_m X = 0\).
Exercice 5 – Problème : le groupe affine de la droite (4,5 points)
Pour \(a \in \mathbb{R}^{*}\) et \(b \in \mathbb{R}\), on pose \(\Phi(a, b) = \begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}\), et l’on note \(\mathcal{A} = \left\{\Phi(a, b) : a \in \mathbb{R}^{*},\; b \in \mathbb{R}\right\}\). On associe aussi à \(\Phi(a, b)\) la fonction affine \(f_{a,b} : x \mapsto ax + b\). Par ailleurs, le schéma illustre l’application \(\delta\) de la partie B.

Partie A : un sous-groupe de matrices
- Calculer \(\Phi(a, b)\,\Phi(c, d)\). Montrer alors que \(\mathcal{A}\) est un sous-groupe de \(GL_2(\mathbb{R})\), et préciser l’inverse de \(\Phi(a, b)\). Vérifier aussi que \(f_{a,b} \circ f_{c,d}\) est la fonction associée au produit \(\Phi(a, b)\,\Phi(c, d)\).
- Enfin, le groupe \(\mathcal{A}\) est-il commutatif ?
Un morphisme et le centre (partie B)
- On définit \(\delta : \mathcal{A} \to \mathbb{R}^{*}\) par \(\delta\left(\Phi(a, b)\right) = a\). Montrer que \(\delta\) est un morphisme surjectif du groupe \(\mathcal{A}\) vers le groupe \((\mathbb{R}^{*}, \times)\). Déterminer ensuite son noyau \(\mathcal{T}\), et montrer que \(b \mapsto \Phi(1, b)\) est un isomorphisme de \((\mathbb{R}, +)\) sur \(\mathcal{T}\).
- Déterminer ensuite le centre de \(\mathcal{A}\), c’est-à-dire l’ensemble des éléments qui commutent avec tous les éléments de \(\mathcal{A}\).
Éléments d’ordre 2 (partie C)
Quels sont les éléments \(g \neq I_2\) de \(\mathcal{A}\) tels que \(g^2 = I_2\) ? En outre, l’ensemble formé de ces éléments et de \(I_2\) est-il un sous-groupe de \(\mathcal{A}\) ?
Réviser sous-groupes, anneaux et matrices avant le contrôle
Si un exercice vous a bloqué, relisez le cours lois internes, groupes, anneaux et corps puis produit matriciel, matrices inversibles et pivot ; entraînez-vous sur les exercices lois internes, groupes, anneaux et corps et produit matriciel, matrices inversibles et pivot avant de retenter le sujet.
La page contrôles de maths en MPSI regroupe les 25 sujets de l’année, et la page maths post-bac permet de changer d’année.
Sujets proches à faire ensuite
Télécharger ou imprimer cette fiche «sous-groupes, anneaux et matrices : contrôle de maths en MPSI» au format PDF afin de pouvoir travailler en totale autonomie.
Ressources de maths en Maths sup (MPSI)
Cours
Tout voirNature d’une série numérique en maths sup (MPSI)
Dénombrement et conditionnement en maths sup (MPSI)
Quantificateurs et raisonnements en maths sup (MPSI)
Rolle et accroissements finis en maths sup (MPSI)
Matrices inversibles et pivot en maths sup (MPSI)
Limite d’une suite et convergence en maths sup (MPSI)
Exercices corrigés
Tout voirVariables aléatoires finies en maths sup (MPSI)
Suites itératives et point fixe en maths sup (MPSI)
Borne supérieure et densité en maths sup (MPSI)
Continuité et valeurs intermédiaires en maths sup (MPSI)
Sous-espaces et supplémentaires en maths sup (MPSI)
Décomposition en éléments simples en maths sup (MPSI)
Contrôles
Tout voirQCM
Tout voir

























