Cours I - Polynômes à plusieurs indétermininées; ensembles algébriques affines; idéaux (lundi 28/01) : rappel structures de nombres (N, Z, Q, R, C), plus exemple du corps à 2 éléments; Polynômes à plusieurs indéterminées, ensembles algébriques affines (exemples via SAGE), opérations sur les ensembles algébriques affines.
Cours I(Suite) (lundi 4/02) : Présentation de problèmes associés aux systèmes d'équations algébriques (résolution, implicitation de systèmes paramétrés, équation algébrique impliquée par un système), idéal d'un ensemble algébrique affine, idéaux finiment engendrés, <f1,…,fs> inclus dans I(V(f1,…,fs)), présentation de problèmes associés aux idéaux (tout idéal est-il finiment engendré ? question de l'appartenance à <f1,…,fs>).
Cours II - Anneau des polynômes à une indéterminée (lundi 4/02) : Division euclidienne dans K[x], tout idéal de K[x] est principal, <f1,f2>=<pgcd(f1,f2)>.
Cours II(Suite) (lundi 11/02) : algorithme d'Euclide, <f1,…,fs>= <PGCD(f1,…,fs)>, utilisation pour répondre à la question de l'appartenance à <f1,…,fs>.
Cours III- Algorithme de division en plusieurs indéterminées (lundi 11/02) : Exemple des systèmes linéaires; Ordres (ordre total, bon ordre, ordre monomial, exemple de l'ordre lexicographique).
Cours III(Suite) (lundi 18/02) : propriétés des ordres monomiaux (tout ordre monomial est un bon ordre), définition du multidegré, algorithme de division.
Cours IV - Bases de Gröbner (lundi 4/03) : définition des bases de Gröbner et propriétés de la division par une base de Gröbner; idéaux monomiaux et lemme de Dickson; Théorème de la base de Hilbert et d'existence de bases de Gröbner.
Cours V - Algorithme de Buchberger (lundi 11/03) : réduction, confluence, S-polynômes et paires critiques, critère de Buchberger.
Cours V(Suite) (lundi 18/03) : algorithme de Buchberger; exemple de calculs d'une base de Gröbner.
Cours VI - Premières applications des bases de Gröbner (lundi 25/03) : Appartenance à un idéal, résolution d'équations polynomiales, méthode d'élimination.
Cours VII - Applications des bases de Gröbner à la géométrie élémentaire (lundi 8/04).