Agrégation mathématiques interne 2025, épreuve 1Sujet et rapport du jury
Agrégation interne section mathématiques - Sujet de la première épreuve écrite de la session 2025
- Polynôme minimal et polynôme caractéristique
- Racines de l'unité et polynômes cyclotomiques
- Réduction des endomorphismes, diagonalisation
- Décomposition de Frobenius, endomorphismes cycliques
- Groupes finis, action de groupe, théorème de Lagrange
- Groupes cycliques et groupes diédraux
Téléchargements
- Corrigé : pas encore disponible
Présentation du sujet
DifficileMatrices d'ordre fini dans GL_k(K) pour K = C, R, Q : polynômes cyclotomiques, décomposition de Frobenius, groupes diédraux et matrices sur Z/pZAfficher ou masquer la section
Présentation du sujet
DifficileLe problème étudie les matrices d'ordre fini dans GL_k(K) pour K égal à C, R puis Q, avant de déterminer les sous-groupes finis de GL_2(Q) et d'étudier un exemple dans GL_2(Z/pZ). Après deux exercices préliminaires sur le polynôme minimal et la fonction indicatrice d'Euler, le sujet établit la décomposition de X^n moins 1 en polynômes cyclotomiques, un lemme sur les matrices d'ordre fini, la décomposition de Frobenius des endomorphismes cycliques, puis classifie les matrices complexes, réelles et rationnelles d'ordre fini et les sous-groupes finis de GL_2(R) et GL_2(Q).
- 1Exercices préliminaires 1 et 2Polynôme minimal d'un endomorphisme et fonction indicatrice d'Euler.
- 2Première partie : décomposition de X^n - 1 en produit d'irréductiblesRacines de l'unité, polynômes cyclotomiques et leur appartenance à Z[X].
- 3Deuxième partie : un lemme sur les matrices d'ordre finiDiagonalisabilité sur C d'une matrice d'ordre fini et forme de son polynôme minimal.
- 4Troisième partie : endomorphismes cycliques et décomposition de FrobeniusMatrices compagnons, caractérisation des endomorphismes cycliques et décomposition de Frobenius.
- 5Quatrième partie : matrices complexes ou réelles d'ordre finiClassification des matrices d'ordre fini dans GL_k(C) et GL_k(R), sous-groupes finis de GL_2(R), groupes cycliques et diédraux.
- 6Cinquième partie : matrices rationnelles d'ordre finiForme du polynôme minimal d'une matrice d'ordre fini dans GL_k(Q) et classification des sous-groupes finis de GL_2(Q).
- 7Sixième partie : matrices d'ordre fini dans GL_2(Z/pZ)Dénombrement des matrices d'un ordre donné dans GL_2(Z/3Z) via l'action par conjugaison.
Difficile. Le rapport indique une moyenne de 37,75 sur 100 avec un écart-type de 17,8, et relève de nombreuses confusions sur des notions de base (polynôme annulateur, minimal, caractéristique) jusque tard dans le sujet, notamment à la question 12.
L'épreuve en chiffres
Moyenne 37,75 / 20 · écart-type 17,8 · où vous situez-vous ?Afficher ou masquer la section
L'épreuve en chiffres
- Moyenne
- 37,75/ 20
- Écart-type
- 17,8
- Médiane
- 38
- 1er quartile
- 25
- 3e quartile
- 50
Votre note sur 20 à ce sujet, en conditions de concours.
Source : rapport du jury. Notes publiées par le concours (après harmonisation le cas échéant). Courbe : estimation par une loi normale.
Ce qu'a observé le jury
6 erreurs relevéesConfusion entre polynôme annulateur, minimal et caractéristique · Réciproque non vérifiée sur les matrices semblables · Confusion entre l'indéterminée X et une variableAfficher ou masquer la section
Ce qu'a observé le jury
6 erreurs relevéesLe rapport relève des confusions récurrentes de vocabulaire et de notations dès les exercices préliminaires, ainsi qu'un manque de rigueur dans les justifications, en particulier l'oubli des réciproques et des hypothèses des théorèmes cités. Certaines questions, comme la 4, la 11(c) ou la 15(c), ont permis aux meilleurs candidats de se démarquer nettement.
Les erreurs les plus sanctionnées
- 1Confusion entre polynôme annulateur, minimal et caractéristiqueQ12
Trop de candidats affirment que X^r moins 1 est le polynôme caractéristique ou minimal de A sans justification, alors que ce n'est pas vrai en général.
- 2Réciproque non vérifiée sur les matrices semblablesQ21
Deux matrices ayant même polynôme caractéristique, ou même polynôme minimal, ne sont pas forcément semblables ; c'est la réciproque qui est vraie.
- 3Confusion entre l'indéterminée X et une variableQ8
Dans certaines copies, les candidats confondent l'indéterminée X avec une variable, et ne pensent pas toujours à montrer que les racines de X^n moins 1 sont deux à deux distinctes.
- 4Question de cours pourtant peu réussieQ7
La question 7 a été souvent traitée par les candidats mais peu réussie dans l'ensemble.
« Cette question a été souvent traitée, mais a été peu réussie. »
- 5Caractère irréductible oublié dans une factorisationQ42(a)
La factorisation de X^8 moins 1 est souvent bien démontrée, mais le caractère irréductible des facteurs est en revanche souvent oublié.
- 6Confusion entre premiers entre eux et divisibilitéQ10(a)
Certaines copies confondent l'affirmation m et n premiers entre eux avec l'affirmation m divise n ou n divise m.
Ce qui a été bien réussi
- La question 4 a mis en valeur certains candidats, notamment ceux qui ont pensé à invoquer l'isomorphisme entre K[X]/mu_u et K[u].
- La question 11(c) a mis en valeur les très bons candidats capables de mener une récurrence forte correctement quantifiée.
- La question 15(c) a été traitée par les excellentes copies qui montrent un certain recul en algèbre linéaire.
- La question 14 a mis en valeur les candidats solides sur la gestion des quantificateurs et des signes.
Conseils du jury
- Soigner le vocabulaire et les notations, en particulier ne pas confondre un élément u avec l'indéterminée X d'un polynôme.
- Toujours vérifier les hypothèses d'un théorème avant de l'appliquer, notamment pour le lemme des noyaux.
- Ne pas se contenter d'une implication quand une équivalence est nécessaire, et toujours traiter la réciproque.
- Annoncer clairement le résultat visé et le quantifier correctement avant d'entamer une récurrence.
- Éviter les affirmations hâtives comme confondre diagonalisable et inversible, ou polynôme annulateur et polynôme minimal.
Synthèse rédigée par WikiPrépa à partir du rapport officiel du jury (à télécharger en PDF). Les citations sont extraites du rapport.
Description
Sujet officiel Agrégation interne en mathématiques, session 2025.
Ces sujets peuvent vous intéresser
Pas encore de corrigé pour ce sujet : voici des sujets proches corrigés.
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.Afficher ou masquer la section
Lecture du sujet en ligne
Concours interne et CAER
MATHÉMATIQUES
Le fait de rendre une copie blanche est éliminatoire.
INFORMATION AUX CANDIDATS
AGRÉGATION INTERNE MATHÉMATIQUES
- -Concours interne de l'Agrégation de l'enseignement public:Concours E A ISection/option
1 3 0 0 A Epreuve1 0 1 Matière0 5 4 - -Concours interne du CAER / Agrégation de l'enseignement privé :ConcoursSection/option
1 3 0 0 A Epreuve1 0 1 Matière0 5 4 0
Notations et rappels
On note
Exercice préliminaire 1
- 1.Montrer qu'il existe un unique morphisme de
𝕂 -algèbresθ_u : 𝕂[X] ⟶ End(E) envoyantX suru .
- 2.Montrer que le morphisme
θ_u n'est pas injectif. - 3.En déduire l'existence d'un unique polynôme unitaire
μ_u ∈ 𝕂[X] tel que pour tout polynômeP ∈ 𝕂[X], θ_u(P) est l'endomorphisme nul deE si et seulement siμ_u diviseP .
- 4.Soit
d le degré deμ_u . Montrer que(Id_E, u, …, u^(d − 1)) est une base de𝕂[u] .
Théorème 3. Soit
Exercice préliminaire 2
- 5.Soit
n un entier naturel non nul. Montrer que la valeur deφ(n) est égale au nombre d'éléments inversibles de l'anneauℤ/nℤ . - 6.Montrer que si
p est un nombre premier etα ∈ ℕ^∗ , alors on a la relationφ(p^α) = p^α − p^(α − 1) . - 7.Dans
ℕ^∗ , résoudre l'inéquationφ(n) ⩽ 2 .
Indication : on pourra décomposern en produit de nombres premiers; on rappelle que sim etn sont deux entiers naturels non nuls premiers entre eux, alors on a l'égalitéφ(mn) = φ(m)φ(n) .
Première partie : décomposition de
X^n − 1 en produit d'irréductibles
- 8.Dans
ℂ[X] , exprimer à l'aide deω_n la décomposition du polynômeX^n − 1 en facteurs irréductibles. En déduire queX^n − 1 est à racines simples dansℂ . - 9.(a) Quelles sont, en fonction de
n , les racinesn -ièmes de l'unité appartenant àℝ ?- (b)Soit
θ un nombre réel non nul qui n'est pas de la formemπ avecm un entier relatif. Justifier que le polynôme deℂ[X] de degré 2 donné parP_θ = (X − e^(iθ))(X − e^(− iθ)) est un polynôme deℝ[X] qui est irréductible dont on donnera les coefficients. - (c)En fonction de
n , donner la décomposition en facteurs irréductibles du polynômeX^n − 1 dansℝ[X] .
- (b)Soit
- 10.(a) Soit
m ∈ ℕ^∗ . Démontrer queω_n^m est une racine primitiven -ième de l'unité si et seulement sim etn sont premiers entre eux.- (b)Montrer que le nombre de racines primitives
n -ièmes de l'unité estφ(n) .
- (b)Montrer que le nombre de racines primitives
- 11.(a) Justifier que
𝕌_n = ⋃_(d|n)𝔸_d , où𝔸_d désigne l'ensemble des racines primitivesd -ièmes de l'unité. Montrer que cette union est disjointe. En déduire que
X^n − 1 = ∏_(d|n)Φ_d. - (b)Déterminer
Φ_n pour1 ⩽ n ⩽ 6 . - (c)Soit
B ∈ ℤ[X] un polynôme unitaire etA ∈ ℤ[X] . Montrer qu'il existeQ, R ∈ ℤ[X] tels queA = BQ + R avecdegR < degB ouR = 0 .
Indication : on pourra faire une preuve par récurrence sur le degré deA . - (d)En déduire que pour tout
n ∈ ℕ^∗, Φ_n ∈ ℤ[X] .
- (b)Déterminer
Deuxième partie : un lemme sur les matrices d'ordre fini
- 12.Montrer que
A est diagonalisable surℂ et que ses valeurs propres sont des racines de l'unité. - 13.Montrer que le polynôme minimal
μ_A deA s'écrit sous la formeμ_A = P_1⋯P_q , où lesP_j sont des polynômes irréductibles unitaires de𝕂[X] deux à deux distincts.
Troisième partie : endomorphismes cycliques et décomposition de Frobenius
- 14.Soit
P un polynôme unitaire de𝕂[X] . Démontrer que le polynôme caractéristique deC_P est égal àP .
Indication : on pourra procéder par récurrence sur l'entiern ⩾ 1 . - 15.Soit
x ∈ E . On note
I_x = {P ∈ 𝕂[X]|P(u)(x) = 0}. - (a)Justifier qu'il existe un unique polynôme unitaire
μ_x de𝕂[X] tel queI_x = μ_x 𝕂[X] et que l'on aμ_x|μ_u . - (b)Justifier que
E = ⨁_(i = 1)^q Ker(P_i^(m_i)(u)) et que les sous-espacesN_i = Ker(P_i^(m_i)(u)) sont stables paru . - (c)Pour tout
i ∈ [ [1, q] ] , on noteu_i l'endomorphisme induit paru surN_i . Montrer queμ_(u_i) = P_i^(m_i) . En déduire qu'il existex_i ∈ E tel queμ_(x_i) = μ_(u_i) , puis qu'il existex ∈ E tel queμ_x = μ_u .
- (a)Justifier qu'il existe un unique polynôme unitaire
16. Soit
- i)L'endomorphisme
u est cyclique. - ii)Il existe une base
B deE telle queMat_B(u) soit la matrice compagnon d'un certain polynôme. - iii)
χ_u = μ_u .
- Soit
u un endomorphisme cyclique deE . On noteCom(u) = {v ∈ End(E)|v ∘ u = u ∘ v} l'ensemble des endomorphismes qui commutent avecu . Justifier queCom(u) = 𝕂[u] . - Dans cette question, on suppose que
μ_u est irréductible sur𝕂 . Pourx ∈ E , on note
- (a)Montrer que
E_x est stable paru pour toutx dansE . Montrer que six est non nul, l'endomorphismev induit paru surE_x est cyclique, de polynôme minimal égal àμ_u . En déduire la dimension deE_x . - (b)Soit
F un sous-espace deE stable paru etx ∈ E . Montrer queE_x ⊆ F ouE_x ∩ F = {0} . - (c)Montrer qu'il existe des vecteurs
x_1, …, x_p deE tels que
E = ⨁_(i = 1)^p E_(x_i).
- Dans cette question, on suppose que
μ_u est sans facteurs carrés, c'est-à-dire que sa décomposition en produit de polynômes irréductibles unitaires est de la formeμ_u = P_1⋯P_q où lesP_i sont 2 à 2 distincts.
- (a)Déduire de la question précédente qu'il existe des vecteurs
x_1, …, x_p deE tels que
E = ⨁_(i = 1)^p E_(x_i),
puis qu'il existe une baseB deE telle que la matrice deu dansB est diagonale par blocs de la forme
Diag(C_(P_1), …, C_(P_1), …, C_(P_q), …, C_(P_q))
où chaque blocC_(P_j) est présent un certain nombre de fois, notéℓ_j . - (b)Montrer que
χ_u = P_1^(ℓ_1)⋯P_q^(ℓ_q) .
Quatrième partie : matrices complexes ou réelles d'ordre fini
- Dans cette question, on prend
𝕂 = ℂ etA ∈ GL_k(ℂ) est une matrice d'ordre fini. Par conséquent, il existe un entiern deℕ^∗ tel queA^n = I_k .
- (a)Justifier que
A est diagonalisable et que ses valeurs propres sont des racinesn -ièmes de l'unité. - (b)On note
λ_1, …, λ_k les valeurs propres deA et pourj ∈ [ [1, k] ] , on noten_j l'ordre deλ_j dans le groupe𝕌_n des racinesn -ièmes de l'unité. Exprimer l'ordre deA dans le groupeGL_k(𝕂) en fonction desn_j . - (c)Montrer que pour tout
r ∈ ℕ^∗ , il existe une matriceA_r ∈ GL_k(ℂ) d'ordre exactementr .
- 21.Dans le cas où
θ n'est pas congru à 0 moduloπ , déterminer le polynôme minimal deR_θ et en déduire queR_θ est semblable à(0, − 1; 1, 2cosθ) . - 22.Soit
A ∈ GL_k(ℝ) une matrice d'ordre fini. Justifier que le polynôme minimalμ_A deA est de la forme
μ_A = (X − 1)^(ε_1)(X + 1)^(ε_2)P_(θ_1)⋯P_(θ_q)
oùε_1 etε_2 sont des éléments de{0, 1}, P_(θ_j) = X^2 − 2cos(θ_j)X + 1 et lesθ_j sont des éléments de2πℚ∖πℤ qui sont deux-à-deux distincts. - 23.Soit
A ∈ GL_k(ℝ) . Montrer queA est d'ordre fini si et seulement siA est semblable à une matrice diagonale par blocs de la forme
Diag(I_(k_1), − I_(k_2), R_(θ_1), …, R_(θ_1), …, R_(θ_q), …, R_(θ_q)),
où chaque blocR_(θ_j) apparaîtℓ_j fois, aveck = k_1 + k_2 + 2(ℓ_1 + ⋯ + ℓ_q) et lesθ_j sont des éléments de2πℚ∖πℤ qui sont deux-à-deux distincts. Certains blocs peuvent ne pas apparaître dans cette écriture. - 24.Soit
A ∈ GL_k(ℝ) une matrice d'ordre fini. En gardant les notations de la question précédentes, et en écrivantθ_j = 2π(a_j)/(b_j) oùa_j etb_j sont premiers entre eux, exprimer l'ordre deA en fonction desb_j .
Indication : on pourra distinguer les cask_2 > 0 etk_2 = 0 . - 25.On considère le cas
k = 2 . Montrer queA est d'ordre fini si et seulement siA est semblable à(1, 0; 0, − 1) ou à une matriceR_θ avecθ ∈ 2πℚ . - 26.Montrer que pour tout
r ∈ ℕ^∗ , il existe une matrice deGL_2(ℝ) d'ordre exactementr . - 27.Soit
G un sous-groupe fini deGL_2(ℝ) .- (a)Pour
u etv des éléments deℝ^2 , on pose
(u, v)_G = 1/(|G|)∑_(A ∈ G)⟨Au, Av⟩,
où⟨ −, − ⟩ désigne le produit scalaire canonique deℝ^2 . Montrer que(−, −)_G est un produit scalaire surℝ^2 et que pour toutu etv deℝ^2 et pour toutA deG , on a(u, v)_G = (Au, Av)_G . - (b)On note
S l'élément deM_2(ℝ) qui est la matrice du produit scalaire(−, −)_G dans la base canonique deℝ^2 . Justifier qu'il existeP ∈ GL_2(ℝ) telle queS = P^T P , puis montrer que pour toutA ∈ G , on aPAP^(− 1) ∈ O_2(ℝ) .
- (a)Pour
- 28.On note
SO_2(ℝ) le sous-groupe deO_2(ℝ) constitué des matrices de déterminant 1 , qui sont les matrices de rotation plane. Montrer que siG est un sous-groupe fini d'ordren deSO_2(ℝ) , alorsG est un groupe cyclique, engendré par la matriceR_((2π)/n) . - 29.Soit
n un entier naturel non nul. On considère le sous-groupeD_n deO_2(ℝ) engendré par les matrices
A = R_((2π)/n) = (cos((2π)/n), − sin((2π)/n); sin((2π)/n), cos((2π)/n)), B = (1, 0; 0, − 1).
Montrer que l'on a
D_n = {I_2, A, …, A^(n − 1), B, BA, …, BA^(n − 1)}.
Indication : on pourra d'abord montrer queAB = BA^(− 1) .
30. Dans cette question,
- (a)Montrer que
G ∩ SO_2(ℝ) est un sous-groupe d'indice 2 deG . - (b)Montrer que
G contient une matrice de la forme
S_θ = (cos(θ), sin(θ); sin(θ), − cos(θ)),
oùθ est un nombre réel. - (c)Montrer qu'il existe
P ∈ SO_2(ℝ) tel queP^(− 1)S_θ P = (1, 0; 0, − 1) . - (d)En déduire qu'il existe un entier
n tel queG est conjugué dansSO_2(ℝ) au groupe diédralD_n .
Cinquième partie : matrices rationnelles d'ordre fini
- Soit
A ∈ GL_k(ℚ) une matrice d'ordre fini. Par conséquent, il existe un entiern deℕ^∗ tel queA^n = I_k . Justifier que le polynôme minimalμ_A deA est de la forme
32. Justifier que
33. (a) Justifier que pour tout entier naturel non nul
- (b)En déduire que
A ∈ GL_k(ℚ) est d'ordre fini si et seulement siA est semblable à une matrice de la forme
Diag(C_(Φ_(d_1)), …, C_(Φ_(d_1)), …, C_(Φ_(d_q)), …, C_(Φ_(d_q))),
où chaque blocC_(Φ_(d_j)) est présentℓ_j fois etℓ_1 φ(d_1) + ⋯ + ℓ_q φ(d_q) = k . - (c)Lorsque
A ∈ GL_k(ℚ) est d'ordre fini, exprimer son ordre en fonction des entiersd_j . - (d)On prend
k = 4 . Exhiber une matriceA ∈ GL_4(ℚ) d'ordre 12. - (e)Montrer que l'ordre maximal d'une matrice
A deGL_k(ℚ) est inférieur ou égal à
ppcm{m, φ(m) ⩽ k}.
- Dans cette question, on fixe
k = 2 .
- (a)Montrer que
A ∈ GL_2(ℚ) est d'ordre fini si et seulement siA est semblable à l'une des 6 matrices
(1, 0; 0, 1), (− 1, 0; 0, − 1), (1, 0; 0, − 1), (0, − 1; 1, − 1), (0, − 1; 1, 0), (0, − 1; 1, 1).
On précisera l'ordre de chacune de ces matrices.
- (b)Soit
G un sous-groupe fini deGL_2(ℚ) . En s'appuyant sur les résultats de la quatrième partie, montrer queG est isomorphe à l'un des groupes suivants :
{I_2}, ℤ/2ℤ, ℤ/3ℤ, ℤ/4ℤ, ℤ/6ℤ, D_2, D_3, D_4, D_6.
Sixième partie : matrices d'ordre fini dans
GL_2(ℤ/pℤ)
- 35.Déterminer le cardinal de
GL_2(ℤ/pℤ) . - 36.Soit
M ∈ GL_2(ℤ/pℤ) . Justifier que l'algèbre (ℤ/pℤ )[M ] des polynômes enM à coefficients dansℤ/pℤ est de cardinal 1,p oup^2 . - 37.En déduire que l'ordre de toute matrice de
GL_2(ℤ/pℤ) est majoré parp^2 − 1 . - 38.Soit
M ∈ GL_2(ℤ/pℤ) . On suppose dans cette question que le polynôme minimal deM est de degré 2.- (a)Justifier que
Stab(M) = ℤ/pℤ[M] ∩ GL_2(ℤ/pℤ) . - (b)Montrer que si
M ∈ GL_2(ℤ/pℤ) n'admet pas de valeur propre dansℤ/pℤ , alors on a l'égalité|Stab(M)| = p^2 − 1 . - (c)Montrer que si
M admet une unique valeur propre dansℤ/pℤ , alors on a|Stab(M)| = p^2 − p .
- (a)Justifier que
- 39.Justifier que les ordres possibles pour une matrice de
GL_2(ℤ/3ℤ) sont 1,2,3,4,6 et 8. - 40.Éléments d'ordre 6.
- (a)Justifier que le polynôme
X^6 − 1 est scindé dansℤ/3ℤ . - (b)En déduire que
M ∈ GL_2(ℤ/3ℤ) est d'ordre 6 si et seulement siM est semblable à(− 1, 1; 0, − 1) . - (c)Dénombrer les matrices d'ordre 6.
- (a)Justifier que le polynôme
- 41.Éléments d'ordre 3. Adapter la méthode de la question précédente.
- 42.Éléments d'ordre 8.
- (a)Montrer que la décomposition en facteurs irréductibles de
X^8 − 1 dansℤ/3ℤ[X] est
X^8 − 1 = (X − 1)(X + 1)(X^2 + 1)(X^2 + X + 2)(X^2 + 2X + 2). - (b)En déduire une condition nécessaire et suffisante sur le polynôme minimal d'une matrice de
GL_2(ℤ/3ℤ) pour qu'elle soit d'ordre 8. - (c)Exhiber alors une matrice
M ∈ GL_2(ℤ/3ℤ) d'ordre 8. - (d)Dénombrer les matrices d'ordre 8.
- (a)Montrer que la décomposition en facteurs irréductibles de
- Éléments d'ordre 4. Adapter la méthode de la question précédente.
- Éléments d'ordre 2.
- (a)Justifier qu'une matrice d'ordre 2 autre que
− I_2 est semblable àM = (1, 0; 0, − 1) . - (b)Déterminer
|Stab(M)| et en déduire le nombre d'éléments d'ordre 2 dansGL_2(ℤ/3ℤ) .
Questions fréquentes
4 questionsSur quels chapitres porte la première épreuve écrite de l'agrégation interne de mathématiques 2025 ?Afficher ou masquer la section
Questions fréquentes
4 questionsSur quels chapitres porte la première épreuve écrite de l'agrégation interne de mathématiques 2025 ?
Le sujet porte sur les matrices d'ordre fini : polynôme minimal, polynômes cyclotomiques, décomposition de Frobenius, groupes cycliques et diédraux, et matrices sur Z/pZ.
La première épreuve de l'agrégation interne de maths 2025 est-elle difficile ?
Oui, le rapport indique une moyenne de seulement 37,75 sur 100 avec un écart-type de 17,8, et relève des confusions persistantes sur des notions de base jusqu'à des questions avancées du sujet.
Quelles erreurs le jury a-t-il le plus relevées sur cette épreuve d'agrégation interne de maths ?
Le jury relève des confusions entre polynôme annulateur, minimal et caractéristique, des réciproques non vérifiées sur les matrices semblables, et un manque de rigueur dans le vocabulaire et les notations.
Le sujet d'agrégation interne maths 2025 sur les matrices d'ordre fini couvre-t-il la théorie des groupes ?
Oui, la quatrième et la cinquième partie classifient les sous-groupes finis de GL_2(R) et GL_2(Q) en groupes cycliques et diédraux, en s'appuyant sur des notions de théorie des groupes comme le théorème de Lagrange.
Pas de description pour le moment