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 :
  • 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

    et de se sentir suffisamment à l'aise avec ces notions.


Les enseignants du module


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.

Le contenu du chapitre 6 ci-dessous n'est pas
exigible lors des évaluations liées au module


Cours : déroulement

Séance 1 [2021-01-07 jeu.]

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.

Notes manuscrites de la séance

Séance 2 [2021-01-14 jeu.]

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é)

Notes manuscrites de la séance

Séance 3 [2021-01-21 jeu.]

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)

Notes manuscrites de la séance

Séance 4 [2021-01-28 jeu.]

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

Notes manuscrites de la séance

Séance 5 [2021-02-04 jeu.]

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

Notes manuscrites de la séance

Séance 6 [2021-02-11 jeu.]

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

Notes manuscrites de la séance

Séance 7 [2021-02-18 jeu.]

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

Notes manuscrites de la séance

Séance 8 [2021-02-25 jeu.]

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)

    Notes manuscrites de la séance

Séance 9 [2021-03-18 jeu.]

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.

    Notes manuscrites de la séance

Séance 10 [2021-03-25 jeu.]

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

    Notes manuscrites de la séance

Séance 11 [2021-04-01 jeu.]

Suite et fin de la séance 10 (même programme)

Notes manuscrites de la séance

Feuilles de TD

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

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)

Archives des années précédentes