AnnalesEnseignement
Agrégation interne 2023 — Épreuve 1
Après un vrai-faux et deux exercices préliminaires (cardinal de , égalité et cyclicité du groupe multiplicatif d'un corps fini), le problème définit la valuation et la valeur absolue -adiques, puis construit l'anneau des entiers -adiques comme suites compatibles, son corps des fractions et sa topologie (densité de , complétude). Il en déduit que l'ensemble des zéros d'une suite récurrente linéaire à coefficients entiers est, par classes de congruence, fini ou égal à , et utilise l'exponentielle et le logarithme -adiques pour montrer que est cyclique lorsque est impair.
Le sujet, partie par partie
Vrai-faux et exercices préliminaires p. 5–7
Corps finis · Groupes cycliques et ordre · Fonctions arithmétiques et fonction de Möbius · Dénombrement et combinatoire · Espaces vectoriels et dimension · Congruences et Z/nZ — indicatrice d'Euler, cardinal de , groupe multiplicatif d'un corps fini, somme des , familles libres sur un corps fini
Partie I — Valuation et valeur absolue -adiques p. 7–9
Nombres p-adiques et valuations · Nombres premiers · Coefficients binomiaux · Arithmétique des entiers · Espaces vectoriels normés · Dénombrement et combinatoire — valuation -adique, formule de Legendre, valuation -adique de , coefficients binomiaux pairs, valeur absolue -adique, distance ultramétrique
Partie II — Les entiers -adiques p. 9–12
Nombres p-adiques et valuations · Anneaux et idéaux · Topologie, compacité, connexité · Congruences et Z/nZ · Corps et extensions · Densité · Séries numériques — entiers -adiques, corps des nombres -adiques, idéaux de , anneau intègre, suite de Cauchy, complétude
Partie III — Termes nuls d'une suite récurrente linéaire p. 12
Suites récurrentes linéaires · Nombres p-adiques et valuations · Calcul matriciel · Congruences et Z/nZ · Séries numériques · Anneaux et idéaux — théorème de Skolem-Mahler-Lech, zéros d'une suite récurrente linéaire, réduction modulo , matrice inversible
Partie IV — Exponentielle -adique et application p. 13–14
Nombres p-adiques et valuations · Groupes cycliques et ordre · Congruences et Z/nZ · Anneaux et idéaux · Séries numériques · Groupes — exponentielle -adique, logarithme -adique, groupe des inversibles de , générateur, isomorphisme de groupes