Base de Grbner

Base de Grbner
En mathmatiques, une base de Grbner (ou base standard, ou base de Buchberger) d'un idal polynmes de l'anneau de est un ensemble de gnrateurs de cet idal, vrifiant certaines proprits supplmentaires. Cette notion a t introduite dans les annes 1960, indpendamment par Heisuke Hironaka et Bruno Buchberger, qui leur a donn le nom de son directeur de thse Wolfgang Grbner. Les bases de Grbner ont le grand avantage de ramener l'tude des idaux polynomiaux l'tude des idaux monomiaux (c'est--dire forms de monmes), plus faciles apprhender.

Intrt
Soit un corps (commutatif). est euclidien, et un idal de Revenons un instant sur le cas des polynmes une seule variable : l'anneau

se reprsente naturellement par son gnrateur principal. Mieux, l'algorithme d'Euclide permet de dterminer celui-ci partir d'une famille finie de gnrateurs, et ainsi de tester l'appartenance d'un polynme , ou encore de calculer un reprsentant canonique pour un lment de . L'anneau , en revanche, est factoriel et nthrien mais pas principal. Concrtement, on ne peut pas y tendre naturellement la division euclidienne des polynmes une variable. Les bases de Grbner permettent nanmoins de calculer modulo un idal de de dcider si l'idal est une clture algbrique de , et notamment tout entier (c'est--dire d'un point de vue gomtrique si sa varit dans est vide, ou encore si un systme polynomial donn y admet au moins une solution)

; de dcider si un polynme appartient l'idal, ou son radical et ainsi, si une fonction polynomiale est nulle sur une varit ; de trouver des reprsentants canoniques pour les lments de l'algbre quotient, et partant, d'effectuer des calculs algbriques modulo l'idal ; de dterminer la dimension et le degr d'une varit quidimensionnelle (ou plus gnralement la dimension et la somme des degrs des composantes quidimensionnelles de dimension maximale d'une varit quelconque). Plus gnralement, les bases de Grbner permettent de calculer la fonction et le polynme de Hilbert d'un module gradu. Elles fournissent aussi un moyen de dterminer l'intersection de deux idaux.

Dfinition
Une faon commode de dfinir les bases de Grbner est de faire appel au vocabulaire de la rcriture. C'est l'approche que nous allons adopter ; cependant, l'essentiel des dfinitions devrait tre comprhensible sans connaissance de ces notions.

Rgle de rduction
Le point de dpart est un procd de rduction qui, l'instar de la division euclidienne dans , remplace un polynme par un autre plus petit mais quivalent modulo l'idal. On appelle monme un polynme produit d'indtermines, et terme un monme multipli par un scalaire, son coefficient. Pour dfinir cette division euclidienne gnralise , il est utile de choisir une faon d'ordonner les monmes de l'anneau considr (ce dont on se convainc facilement en essayant de diviser un polynme de par un autre). Un ordre monomial est un ordre total sur les monmes tel que pour tous monmes , , , on ait et . Un ordre monomial est un bon ordre. On dfinit naturellement les notions de monme dominant, de coefficient dominant et de terme dominant not ici d'un polynme relativement un

Base de Grbner ordre monomial. Par exemple, l'ordre lexicographique (lex), quivalent l'ordre du dictionnaire: ... quelles que

soient les valeurs des puissances (positives) a, b et c. D'autres relations d'ordre sont possibles, pourvu qu'elles vrifient certaines proprits, destines ce que les algorithmes de calculs puissent aller leur terme, sans boucler par exemple. Les relations d'ordre prsentent diffrentes proprits et donc certains avantages les unes par rapport aux autres, suivant le type de problme pos. Par exemple, la relation d'ordre "lex", quoique relativement "coteuse" en temps de calcul, est assez pratique pour faire des projections de la varit associe l'idal. Fixons un ordre monomial et une partie finie de . Introduisons une rgle de rcriture sur en posant

