Un orden sobre monomios que compara vectores de exponentes componente por componente empezando por una variable de prioridad especificada: dada una ordenación fija de variables, dos monomios se comparan por la primera componente de exponente en la que difieren, y el exponente mayor en esa posición hace el monomio mayor. Es un orden total y bien fundado sobre monomios usado en algoritmos simbólicos de polinomios.

Principio

Comparar vectores de exponentes lexicográficamente según una precedencia de variables elegida; la primera componente diferente determina el orden.

Demostración

Con variables ordenadas x>y>z, comparar x^2y (vector de exponentes (2,1,0)) y xy^3 (1,3,0). La primera coordenada difiere (2 frente a 1), por lo que x^2y > xy^3 en orden lexicográfico.

Aplicación incorrecta

Usar el orden lexicográfico sin consideración cuando se necesitan heurísticas sensibles al grado; como lex ignora el grado total, puede producir bases de Gröbner con un crecimiento intermedio de grado muy grande y peor rendimiento para la resolución general.

Consecuencia

Aplicado correctamente impone una precedencia de variables ideal para la eliminación: una base de Gröbner calculada con orden lex coloca la información sobre variables a eliminar en los términos iniciales, permitiendo la extracción directa de ideales de eliminación.

Inversión

Invertir la estrategia hacia un orden inverso-lexicográfico o graduado: en lugar de comparar por la primera componente distinta, comparar desde la última variable o priorizar el grado total, lo que cambia el comportamiento de eliminación y la complejidad.

Límite

Se aplica a monomios en un anillo de polinomios conmutativo con un orden lineal de variables fijado; no se generaliza directamente a órdenes ponderados, monomios no conmutativos ni órdenes que prioricen el grado total.

Tensión semántica

Existe tensión entre el orden lexicográfico y los órdenes graduados (p. ej., GrLex): lex impone precedencia estricta de variables útil para eliminación, mientras que los órdenes graduados equilibran grado y suelen producir expresiones intermedias más pequeñas para el cálculo de bases de Gröbner.

Síntesis

El orden lexicográfico compara vectores de exponentes componente por componente según una precedencia de variables fijada; sacrifica sensibilidad al grado para garantizar términos líderes favorables a la eliminación y un orden simple y predecible.