Take the 2-minute tour ×
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.

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,

$$\text{LM}(f)=x^{\text{multideg}(f)}.$$

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|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

1 Answer 1

up vote 1 down vote accepted
+50

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|improve this answer

Your Answer

 
discard

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.