AnnalesEnseignement
Agrégation externe 2019 — Mathématiques générales
Le sujet construit les outils d'arithmétique des corps de nombres utilisés pour deux cas du théorème de Fermat : anneau euclidien , polynômes cyclotomiques (irréductibilité de démontrée, celle de admise), matrices compagnons, entiers algébriques (caractérisation par le polynôme minimal et par les groupes de type fini, structure d'anneau). Pour , , il montre que l'anneau des entiers est , que l'idéal engendré par est premier de quotient et que les unités sont les avec réelle (lemme de Kronecker). Il en déduit que n'a pas de solution non triviale (descente infinie dans ) puis que n'en a pas avec lorsque est régulier.
Le sujet, partie par partie
Définitions et Partie I — Exercices préliminaires p. 3–5
Polynômes cyclotomiques · Anneaux et idéaux · Endomorphismes cycliques et matrice compagnon · Racines et relations coefficients-racines · Corps et extensions · Corps finis · Entiers algébriques et équations diophantiennes · Polynômes — division euclidienne dans , anneau , anneau euclidien, norme , polynômes cyclotomiques, réduction modulo , matrice compagnon, polynôme caractéristique de
Partie II — Nombres algébriques p. 5–6
Entiers algébriques et équations diophantiennes · Corps et extensions · Petit théorème de Fermat et indicatrice d'Euler · Groupes · Déterminants · Racines et relations coefficients-racines — nombre algébrique, polynôme minimal, degré d'une extension, plongements dans , conjugués, entier algébrique, groupe abélien de type fini, indicatrice d'Euler
Partie III — Le corps et son anneau d'entiers p. 6–8
Entiers algébriques et équations diophantiennes · Anneaux et idéaux · Corps et extensions · Polynômes cyclotomiques · Groupes cycliques et ordre · Coefficients binomiaux · Nombres complexes — corps cyclotomique, norme et trace, unités de , lemme de Kronecker, racines de l'unité, idéal premier, anneau des entiers
Partie IV — Le théorème de Fermat pour p. 8–9
Entiers algébriques et équations diophantiennes · Anneaux et idéaux · Congruences et Z/nZ · PGCD, Bézout, Gauss · Nombres complexes — théorème de Fermat, équation , entiers d'Eisenstein, valuation, descente infinie, éléments associés
Partie V — Le théorème de Fermat pour régulier et p. 9–10
Entiers algébriques et équations diophantiennes · Anneaux et idéaux · Congruences et Z/nZ · Polynômes cyclotomiques · Corps et extensions — nombre premier régulier, factorisation en idéaux premiers, idéaux premiers entre eux, idéal principal, premier cas du théorème de Fermat, unités réelles