Perrin va vite. D'ailleurs, ce développement est long. Peut-être admettre le lemme sur la pseudo-division euclidienne et détailler la commutation des quotients à la place.
Le dev est au recto, autres lemmes au verso.
Réf : Perrin p.54-55
Recasage : 122, 127
Remarque : Dev intéressant, mais a le défaut d'être juste un contre exemple. Connaître les premiers lemmes au verso. Bien savoir utiliser le théorème d'isomorphisme. Admettez le lemme de division pseudo euclidienne, la démo est pas intéressante dans le dev, par contre connaissez l'idée de démo qu'on utilise dans les anneaux Z[w] (on fait la division euclidienne dans Q[w] puis on récupère des entiers pas trop loin pour avoir la division dans Z[w] ). Je vous conseille de faire un plan au tableau en 3 item, et prendre votre temps à la fin pour pas être perdu.
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.