AnnalesEnseignement
Agrégation externe 2011 — Mathématiques générales
Le problème étudie la similitude des matrices à coefficients entiers par des matrices de . Après des préliminaires sur la similitude sur un corps (matrices compagnons, diagonalisabilité, critère de similitude des matrices triangulaires par blocs par l'équation ), il montre qu'il n'y a qu'un nombre fini de classes de similitude entière de polynôme caractéristique par un argument de réduction, que la diagonalisabilité se conserve modulo pour presque tout , et qu'il y a une infinité de classes dès que le polynôme a une racine multiple. Il établit enfin, via la finitude du nombre de classes d'idéaux de et la correspondance entre classes de matrices et classes d'idéaux (théorème de Latimer-MacDuffee), que les matrices entières diagonalisables sur de polynôme caractéristique donné forment un nombre fini de classes de similitude entière.
Le sujet, partie par partie
Notations et Partie I — Préliminaires : matrices sur , polynômes, similitude de matrices blocs p. 1–4
Diagonalisation · Endomorphismes cycliques et matrice compagnon · Matrices par blocs · Polynômes · Polynôme caractéristique et Cayley-Hamilton · Racines et relations coefficients-racines · Applications linéaires et rang — matrice compagnon, classes de similitude, matrices triangulaires par blocs, équation de Sylvester , lemme de Gauss sur le contenu, racines simples
Partie II, A et B — Similitude entière, premier exemple et les ensembles p. 4–5
Groupes de matrices · Formes quadratiques binaires entières · PGCD, Bézout, Gauss · Corps finis · Arithmétique des entiers — similitude entière, , réduction modulo , matrices de trace nulle, réduction de Gauss, nombre fini de classes
Partie II, C et D — Diagonalisabilité modulo et un résultat de non-finitude p. 5–6
Corps finis · Diagonalisation · Polynômes · PGCD, Bézout, Gauss · Polynômes d'endomorphismes · Nombres premiers — réduction modulo , clôture algébrique de , relation de Bézout et , racines multiples, polynôme annulateur scindé à racines simples
Partie III, A et B — Groupes abéliens libres de type fini et classes d'idéaux p. 6–7
Modules et forme normale de Smith · Entiers algébriques et équations diophantiennes · Anneaux et idéaux · Groupes · Réseaux euclidiens · Irrationalité et approximation diophantienne — groupe abélien libre de type fini, -base, théorème de la base adaptée, anneau , classes d'idéaux, finitude du nombre de classes, principe des tiroirs
Partie III, C et D — Classes de similitude et classes d'idéaux, finitude de p. 8
Entiers algébriques et équations diophantiennes · Groupes de matrices · Anneaux et idéaux · Modules et forme normale de Smith · Matrices par blocs · Diagonalisation — théorème de Latimer-MacDuffee, vecteur propre à coefficients algébriques, idéal engendré, similitude entière, récurrence sur le degré