Un ordre monomial qui compare les vecteurs d'exposants composante par composante à partir d'une variable de première priorité : pour un ordre de variables fixé, deux monômes sont comparés par la première composante d'exposant où ils diffèrent, et le plus grand exposant à cette position rend le monôme plus grand. C'est un ordre total et bien fondé sur les monômes, utilisé dans les algorithmes symboliques sur les polynômes.

Principe

Comparer les vecteurs d'exposants lexicographiquement selon une priorité de variables choisie ; la première composante différente (la plus à gauche) détermine l'ordre.

Démonstration

Avec l'ordre de variables x>y>z, comparer x^2y (vecteur d'exposants (2,1,0)) et xy^3 (1,3,0). La première composante diffère (2 contre 1), donc x^2y > xy^3 pour l'ordre lexicographique.

Mauvaise application

Employer l'ordre lexicographique sans discernement lorsque des heuristiques sensibles au degré sont nécessaires ; comme lex ignore le degré total, il peut produire des bases de Gröbner avec une croissance de degré intermédiaire beaucoup plus importante et des performances médiocres pour la résolution générale.

Conséquence

Bien appliqué, il impose une priorité de variables idéale pour l'élimination : une base de Gröbner calculée avec un ordre lex place l'information sur les variables à éliminer dans les termes dominants, permettant d'extraire directement les idéaux d'élimination.

Inversion

Inverser l'approche vers un ordre inverse lexicographique ou gradué : au lieu de comparer par la première composante différente, comparer à partir de la dernière variable ou prioriser le degré total, ce qui modifie le comportement d'élimination et de complexité.

Limite

S'applique aux monômes d'un anneau de polynômes commutatif avec un ordre linéaire de variables fixé ; il ne se généralise pas directement aux ordres pondérés, aux monômes non commutatifs, ou aux ordres qui priorisent le degré total.

Tension sémantique

Il y a une tension entre l'ordre lexicographique et les ordres gradués (par ex. GrLex) : lex impose une priorité stricte des variables utile pour l'élimination, tandis que les ordres gradués équilibrent le degré et donnent souvent des expressions intermédiaires plus compactes pour le calcul des bases de Gröbner.

Synthèse

L'ordre lexicographique compare composante par composante les vecteurs d'exposants selon une priorité de variables ; il néglige la sensibilité au degré pour garantir des termes dominants favorables à l'élimination et un ordre simple et prévisible.