Eine Monomialordnung, die Exponentenvektoren komponentenweise von einer festgelegten ersten Variable an lexikographisch vergleicht: Bei einer vorgegebenen Variablenreihenfolge werden zwei Monome an der ersten Stelle, an der sich ihre Exponenten unterscheiden, verglichen; der größere Exponent an dieser Stelle macht das Monom größer. Es ist eine totale, wohlgeordnete Relation auf Monomen, die in symbolischen Polynomalgorithmen verwendet wird.

Prinzip

Vergleiche Exponentenvektoren lexikographisch entsprechend einer gewählten Variablenpriorität; die erste (linkseste) unterschiedliche Komponente bestimmt die Ordnung.

Demonstration

Bei Variablenordnung x>y>z vergleicht man x^2y (Exponentenvektor (2,1,0)) und xy^3 (1,3,0). Die erste Komponente unterscheidet sich (2 vs. 1), also ist x^2y > xy^3 in der lexikographischen Ordnung.

Fehlanwendung

Lex ohne Abwägung verwenden, wenn gradabhängige Heuristiken benötigt werden; da lex den Gesamtexponenten vernachlässigt, kann es zu sehr großen Zwischenpolynomen und schlechterer Leistung bei der Gröbner-Basis-Berechnung führen.

Konsequenz

Richtig angewandt erzwingt es Variablenpriorität, die sich gut für Eliminationsaufgaben eignet: Eine mit lex berechnete Gröbner-Basis legt Informationen über zu eliminierende Variablen in führende Terme, wodurch Eliminationsideale direkt gewonnen werden können.

Umkehrung

Auf eine reverse-lexikographische oder graduierte Ordnung umschwenken: statt an der ersten unterschiedlichen Komponente zu vergleichen, von der letzten Variable aus vergleichen oder den Gesamtexponenten priorisieren; das ändert das Eliminations- und Komplexitätsverhalten.

Abgrenzung

Gilt für Monome in einem kommutativen Polynomring mit fester linearen Variablenordnung; es verallgemeinert sich nicht unmittelbar auf gewichtete Ordnungen, nichtkommutative Monome oder Ordnungen, die Grad priorisieren.

Semantische Spannung

Spannung besteht zwischen der lexikographischen Ordnung und graduierten Ordnungen (z. B. GrLex): lex erzwingt strikte Variablenpriorität für Eliminierung, während graduierte Ordnungen den Grad ausbalancieren und oft kleinere Zwischenformen bei Gröbner-Berechnungen erzeugen.

Synthese

Die lexikographische Ordnung vergleicht Exponentenvektoren komponentenweise nach festgelegter Variablenpriorität; sie opfert Grad-Sensitivität, um eliminationsfreundliche führende Terme und eine einfache, vorhersehbare Ordnung zu gewährleisten.