COURS 11

Bases de Gr obner1
R esum e Les bases de Gr obner sont un outil tr` es important du calcul formel. Elles permettent de nombreux calculs avec des id eaux danneaux de polyn omes, ce qui en fait une structure de donn ees utile pour manipuler les solutions de syst` emes polynomiaux.

La division Euclidienne, lalgorithme dEuclide et lalgorithme dEuclide etendu rendent eectifs de nombreux calculs dans K[x] (K est un corps). En particulier, ces algorithmes fournissent un test de divisibilit e dans K[x] ; un test dappartenance ` a lid eal (P ) K[x], o` u P K[x] ; un calcul de forme normale dans K[x]/(P ) ; un calcul d elimination (les r esultants). Les bases de Gr obner permettent une g en eralisation de ces op erations ` a lanneau A = K[x1 , . . . , xn ] des polyn omes ` a n variables et ` a coecients dans K. On utilisera la notation multi-exposant : si = (1 , . . . , n ) Nn , on notera n 1 2 x = x 1 x2 . . . xn . 1. D enitions 1.1. Ordres monomiaux. finition 1. On appelle De mon ome : un el ement de A de la forme x o` u Nn . terme : un el ement de A de la forme m o` u K et m est un mon ome. ordre monomial : un ordre total sur les mon omes qui est compatible avec le produit (i.e. m1 m2 mm1 mm2 ) et tel que toute suite d ecroissante de mon omes est stationnaire. Une cons equence simple de cette d enition est que si est un ordre monomial, alors 1 est le plus petit el ement. En eet, si m 1 pour un certain mon ome m, alors en multipliant par m, m2 m 1. On construit de cette mani` ere une suite innie strictement d ecroissante. Dautre part, si n = 1, il ny a quun ordre monomial possible, ` a savoir lordre donn e par le degr e. Exemple 1. Lordre lexicographique est un ordre monomial. Il sagit de lordre d eni par x x si et seulement si le premier coecient non nul de est n egatif. En Maple, cet ordre est not e plex(x1 , . . . , xn ). Par exemple, pour plex(x, y, z ) : 1 z z 2 y yz y 2 x .
1La premi` ere r edaction de ce chapitre est due ` a Roland Casalis. 95

96

COURS 11. BASES DE GROBNER

Exemple 2. Lordre du degr e lexicographique inverse est egalement un ordre monomial. Il sagit de lordre d enit par x x si et seulement si i < i ou i = i et le dernier el ement non nul de est positif. En Maple, cet ordre est not e tdeg(x1 , . . . , xn ). Par exemple, pour tdeg(x, y, z ) : finition 2. Un ordre monomial sur A De etant x e, soit f A un polyn ome. On appelle mon ome de t ete de f : le plus grand mon ome de f ; terme de t ete de f : le terme correspondant au mon ome de t ete. On le note LT(f ) (pour leading term). La compatibilit e de lordre monomial avec le produit entra ne la relation LT(f g ) = LT(f ) LT(g ) pour tous f, g A. 1.2. Bases de Gr obner. finition 3. Un ordre monomial sur A De etant x e, un sous-ensemble ni G = {g1 , . . . , gk } dun id eal I A est une base de Gr obner de I si LT(G) = LT(I ) . (Ici, A d esigne lid eal engendr e par la partie A). Il ny a pas unicit e des bases de Gr obner. Par exemple, si G est une base de Gr obner dun id eal I et si g I alors G {g } est encore une base de Gr obner de I . Bien que ce ne soit pas evident dapr` es la d enition, on verra plus loin que si G est une base de Gr obner dun id eal I , alors G engendre I . Exemple 3. Si n = 1, A = K[x] est un anneau principal et si I K[x] est un id eal, il existe g I tel que I = g . On a alors LT(g ) = LT(I ) . Inversement, si LT(G) = LT(I ) avec G I = g alors il existe une constante c K telle que cg G. Ainsi, une base de Gr obner dun id eal I contient n ecessairement un polyn ome qui engendre I . Par exemple, si f1 , . . . , fn K[x], alors une base de Gr obner de lid eal engendr e par les fi contient un pgcd des fi . Exemple 4. Si A = (aij ) est une matrice en forme echelon dans Kmn , alors lid eal
n j =1 n

1 z y x z 2 x2 z 3 y 3 x2 y x3 .

aij xj , 1 i m

