Développement :
Critère d'Eisenstein + application à l'irréductibilité de $\Phi_p$
Détails/Enoncé :
On démontre le critère d'Eisenstein et à l'aide de ce dernier, on prouve l'irréductibilité du $p$-ème polynôme cyclotomique $\Phi_p(X)=\sum \limits_{k=0}^{p-1}X^k$ sur $\mathbb{Q}[X]$.
A la fin de mes devs je mets toujours une petite note sur les résultats annexes à savoir, c'est très subjectif et non exhaustif, il y a évidemment pleins d'autres choses à savoir sur chaque dev que ce que je mets.
Pour me contacter si besoin : axel.carpentier2001@gmail.com
Je démontre le lemme des contenus, le fait qu'un polynôme irréductible sur un anneau factoriel l'est sur son corps des fractions, le critère d'Eisenstein et l'application à l'irréductibilité du p-ième polynôme cyclotomique. Si j'étais tombé dessus le jour J, je serai uniquement rester sur Z.
Ca passe en 14min30 mais c'est speed donc pas le temps de faire le dernier corollaire sur la dimension de R comme Q-espace vectoriel.
Attention, ce développement est utilisé dans des leçons de votre couplage. Voulez-vous quand même le supprimer de votre couplage ?
Notre livre est édité !
Après plus d'un an et demi d'écriture, notre livre voit enfin le jour !
Cet ouvrage a été relu par des agrégatifs comme vous pour en faire un outil le plus utile possible !
Cet ouvrage propose une liste de développements analysés finement, replacés dans un contexte global listant le plus exhaustivement possible les imbrications des résultats avec le reste du monde mathématique. Le lecteur trouvera dans cet ouvrage toute les techniques fondamentales de preuve ainsi que des entraînements complets et pédagogiques afin d’être préparé au mieux pour le concours de l’agrégation de mathématiques.