Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given $f_i,g_i\in k[x_1,\cdots,x_n],1\leq i\leq s$, fix a monomial order on $k[x_1,\cdots,x_n]$, I was wondering whether there is an effective criterion to judge if this holds,$$\text{LM}(\sum_{i=1}^sf_ig_i)=\sum_{i=1}^s\text{LM}(f_ig_i),$$ where LM( ) is the leading monomial with respect to the fixed monomial order defined as follows,


And $\text{multideg}(f)=\text{max}(\alpha\in\mathbb Z_{\geq 0}^{n}:a_{\alpha}\neq0),$ where $f=\sum_{\alpha}a_{\alpha}x^{\alpha}.$

share|cite|improve this question
Please excuse me, what does the notation $k[x_1,\cdots,x_n]$ mean? – Américo Tavares May 8 '12 at 13:38
@AméricoTavares Polynomial ring over field $k$. – Vladimir May 8 '12 at 15:58
Thanks for the information! – Américo Tavares May 8 '12 at 16:31
up vote 1 down vote accepted

In characteristic 0, assuming all terms are non-zero so that LM is defined, this only works if $s=1$: taking the sum of coefficients on both sides of the equation you obtain the equation $1=s$. So you can never exchange a non-trivial sum and LM.

Note that only the image of LM needs to be of characteristic 0: this still holds for any $k$ if you view LM as a map from $k[x_1,\dots,x_n]$ to $\mathbb Z[x_1,\dots,x_n]$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.