admet lensemble { j =1 aij xj } comme base de Gr obner pour lordre lexicographique. Ainsi, les bases de Gr obner g en eralisent ` a la fois le pgcd et la r eduction de Gauss. Exemple 5. Consid erons le syst` eme correspondant aux points dintersections dun cercle et dune hyperbole : Une base de Gr obner pour plex(x, y ) est donn ee par le syst` eme Le premier polyn ome admet pour racines les ordonn ees des points dintersections. Le second permet de calculer les valeurs des abscisses correspondantes. Pour lordre tdeg(x, y ), le syst` eme suivant est une base de Gr obner : x2 + y 2 4, xy 1, y 3 + x 4y. y 4 4y 2 + 1, x + y 3 4y. f1 = x2 + y 2 4, f2 = xy 1

 COURS 11. BASES DE GROBNER

97

En particulier, on observe que le nombre de polyn omes d epend de lordre monomial. 2. Applications 2.1. Division et forme normale. finition 4. On dit quun polyn De ome f A est r eduit par rapport ` a une partie G A si aucun des mon omes de f nest divisible par le mon ome de t ete dun el ement de G. On dit quune base de Gr obner G = {g1 , . . . , gk } est r eduite si pour tout i {1, . . . , k }, gi est r eduit par rapport ` a G \ {gi }. ore `me 15 (Division). Soit G une base de Gr The obner dun id eal I A et F A. Il existe un unique couple (B, R) A2 tel que F = B + R, B I et R est G r eduit par rapport ` a G. Dans ce cas, on note R = F et on dit que R est le reste de la division de F par G. De plus B appartient ` a lid eal engendr e par G.

monstration. Existence. Lexistence est donn De ee par lalgorithme de division ci-dessous : Algorithme 1 Algorithme de Division Entr ees: F, G = {g1 , . . . , gk } et lordre monomial correspondant Sorties: R et a1 , . . . , ak tels que F = a1 g1 + + ak gk + R 1: Initialisation : R = a1 = = ak = 0 ; f = F ; 2: tant que f = 0 faire 3: S := {i | LT(gi )| LT(f )} ; 4: si S = alors 5: r := r + LT(f ) ; f := f LT(f ) ; 6: sinon 7: i := min S ; ai := ai + LT(f )/ LT(gi ); f := f gi LT(f )/ LT(gi ) ; 8: n si 9: n tant que 10: renvoyer (r, a1 , . . . , ak ). ` chaque A etape, la relation (1) est maintenue ; par construction seuls des mon omes r eduits sont ajout es ` a r ; enn, la terminaison est assur ee par la d ecroissance du terme de t ete de f ` a chaque passage dans la boucle. Unicit e. Ecrivons F = B1 + R1 = B2 + R2 . On en d eduit R1 R2 = B2 B1 I . Donc LT(R1 R2 ) LT(I ) = LT(G) . Mais LT(R1 R2 ) est r eduit, donc il nest divisible par le mon ome de t ete dun el ement de G que sil est nul. F = f + r + a1 g1 + + ak gk

98

COURS 11. BASES DE GROBNER G

Corollaire 1. Sous les m emes hypoth` eses, F I si et seulement si F = 0 ce qui fournit un test dappartenance ` a un id eal d` es que lon poss` ede une base de Gr obner. Corollaire 2. Une base de Gr obner dun id eal I engendre I . En eet il est clair que G I . Inversement, si F I , alors F = F + 0 est lunique d ecomposition. Dapr` es le th eor` eme pr ec edent, on a alors F G .

Remarque 2. Dans la preuve du th eor` eme pr ec edent, nous navons pas utilis e lhypoth` ese que G etait une base de Gr obner pour montrer lexistence de la division. Ainsi, si G est une partie quelconque de A et F A, on peut d enir le reste de la G division de F par G. On notera toujours F ce reste. En revanche pour lunicit e nous avons utilis e lhypoth` ese. On peut m eme montrer la r eciproque : si G I est une partie nie telle que pour tout F A il existe un unique R r eduit par rapport ` a G tel que F R I , alors G est une base de Gr obner. En eet par unicit e si F I alors le reste de la division de F par G est nul et donc F = hi gi . Ainsi le terme de t ete de F est divisible par le terme de t ete dun el ement de G. On a donc montr e que LT(I ) LT(G) , linclusion inverse d ecoule de G I . Remarque 3. Lalgorithme de division permet aussi de r eduire les bases de Gr obner. Si G nest pas r eduite, alors on r eduit chaque gi par G\{gi }, on le supprime si le reste est nul et on le remplace par son reste sinon. Le r esultat engendre le m eme id eal, et ne modie pas lensemble des termes de t ete de G.

