Développement : Théorème de Dirichlet faible

Détails/Enoncé :

Soit $n$ un entier. Alors il existe une infinité de nombre premiers congru à $1$ modulo $n$.

Recasages pour l'année 2024 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    Inclus la preuve de certains résultats sur les polynômes cyclotomiques, pour rentrer dans le temps.
  • Fichier :
  • Auteur :
  • Remarque :
    D'après moi pour les leçons : 102, 120, 121 et 141.

    Je conseille de ne pas tenir compte de la définition des polynômes cyclotomiques que je donne (celle du Perrin), mais les définir directement sur C.
    Et il y a une coquille au tout début, le corps de décomposition sur Q de $X^n - 1$ n'est pas C...

    NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties "faciles" ne sont donc pas à mentionner ou juste à l'oral.
    J'écris assez mal également, toutes mes excuses.
  • Références :
  • Fichier :
  • Auteur :
  • Remarque :
    C'est un peu technique mais une fois qu'on l'a fait il revient très facilement. Faut par contre être sûr de ses résultats sur les polynômes cyclotomiques. À part ça il se recase bien je trouve.

    Attention aux coquilles !
  • Fichier :
  • Auteur :
  • Remarque :
    On explicite la factorisation des polynômes cyclotomiques sur les corps finis, ce qui permet plus de recasages (120, 121, 123, 125 et 141)
  • Fichier :
  • Auteur :
  • Remarque :
    Je n'aime pas ce développement et ce $3N!$ sui sort du chapeau mais merci Mathilde ça dépanne ! La bonne version est dans le Gozard (pépite ce livre)
  • Fichier :
  • Auteur :
  • Remarque :
    J'utilise le FGN "1" (nouvelle édition) pour ce dev

    Lien direct vers le fichier : https://delbep.notion.site/406816fc93b74e5db75ff232d12fdab7?

    Vous trouverez toutes mes ressources pour l'agrégation à cette adresse : https://www.notion.so/delbep/Agr-gation-c834c3492ca94b68b157e683e615536b?pvs=4v=d11624e4c7aa41bdb625b5e3a57af4e6
  • Fichier :