|
|
| Line 1: |
Line 1: |
| In [[mathematics]], a '''monomial order''' is a [[total order]] on the set of all ([[Monic polynomial|monic]]) [[monomial]]s in a given [[polynomial ring]], satisfying the following two properties:
| | Hello from Switzerland. I'm glad to came here. My first name is Josh. <br>I live in a small town called Cudrefin in south Switzerland.<br>I was also born in Cudrefin 38 years ago. Married in July year 2011. I'm working at the the office.<br><br>My web-site; Hostgator Coupon ([http://support.groupsite.com/entries/33292924-Hostgator-Outgoing-Mail-Server support.groupsite.com]) |
| | |
| # If ''u'' < ''v'' and ''w'' is any other monomial, then ''uw''<''vw''. In other words, the ordering respects multiplication.
| |
| # If ''u'' is any monomial then 1<''u''.
| |
| | |
| These conditions imply that
| |
| * If ''u'' and ''v'' are any monomials then ''u'' < ''uv''.
| |
| They imply also that the ordering is a [[well-order|well ordering]], which means that every strictly decreasing sequence of monomials is finite, or equivalently that every non-empty set of monomials has a minimal element.
| |
| | |
| Among the powers of any one variable ''x'', the only ordering satisfying these conditions is the natural ordering 1<''x''<x<sup>2</sup><x<sup>3</sup>... (with only the first condition, the opposite ordering would also qualify, but the set of all powers of ''x'' would fail to have a minimal element). Therefore the notion of monomial ordering is interesting only in the case of multiple variables.
| |
| | |
| Monomial orderings are most commonly used with [[Gröbner basis|Gröbner bases]] and [[multivariate division algorithm|multivariate division]].
| |
| | |
| == Examples ==
| |
| The monomial order implies an order on the individual indeterminates. One can simplify the classification of monomial orders by assuming that the indeterminates are named ''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>, ... in decreasing order for the monomial order considered, so that always {{nowrap|1=''x''<sub>1</sub> > ''x''<sub>2</sub> > ''x''<sub>3</sub> > …}}. (If there should be infinitely many indeterminates, this convention is incompatible with the condition of being a well ordering, and one would be forced to use the opposite ordering; however the case of polynomials in infinitely many variables is rarely considered.) In the example below we shall use ''x'' instead of ''x''<sub>1</sub>, ''y'' instead of ''x''<sub>2</sub>, and ''z'' instead of ''x''<sub>3</sub>. With this convention there are still many examples of different monomial orders.
| |
| | |
| === Lexicographic order ===
| |
| '''Lexicographic order''' (lex) first compares exponents of ''x''<sub>1</sub> in the monomials, and in case of equality compares exponents of ''x''<sub>2</sub>, and so forth. The name is derived from the similarity with the usual [[alphabetical order]] used in [[lexicography]] for dictionaries, if monomials are represented by the sequence of the exponents of the indeterminates. The [[lexicographic order#Ordering of sequences of various lengths|failure of dictionary order to be a well ordering]] does not present a problem here when there are finitely many indeterminates, because all sequences have the same length, the number of indeterminates. For [[Gröbner basis]] computations this ordering tends to be the most costly; thus it should be avoided, as far as possible, except for very simple computations.
| |
| | |
| === Graded lexicographic order ===
| |
| '''Graded lexicographic order''' (grlex) first compares the total degree (sum of all exponents), and in case of a tie applies lexicographic order. This ordering is not only a well ordering, it also has the property that any monomial is preceded only by a finite number of other monomials; this is not the case for lexicographic order, where all (infinitely many) powers of ''x'' are less than ''y'' (that lexicographic order is nevertheless a well ordering is related to the impossibility to construct an infinite decreasing chain of monomials). Although very natural, this ordering is rarely used: the [[Gröbner basis]] for the graded reverse lexicographic order, which follows, is easier to compute and provides the same information on the input set of polynomials.
| |
| | |
| === Graded reverse lexicographic order ===
| |
| '''Graded reverse lexicographic order''' (grevlex) compares the total degree first, then compares exponents of the ''last'' indeterminate ''x''<sub>''n''</sub> but ''reversing the outcome'' (so the monomial with smaller exponent is larger in the ordering), followed (as always only in case of a tie) by a similar comparison of ''x''<sub>''n''−1</sub>, and so forth ending with ''x''<sub>1</sub>. The reversal of the outcome is necessary to get the conventional ordering {{nowrap|1=''x''<sub>1</sub> > ''x''<sub>2</sub> > ''x''<sub>3</sub> > …}} of the indeterminates. Unlike for graded lexicographic order, the ungraded version of this ordering does not give a monomial ordering, since the (increasing) powers of any single indeterminate would form an infinite decreasing chain. Indeed, thanks to the comparison of total degree first, the reversal of subsequent comparisons can be interpreted informally as follows: the monomial with a smaller power of ''x''<sub>''n''</sub> necessarily has a higher power of some (unspecified) ''x''<sub>''i''</sub> with ''i''<''n'' (indeed it has greater total degree with respect to all indeterminates other than ''x''<sub>''n''</sub>).
| |
| | |
| === Elimination order ===
| |
| '''Block order''' or '''elimination order''' (lexdeg) may be defined for any number of blocks but, for sake of simplicity, we consider only the case of two blocks (however, if the number of blocks equals the number of variables, this order is simply the lexicographic order). For this ordering, the variables are divided in two blocks ''x''<sub>1</sub>,..., ''x''<sub>''h''</sub> and ''y''<sub>1</sub>,...,''y''<sub>''k''</sub> and a monomial ordering is chosen for each block, usually the graded reverse lexicographical order. Two monomials are compared by comparing their ''x'' part, and in case of a tie, by comparing their ''y'' part. This ordering is important as it allows ''elimination'', an operation which corresponds to projection in algebraic geometry.
| |
| | |
| === Weight order ===
| |
| '''Weight order''' depends on a sequence <math>(a_1,\ldots,a_n)\in\R_{\geq0}^n</math> called the weight vector. It first compares the [[dot product]] of the exponent sequences of the monomials with this weight vector, and in case of a tie uses some other fixed monomial order. For instance, the graded orders above are weight orders for the "total degree" weight vector (1,1,...,1). If the ''a''<sub>''i''</sub> are [[rational dependence|rationally independent]] numbers (so in particular none of them are zero and all fractions <math>\tfrac{a_i}{a_j}</math> are irrational) then a tie can never occur, and the weight vector itself specifies a monomial ordering. In the contrary case, one could use another weight vector to break ties, and so on; after using ''n'' linearly independent weight vectors, there cannot be any remaining ties. One can in fact define ''any'' monomial ordering by a sequence of weight vectors ([[#cox|Cox]] et al. pp. 72-73), for instance (1,0,0,...,0), (0,1,0,...,0), ... (0,0,...,1) for lex, or (1,1,1,...,1), (1,1,...,,1,0), ... (1,0,...,0) for grevlex. | |
| | |
| For example, consider the monomials <math>xy^2z</math>, <math>z^2</math>, <math>x^3</math>, and <math>x^2z^2</math>; the monomial orders above would order these four monomials as follows:
| |
| | |
| * Lex: <math>x^3 > x^2z^2 > xy^2z > z^2</math> (power of <math>x</math> dominates).
| |
| * Grlex: <math>x^2z^2 > xy^2z > x^3 > z^2</math> (total degree dominates; higher power of <math>x</math> broke tie among the first two).
| |
| * Grevlex: <math>xy^2z > x^2z^2 > x^3 > z^2</math> (total degree dominates; lower power of <math>z</math> broke tie among the first two).
| |
| * A weight order with weight vector (1,2,4): <math>x^2z^2 > xy^2z > z^2 > x^3</math> (the dot products 10>9>8>3 do not leave any ties to be broken here).
| |
| | |
| == Related notions ==
| |
| | |
| * An '''elimination order''' guarantees that a monomial involving any of a set of indeterminates will always be greater than a monomial not involving any of them.
| |
| | |
| * A '''product order''' is the easier example of an elimination order. It consists in combining monomial orders on disjoint sets of indeterminates into a monomial order on their union. It simply compares the exponents of the indeterminates in the first set using the first monomial order, then breaks ties using the other monomial ordering on the indeterminates of the second set. This method obviously generalizes to any disjoint union of sets of intertermines; the lexicographic order can be so obtained from the singleton sets {''x''<sub>1</sub>}, {''x''<sub>2</sub>}, {''x''<sub>3</sub>}, ... (with the unique monomial ordering for each singleton).
| |
| | |
| When using monomial orderings to compute Gröbner bases, different orders can lead to different results, and the difficulty of the computation may vary dramatically. For example, graded reverse lexicographic order has a reputation for producing, almost always, the Gröbner bases that are the easiest to compute (this is enforced by the fact that, under rather common conditions on the ideal, the polynomials in the Gröbner basis have a degree that is at most exponential in the number of variables; no such complexity result exists for any other ordering). On the other hand, elimination orders are required for [[elimination theory|elimination]] and relative problems.
| |
| | |
| ==References==
| |
| * <cite id=cox>{{cite book |author=David Cox; John Little; Donal O'Shea |year=2007 |title=Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra |publisher=Springer |isbn=0-387-35650-9}}</cite>
| |
| | |
| [[Category:Order theory]]
| |
| [[Category:Polynomials]]
| |
Hello from Switzerland. I'm glad to came here. My first name is Josh.
I live in a small town called Cudrefin in south Switzerland.
I was also born in Cudrefin 38 years ago. Married in July year 2011. I'm working at the the office.
My web-site; Hostgator Coupon (support.groupsite.com)