s
19 708 Pages

en mathématiques, un pour monôme est un ordre total définie sur l'ensemble de tous Monomi (Considérant comment le même article deux monômes qui ne diffèrent que par le coefficient) qui satisfait aux propriétés suivantes:

  1. si et est tout autre monôme, puis . En d'autres termes, l'ordre respecte la multiplication.
  2. L'ordre est bon

Un exemple d'un ordre monôme est le 'ordre lexicographique. Un autre exemple est le système qui a les monômes de degré total, trie ensuite selon l'ordre lexicographique des monômes degré égal (également connu sous le nom Tri le degré total ou graduée ordre lexicographique).

De manière plus générale, nous pouvons accepter des commandes qui ne répondent pas à la condition 2. Les commandes qui répondent sont dit les commandes globales. Être un ordre mondial est équivalent à anneaux polynôme en un nombre fini de variables, la propriété que toutes les variables Ils sont supérieurs à 1.

Les commandes qui répondent aux propriétés opposées, qui est pour laquelle toutes les variables Ils sont moins de 1, sont appelés commandes locales. Les commandes qui ne sont ni ordres ni global sont appelés mixtes locaux.