Cours 3 (lundis 9/02, 23/02 et 2/03) : Relations d'ordre : exemples, ordres totaux, bons ordres, caractérisation des bons ordres par suites strictement décroissantes, principe de récurrence sur les bons ordres. Ordres monomiaux (exemples : ordre lexicographique et ordre lexicographique gradué). Algorithme de division, exemples, problème de non unicité du reste, interprétation de l'algorithme de division en termes de réductions et de formes normales, confluence, définition des bases de Gröbner et propriétés.
Polycopié chapitre 3