$ \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\K}{\mathbb{K}} \newcommand{\Kb}{\mathbb{K}} \newcommand{\iic}[2]{[\![#1, #2]\!]} \newcommand{\inv}[1]{{#1}^{-1}} \newcommand{\IntEnt}[2]{[\![#1, #2]\!]} \newcommand{\iic}[2]{[\![#1,#2]\!]} \newcommand{\application}[5]{#1:\left\{\begin{array}{ccl}#2 & \longrightarrow & #3 \\ #4 & \longmapsto & #5 \end{array}\right.} \newcommand{\GroSym}[1]{\mathrm S_{#1}} \newcommand{\GroLinMat}[2]{{\rm GL}_{#1}\left(\mathbb {#2}\right)} \newcommand{\ds}{\displaystyle} \newcommand{\somme}[3]{\displaystyle\sum_{#1}^{#2}#3} \newcommand{\pgcd}{{\bf pgcd}} \newcommand{\ppcm}{{\bf ppcm}} \newcommand{\im}{{\rm Im}} $

Compléments sur les groupes

Banque de problèmes - MP/MP*

Tip📝 Banque de Problèmes

Les problèmes ci-dessous sont extraits des concours nationaux et internationaux. Ils sont classés par niveau de difficulté technique et conceptuelle. (🟢/🟠/🔵/🔴)

🟢 Théorème de Lagrange

ImportantNiveau MP/MP* - Problème complet avec corrigé

Temps estimé : 2h
Théorème fondamental de la théorie des groupes finis.

Soit \(G\) un groupe fini et \(H\) un sous-groupe de \(G\). Alors :
  • \(H\) est fini
  • Le cardinal de \(H\) divise le cardinal de \(G\)
TipObjectif principal :

Démontrer rigoureusement le théorème de Lagrange et explorer ses conséquences fondamentales en théorie des groupes.

Contenu du fichier :
  • 📋 Énoncé complet et corrigé détaillé
  • 🎯 Démonstration par les classes laterales
  • 💡 Applications et corollaires
  • 📊 Étude des groupes d’ordre \(2p\) avec \(p\) premier impair

Télécharger

🟠 Structure additive des non-inversibles de \(\mathbb{Z}/n\mathbb{Z}\)

ImportantNiveau MP/MP* - Problème complet avec corrigé

Temps estimé : 2h30
Étude algébrique de la structure additive des diviseurs de zéro.

Soit \(n \geqslant 2\). On pose \[N = \{x \in \mathbb{Z}/n\mathbb{Z} \mid x \text{ non inversible}\}\] \(N\) un sous-groupe additif de \((\mathbb{Z}/n\mathbb{Z}, +)\) si, et seulement, si \(n\) est primair.

TipObjectif principal :

Caractériser les entiers \(n\) pour lesquels les non-inversibles forment un groupe additif et explorer les conséquences arithmétiques.

Contenu du fichier :
  • 📋 Énoncé complet et corrigé détaillé
  • 🎯 Démonstration de la condition nécessaire et suffisante
  • 💡 Étude cas par cas selon la décomposition de \(n\)
  • 📊 Applications aux anneaux quotient
  • 🧮 Liens avec la fonction d’Euler

Télécharger

🟠 Sous-groupes de \((\mathbb{R},+)\)

ImportantProblème complet avec corrigé

Temps estimé : 3h

Un problème fondamental d’analyse et d’algèbre, classique aux concours les plus exigeants.
Étude complète de la structure des sous-groupes additifs de \(\mathbb{R}\).

Soit \(H\) un sous-groupe de \((\mathbb{R},+)\). Alors exactement l’un des deux cas suivants se produit :
  • \(H = a\mathbb{Z}\) avec \(a\geqslant 0\) (sous-groupe discret)
  • \(H\) est dense dans \(\mathbb{R}\)
TipObjectifs du problème
  • Démontrer le théorème
  • Traiter des applications
Contenu du fichier
  • 📋 L’énoncé complet
  • ✅ Le corrigé détaillé et rigoureux
  • 🎯 La démonstration complète du théorème
  • 💡 Des applications demandées

Télécharger

🟠 Générateurs du groupe linéaire

ImportantNiveau MP/MP* - Problème complet avec corrigé

Temps estimé : 3h
Étude structurelle des générateurs du groupe linéaire général.

Le groupe linéaire \({\rm GL}_n(\mathbb{K})\) est engendré par les matrices de transvection et de dilatation:
  • Les matrices de transvection \({\rm T}_{ij}(\lambda) = {\rm I}_n + \lambda E_{ij}\) où \(i\neq j\)
  • Les matrices de dilatation \(D_i(\mu) = I_n + (\mu-1)E_{ii}\)

où \(\mathbb{K}\) est un corps commutatif et \(\lambda, \mu \in \mathbb{K}\) avec \(\mu \neq 0\).

TipObjectif principal :

Démontrer que les transvections et dilatations génèrent \({\rm GL}_n(\mathbb{K})\) et explorer les applications en algèbre linéaire.

Contenu du fichier :
  • 📋 Énoncé complet et corrigé détaillé
  • 🎯 Démonstration constructive du théorème
  • 💡 Algorithmes de génération explicite
  • 📊 Étude des relations entre générateurs
  • 🧮 Applications aux opérations élémentaires

Télécharger

🟠 Centre du groupe symplectique

ImportantNiveau Mines-PC/MP/MP* - Problème complet avec corrigé

Temps estimé : 2h30
Un problème emblématique qui combine algèbre, géométrie et analyse.

\[{\rm Sp}_{2n}(\mathbb{R}) = \{ M \in {\rm GL}_{2n}(\mathbb{R}) \mid M^\top J M = J \}\] où \(J = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \end{pmatrix}\) est la matrice symplectique standard.

TipObjectif principal :

Déterminer le centre du groupe symplectique : \[Z({\rm Sp}_{2n}(\mathbb{R})) = \{ M \in {\rm Sp}_{2n}(\mathbb{R}) \mid \forall N \in {\rm Sp}_{2n}(\mathbb{R}),\ MN = NM \}\]

Contenu du fichier :
  • 📋 Énoncé complet et corrigé détaillé
  • 🎯 Démonstration complète du centre
  • 💡 Applications géométriques
  • 📊 Étude des matrices symplectiques

Télécharger

🔵 Cyclicité de \((\mathbb{U}(\mathbb{Z}/n\mathbb{Z}), \times)\)

ImportantNiveau Mines / X-ENS - Problème complet avec corrigé

Temps estimé : 3h
Étude complète de la structure du groupe des unités de l’anneau \(\mathbb{Z}/n\mathbb{Z}\).

Le groupe multiplicatif \((\mathbb{U}(\mathbb{Z}/n\mathbb{Z}), \times)\) est cyclique si et seulement si : \[n = 2,\ 4,\ p^k,\ 2p^k \quad \text{où } p \text{ est un nombre premier impair}\]

Contenu du fichier :
  • 📋 Énoncé complet et corrigé détaillé
  • 🎯 Démonstration complète du théorème
  • 📊 Étude des générateurs

Télécharger