ATLAS Ouvrir dans l'atlas →

AnnalesEnseignement

Agrégation externe 2019 — Mathématiques générales

Entiers cyclotomiques et théorème de Fermat pour p=3p = 3 et pour pp régulier · 10 pages

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 ℤ[j]\mathbb{Z}[j], polynômes cyclotomiques (irréductibilité de Φp\Phi_p démontrée, celle de Φn\Phi_n admise), matrices compagnons, entiers algébriques (caractérisation par le polynôme minimal et par les groupes de type fini, structure d'anneau). Pour K=ℚ(ζ)K = \mathbb{Q}(\zeta), ζ=e2iπ/p\zeta = e^{2i\pi/p}, il montre que l'anneau des entiers est ℤ[ζ]\mathbb{Z}[\zeta], que l'idéal engendré par λ=1−ζ\lambda = 1 - \zeta est premier de quotient 𝔽p\mathbb{F}_p et que les unités sont les ζrε\zeta^r \varepsilon avec ε\varepsilon réelle (lemme de Kronecker). Il en déduit que x3+y3+z3=0x^3 + y^3 + z^3 = 0 n'a pas de solution non triviale (descente infinie dans ℤ[j]\mathbb{Z}[j]) puis que xp+yp+zp=0x^p + y^p + z^p = 0 n'en a pas avec p∤xyzp \nmid xyz lorsque p>3p > 3 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 ℤ[X]\mathbb{Z}[X], anneau ℤ[j]\mathbb{Z}[j], anneau euclidien, norme N(z)N(z), polynômes cyclotomiques, réduction modulo pp, matrice compagnon, polynôme caractéristique de Q(M)Q(M)

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 ℂ\mathbb{C}, conjugués, entier algébrique, groupe abélien de type fini, indicatrice d'Euler

Partie III — Le corps ℚ(ζ)\mathbb{Q}(\zeta) 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 ℤ[ζ]\mathbb{Z}[\zeta], lemme de Kronecker, racines de l'unité, idéal premier, anneau des entiers

Partie IV — Le théorème de Fermat pour p=3p = 3 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 x3+y3+z3=0x^3 + y^3 + z^3 = 0, entiers d'Eisenstein, valuation, descente infinie, éléments associés

Partie V — Le théorème de Fermat pour pp régulier et p∤xyzp \nmid xyz 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

Ouvrir dans l'atlas interactif →