Anneaux et Arithmétique (2020-2021)
Module ANAR de la troisième année de la licence de mathématiques de Rennes 1
Le programme du module
Le programme du module tel qu'il figure dans l'annuaire des formations est consultable à partir de cette page.
Les prérequis du module
- un minimum d'aisance dans la compréhension et la rédaction d'énoncés
et d'arguments mathématiques ;
la capacité à rédiger de manière satisfaisante est prise en compte de manière importante dans les évaluations écrites du module ;
en cas de doute, vous pouvez consulter par exemple les références suivantes :- notes de cours de Marie-Pierre Lebaud sur la compréhension et la rédaction des énoncés mathématiques
- notes de cours de Marie-Pierre Lebaud sur la compréhension et la rédaction des démonstrations mathématiques.
- des bases solides en logique et arithmétique élémentaires, telles que décrites par exemple dans ce cours
avoir déjà manipulé un petit peu les notions de groupes, d'anneaux et de polynômes n'est théoriquement pas nécessaire pour suivre le module,
puisque toutes les définitions utiles sont données ; cependant dans la pratique cela semble presque indispensable pour suivre le module avec fruit
et ne pas se retrouver rapidement dépassé ; concrètement, il est bon d'avoir suivi dans son cursus antérieur une formation d'algèbre correspondant par exemple- à la partie Structures algébriques usuelles du programme de mathématiques la seconde année de CPGE (Mathématiques Physique)
- aux parties Structures algébriques usuelles, Polynômes à coefficients dans un corps
et Fractions rationnelles du module AG3 de la licence de mathématiques 2ème année de Rennes 1 - ou à tout autre contenu essentiellement équivalent
et de se sentir suffisamment à l'aise avec ces notions.
Les enseignants du module
- Cours : David Bourqui
- Groupe de TD Beaulieu L3 Recherche Agreg : David Bourqui
(programme des séances de TD, classe virtuelle du TD) - Groupe de TD Beaulieu L3 Génie Mathématique : Tobias Schmidt
- Groupe de TD Ker Lann L3 Magistère : Harold Favereau
Modalités de contrôle des connaissances (sous réserve)
La note CC de contrôle continu sera calculée comme suit. Vous aurez au cours du semestre deux épreuves écrites d'une durée d'une heure trente :
- le jeudi 11 mars 2021 de 16h15 à 17h45
dans la salle d'examens du bâtiment 27 (campus de Beaulieu) - le jeudi 8 avril 2021 de 16h15 à 17h45 à distance
La note de CC sera la moyenne des deux notes (sur 20) obtenues à chacun de ces contrôles.
Il y aura aussi un examen écrit final de 2h le mardi 20 avril 2021 de
11h à 13h, à distance
déclaration sur l'honneur à signer, dépôt des copies
La note finale sera donnée par la formule Max(T,(T+CC)/2)
Cours : notes de cours
Lien vers le cours en classe virtuelle
Merci aux étudiantes et étudiants qui par leurs retours
ont permis la correction de nombreuses coquilles et l'amélioration
de la clarté de l'exposition dans les notes qui suivent,
et tout particulièrement à Julien Cam pour ses retours nombreux et détaillés.
Les versions courtes sont des versions où les remarques et les démonstrations ont été enlevées.
- Chapitre 1 : quelques rappels de théorie élémentaire des groupes (version courte)
- Chapitre 2 : notions de base de théorie des anneaux (version courte)
- Chapitre 3 : étude des quotients de \(\mathbf{Z}\) et des anneaux de polynômes en une variable (version courte)
- Chapitre 4 : corps finis, applications en cryptographie et en théorie des codes correcteurs d’erreur (version courte)
- Chapitre 5 : localisation, corps des fractions d'un anneau intègre (version courte) Guide de lecture du chapitre 5
Le contenu du chapitre 6 ci-dessous n'est pas
exigible lors des évaluations liées au module
Cours : déroulement
Séance 1
Pour la première séance, vu le peu de temps imparti pour l'étude des notes de cours, on commence en douceur avec les parties 2.1 et 2.2 du chapitre 2.
Définition d'un anneau, exemples, règles élémentaires de calculs.
Sous-anneaux d'un anneau, intersection de sous-anneaux, sous-anneau
engendré par une partie.
Séance 2
Parties 2.3 et 2.4 (jusqu'à la proposition 23 incluse) du chapitre 2
Groupe des éléments inversibles d'un anneau.
Morphisme d'anneaux, image et image réciproque d'un sous-anneau
par un morphisme d'anneaux
Exemples de morphismes d'anneaux, noyau d'un morphisme d'anneaux.
Pour tout anneau A, Hom(Z,A) est un singleton.
Notion d'idéal, propriétés élémentaires
(intersection, somme, produit d'idéaux, idéal engendré)
Séance 3
Parties 2.4 (de la définition 24 jusqu'à la fin) et 2.5 (jusqu'à la proposition 34 incluse) du chapitre 2
Idéaux premiers et maximaux
Idéaux de Z et k[X] (k un corps) (description, idéaux premiers et maximaux)
Caractéristique d'un anneau
Produit d'anneaux
Si vous vous sentez suffisamment à l'aise, je vous conseille de lire aussi la fin
de la partie 2.5 (anneaux de polynômes et de séries formelles)
Séance 4
Fin de la section 2.5 du chapitre 2
Polynômes et séries formelles à coefficients dans un anneau
- degré sur \(A[X]\) ; si \(A\) est intègre, \(A[X]\) est intègre
- morphisme d'évaluation \(A[X]\to A,\quad P\mapsto P(a)\)
- valuation sur \(A[[X]]\) ; si \(A\) est intègre, \(A[[X]]\) est intègre
- division euclidienne par un polynôme de coefficient dominant inversible
- racines (zéros) d'un polynome ;
un polynôme \(P\) à coefficients dans un anneau intègre a au plus \(\deg(P)\) racines - propriété universelle de l'anneau de polynômes
en une indéterminée à coefficients dans un anneau - anneau de polynôme en plusieurs indéterminées
Séance 5
Sections 2.6 et 2.8 du chapitre 2
(on laisse tomber 2.7 pour l'instant ; si vous vous sentez
suffisamment à l'aise, vous pouvez bien sûr lire aussi cette section)
- anneau quotient, propriété universelle, théorèmes d'isomorphisme
- anneaux intègres, corps, caractérisation des idéaux premiers
et maximaux en termes de quotient
Séance 6
Retour sur les sections 2.6 et 2.8 du chapitre 2
Sections 2.9 et 2.10 du chapitre 2
Si vous vous sentez suffisamment à l'aise,
vous pouvez commencer à lire tout ou partie du (court) chapitre 3
- Éléments irréductible d'un anneau intègre;
propriété premier \(\Rightarrow\) irréductible - Notion d'algèbre;
propriété universelle de la \(A\)-algèbre \(A[X]\);
structure d'espace vectoriel sur une algèbre d'anneau de base un corps
Séance 7
Sections 2.9 et 2.10 du chapitre 2
Intégralité du chapitre 3
- Éléments irréductible d'un anneau intègre;
propriété premier \(\Rightarrow\) irréductible - Notion d'algèbre;
propriété universelle de la \(A\)-algèbre \(A[X]\);
structure d'espace vectoriel sur une algèbre d'anneau de base un corps - Quotients de \(\mathbf{Z}\) et de \(\mathbf{K}[X]\) : éléments inversibles, endomorphismes ;
carrés dans \(\mathbf{Z}/p\mathbf{Z}\) ;
base du \(\mathbf{K}\)-espace vectoriel \(\mathbf{K}[X]/P\mathbf{K}[X]\) ;
éléments algébriques sur un corps, polynôme minimal d'un élément algébrique
Séance 8
Retour sur quelques points du chapitre 3
Sections 4.1 à 4.5 du chapitre 4
Suggestion si vous vous sentez à l'aise ou par curiosité : l'interlude
cryptographique 4.6
Suggestion si vous vous sentez à l'aise : fin du chapitre 4 (4.7 et 4.8)
- Corps finis : définition, caractéristique et cardinal;
exemples : \(\mathbf{Z}/p\mathbf{Z}\) (\(p\) premier), quotients d'anneaux de
polynômes à coefficients dans \(\mathbf{Z}/p\mathbf{Z}\) - Comment calcule-t-on dans le corps à \(4\) éléments ?
- Le morphisme de Frobenius sur un anneau de caractéristique un nombre premier
Le groupe des inversibles d'un corps fini est cyclique
Application : tout corps fini est un quotient d'un anneau de
polynômes à coefficients dans \(\mathbf{Z}/p\mathbf{Z}\) (\(p\) premier)
Séance 9
Retour sur quelques points du début du chapitre 4
Sections 4.7 à 4.8 du chapitre 4
Suggestion si vous vous sentez à l'aise ou par curiosité : l'interlude
cryptographique 4.6
Suggestion si vous vous sentez à l'aise : 4.9
NB : le contenu de 4.6 et 4.9 n'est pas exigible lors des évaluations
liées au module
- Deux corps finis de même cardinal sont isomorphes ; aspect effectif.
Pour tout nombre premier \(p\) et tout entier strictement positif \(n\),
il existe un corps fini de cardinal \(n\) ;
pour tout entier strictement positif \(N\), un tel corps possède un
sous-corps de cardinal \(N\) si et seulement si \(N\) s'écrit
\(p^d\) où \(d\) est un diviseur positif de \(N\), et alors
un tel sous-corps est unique.
Séance 10
Intégralité du chapitre 5
Consultez en priorité le guide de lecture
- Définition et propriétés de la localisation d'un anneau par rapport
à une partie multiplicative Cas de la localisation d'un anneau intègre ;
corps des fractions d'un anneau intègre
Séance 11
Suite et fin de la séance 10 (même programme)
Feuilles de TD
- Feuille 1 et quelques rédactions de solutions
- Feuille 2
- Feuille 3 ; solution de l'exercice 3.4
- Feuille 4
Les exercices des feuilles qui suivent portent sur du contenu
non exigible lors des évaluations liées au module
- Feuille 3 bis (exercices sur les codes correcteurs)
- Feuille 5 (exercices sur les anneaux euclidiens, principaux, factoriels)
Vous pouvez aussi consulter toutes les feuilles de TD de l'an dernier
(qui diffèrent peu de celles qui seront utilisées cette année)
Sujets des contrôles et examens
- sujet du CC 1 et un corrigé
- sujet du CC 2 et un corrigé
- sujet de l'examen terminal (première session) et un corrigé
Vous pouvez consulter les sujets de l'an dernier, ceux d'il y a deux ans et ceux d'il y a trois ans.
Références potentiellement utiles pour le module
Les références suivantes peuvent vous aider dans votre travail. La plupart des ouvrages indiqués (sinon tous) sont disponible à la bibliothèque universitaire de Beaulieu.
- Toute l'algèbre de la licence (Cours et exercices corrigés), par
Jean-Pierre Escofier (Dunod)
Chapitres 12,13,19,20,21,22 - Mathématiques L2 - Cours complet avec 700 tests et exercices corrigés, par Jean-Pierre Marco, Philippe Thieullen,
Jacques-Arthur Weil et al., Weil et al. (Pearson)
Chapitre 4 - Mathématiques L3 : Algèbre - Cours complet avec 400 tests et exercices corrigés, par Aviva Szpirglas et al. (Pearson)
Chapitres 9,10,13 - Mathématiques tout-en-un pour la licence niveau L2 (Cours complet,
exemples et exercices corrigés), par Jean-Pierre Ramis, André
Warusfel, et al. (Dunod)
Modules II.1, II.7 - Mathématiques tout-en-un pour la licence niveau L3, par Jean-Pierre Ramis, André Warusfel, et al. (Dunod)
Partie I - Algebra, par Serge Lang (Graduate Texts in Mathematics-Springer ; une version française est éditée chez Dunod)
Chapter II, IV - Un cours de niveau L3 sur les anneaux par Henri Lombardi
- Vidéos d'un cours de niveau M1 d'algèbre par Johannes Huisman
Vidéos 1 à 16 (sauf 14)