Remarque 1. Lorsque n = 1, cette r eduction correspond exactement ` a la division euclidienne : si G est une base de Gr obner dun id eal I , G contient le pgcd g des el ements de G (et si G est r eduite alors G ne contient quun el ement). Si G F K[x] alors F est le reste de la division euclidienne de F par g .

Remarque 4. Deux bases de Gr obner r eduites pour le m eme ordre monomial sont identiques ` a des facteurs constants pr` es. En eet, soient G, G deux bases de Gr obner r eduites. Si g1 G alors LT(g1 ) est divisible par le terme de t ete dun ` son tour, le terme dominant de g est divisible par le el ement de G , disons g1 . A 1 terme dominant dun el ement g2 G. Mais alors LT(g2 ) divise LT(g1 ) et comme G1 est r eduite g1 = g2 . Ainsi LT(g1 ) = c LT(g1 ) pour un c K. Posons alors f1 = g1 cg1 I . Si f1 = 0, son mon ome de t ete appara t alors dans g1 ou g1 , disons g1 . Il nest pas divisible par LT(g1 ) puisque LT(f1 ) LT(g1 ), ni divisible par LT(g ) pour g G \ {g1 } puisque G est r eduite. Ceci contredit f1 I . Ainsi g1 = cg1 . En raisonnant de m eme pour tous les el ements de G, puis par sym etrie, on obtient la conclusion. On obtient m eme lunicit e en for cant les termes de t ete ` a etre unitaires. Remarque 5. Cette observation fournit un test d egalit e entre id eaux : si I1 et I2 sont deux id eaux poss edant chacune une base de Gr obner alors I1 = I2 si et seulement si les bases de Gr obner r eduites ` a coecient de t ete unitaires sont egales. Remarque 6. Nous navons toujours pas d emontr e lexistence de bases de Gr obner. 2.2. Elimination.

 COURS 11. BASES DE GROBNER

99

ore `me 16 (Elimination). Soit G une base de Gr The obner de I K[x1 , . . . , xn ] pour lordre lexicographique. Alors G K[xq , . . . , xn ] est une base de Gr obner de I K[xq , . . . , xn ] pour lordre lexicographique.

Remarque 7. Le th eor` eme est valable pour dautres ordres monomiaux appel es ordres d elimination, qui s eparent les groupes de variables (x1 , . . . , xq1 ) et (xq , . . . , xn ) lexicographiquement, mais traitent comme lordre du degr e les variables ` a lint erieur de chaque groupe. En Maple, ces ordres sont not es lexdeg. monstration. Notons Aq = K[xq , . . . , xn ], Gq = G Aq et Iq = I Aq . De Comme Gq I Aq , Gq Iq ( Gq d esigne ici lid eal de Aq engendr e par Gq ). R eciproquement, si F Iq I alors LT(F ) Aq . En appliquant lalgorithme de division ` a F et G, si g G est tel que LT(g )| LT(F ) alors LT(g ) Aq et par d enition de lordre lexicographique, g lui-m eme appartient alors ` a Aq . Donc g Gq , et lop eration de soustraction maintient f dans Aq . Ainsi ` a chaque etape de lalgorithme, tous les polyn omes de l ecriture (1) sont dans Aq et on obtient donc F Gq . L elimination a de nombreuses applications. En voici quelques unes.

R esultant. Soient f, g A := K[X1 , . . . , Xn , Y ] deux polyn omes. On muni A de lordre lexicographique. Soit I lid eal engendr e par f et g et G la base de Gr obner r eduite de I . Alors G K[X1 , . . . , Xn ] ne contient quun el ement : le r esultant de f et g par rapport ` a Y. Implicitation. Soit un syst` eme polynomial x1 = f1 (U1 , . . . , Uk ) . . . xn = fn (U1 , . . . , Uk )

et soit I K[U1 , . . . , Uk , x1 , . . . , xn ] lid eal engendr e par ce syst` eme. L elimination des Ui dans la base de Gr obner de I donne les equations implicites de la vari et e d enie par le syst` eme. Si les fi sont des fractions rationnelles, fi = pi /qi , alors on travaille avec lid eal q1 xi p1 , . . . , qn xn pn , 1 tq1 qn K[t, U1 , . . . , Uk , x1 , . . . , xn ]. Relations de d ependance. Soient f1 , . . . , fm K[x1 , . . . , xn ] des polyn omes et g f1 , . . . , fm . L elimination de t dans lid eal I = y1 tf1 , . . . , ym tfm , y tg K[t, x1 , . . . , xn , y1 , . . . , ym , y ] permet de calculer une relation de d ependance, cest` a-dire des hi K[x1 , . . . , xn ] tels que g = hi fi .