si

est le terme de de

de plus haut degr divisible par un certain est appele rduction modulo de

avec

. La clture rflexive , on essaie de lui retrancher

transitive

. Autrement dit, pour rduire

un multiple convenable d'un polynme

, de sorte que les termes dominants se simplifient. (On retrouve ici

non seulement la division euclidienne pour les polynmes une variable, mais aussi, dans le cas linaire, le pivot de Gauss.) Si l'on ne parvient pas liminer le terme dominant de , on l'ajoute au reste de la division et on passe au terme de degr immdiatement infrieur. La rduction termine (elle est nthrienne ), mais elle n'est en gnral pas confluente, c'est--dire que bien que tout polynme admette une forme rduite modulo , celle-ci n'a aucune raison d'tre unique.

Bases de Grbner
Une base de Grbner est une partie Soit un idal de pour laquelle la situation est plus favorable. . Une base de Grbner, ou base standard, de est une partie gnratrice finie

de vrifiant en outre les proprits quivalentes suivantes. 1. La rduction modulo est confluente (et donc fortement normalisante). 2. Un polynme appartient si et seulement s'il se rduit modulo . 3. Pour tous de , modulo , le symbole

dsignant le ppcm normalis. 4. Les monmes dominants des polynmes de lments de . (Cela implique que

engendrent le mme idal que les monmes dominants des .)

engendre

Cette dernire proprit est la dfinition usuelle des bases de Grbner. Elle est pertinente pour leur tude thorique, mais les deux premires formulations sont peut-tre plus parlantes. L'assertion 3 fournit quant elle un moyen simple pour tester si une famille de polynmes est une base de Grbner. On peut montrer que tout idal admet une base de Grbner. Il n'y a pas unicit : si et si appartient , alors est encore une base de Grbner de est une base de Grbner de . Mais un idal admet une unique

base de Grbner minimale, c'est--dire laquelle on ne peut enlever de polynme en maintenant la proprit d'tre une base de Grbner de l'idal.

Base de Grbner

Calcul
On dispose d'algorithmes pour calculer les bases de Grbner. Trs sommairement, le premier et le plus connu, l'algorithme de Buchberger, procde en ajoutant des polynmes la base pour liminer peu peu les paires critiques qui contredisent l'assertion 3, un peu la manire de la compltion de Knuth-Bendix. On sait aussi calculer les bases de Grbner minimales. Ces algorithmes sont trs inefficaces dans le pire des cas, et les cas plus favorables sont mal connus. Pour un idal de polynmes plus variables de degr total born par , on sait calculer une base de Grbner en au oprations dans le corps de base. Ernst Mayr et Albert Meyer ont montr que cette borne suprieure . Tout n'est pas perdu pour autant. En effet,

norme pouvait tre atteinte, et donc est optimale : il existe des idaux dont toute base de Grbner compte lments, eux-mmes de degr doublement exponentiel en exprimentalement, cette borne n'est atteinte que sur les exemples construits dans ce but. Pour un systme rationnel ayant un nombre fini de solutions complexes, Daniel Lazard a tabli que le calcul tait faisable en temps . Sous des hypothses lgrement diffrentes, Jean-Charles Faugre donne une borne de gnrale, la complexit du calcul de bases de Grbner dans les cas usuels est mal matrise. . Mais de faon

Rfrences
1. David Eisenbud. Commutative Algebra with a view toward Algebraic Geometry. (Springer)

Sources et contributeurs de l'article

Sources et contributeurs de l'article

Base de Grbner Source: http://fr.wikipedia.org/w/index.php?oldid=51640318 Contributeurs: (:Julien:), Anne Bauval, Cantons-de-l'Est, Carolo85, David Berardan, GaMip, Jim2k, Jobert, Kilom691, Levochik, Moala, Phe, PieRRoMaN, R, Rigolithe, Vivars, Xfigpower, 17 modifications anonymes

Licence
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/