8
$\begingroup$

I want to write $P(x,y,z)=yx^{3}+zx^{3}+xy^{3}+zy^{3}+xz^{3}+yz^{3}$ in terms of elementary symmetric polynomials, but I'm getting stuck at the first step. I know I should follow the proof of the fundamental theorem of symmetric polynomials using the Newton identities.

First I pick out the 'biggest' monomial according to the lexicographical ordering: $yz^{3}$. Now I want to rewrite this as a polynomial in the elementary symmetric polynomials. I don't quite understand how to do this.

2 Answers 2

11

By Gauss's algorithm, if $\rm\ z^a\ y^b\ x^c\ $ is the highest w.r.t. lex order $\rm\ z > y > x\ $ then you subtract $\rm\ s_1^{a-b}\ s_2^{b-c}\ s_3^c\:.\:$ Thus since $\rm\ z^3\ y $ is highest you subtract $\rm s_1^{3-1}\ s_2^{1-0}\ s_3^0\ = (x+y+z)^2\ (xy+yz+zx)$ from $\rm\:P\:$. The result is smaller in lex-order, so iterating this reduction yields a representation of $\rm\:P\:$ in terms of elementary symmetric polynomials $\rm\:s_i\:.\:$ Here the algorithm terminates in two more steps.

As I mentioned in a prior post, Gauss's algorithm is the earliest known example of using lex-order reduction as in the Grobner basis algorithm. For a nice exposition see Chapter 7 of Cox, Little, O'Shea: Ideals, Varieties and Algorithms. They also give generalizations to the ring of invariants of a finite matrix group $\rm G \subset GL(n,k)$. Here's an excerpt which, coincidentally, presents this example. You might find it helpful to first read the example at the end before reading the proof.

alt text alt text

  • 0
    Bill, I have to ask, given that it's Gauss: which algorithm?2010-12-12
  • 0
    @J.M. Recall my prior post on [Gauss's algorithm](http://math.stackexchange.com/questions/3550/using-grobner-bases-for-solving-polynomial-equations/3562#3562), which has a reference. Alas, it appears nobody read it since it got no votes.2010-12-12
  • 0
    Thanks for the refresh; I would think I ran out of upvotes that day I commented on it though...2010-12-12
  • 0
    @J.M. Ah, I only just now noticed that you too commented on the prior post. What a coincidence.2010-12-12
  • 0
    The first paragraph is interesting; motivating towards some work of Gauss still in modern algebra.2016-07-06
9

Edit: As per Bill's comment I would like to clarify that this is not related to Gauss' proof.

$$P(x,y,z)=yx^{3}+zx^{3}+xy^{3}+zy^{3}+xz^{3}+yz^{3}$$ $$=x^3(y+z+x-x)+y^3(x+z+y-y)+z^3(x+y+z-z)$$ $$=x^3(x+y+z)+y^3(x+y+z)+z^3(x+y+z)-x^4-y^4-z^4$$ $$=(x+y+z)(x^3+y^3+z^3)-(x^4+y^4+z^4)$$

Now you can use identities for power sums.

  • 1
    @Timothy: do you mind breaking the formula into two displayed lines? It is running out of the displayport on my small netbook.2010-12-12
  • 0
    @Willie: Yeah I just did that after I saw how horrible it looked :)2010-12-12
  • 0
    @Timothy: The OP's remarks make it clear that he is attempting to understand the classic Gauss proof using lex-order. But the above approach is of no help in this regard.2010-12-12
  • 4
    @Bill Dubuque: I am not aware of Gauss' proof about this. I interpreted OP's statements to mean that the said proof was a possible approach and not necessarily the approach the OP had to use.2010-12-12
  • 0
    @Timothy: See the second paragraph of the OP's post where he mentions picking out the highest term in lex-order. This is the reduction step in Gauss's algoritm - see my answer.2010-12-12
  • 0
    @Bill: Yes I had read it. I don't see how that contradicts my earlier statement.2010-12-12
  • 0
    @Timothy: Does the method above yield an algorithm to rewrite every symmetric polynomial in elementary symmetric functions or is it an ad-hoc method that works only for the above specific case?2010-12-12
  • 3
    @Bill: I never claimed it does. The OP's first statement says that he wants to write the given polynomial in terms of elementary symmetric functions. That is the question I answered. He explained his approach. I never claimed mine was the same approach. The OP did not claim that he wants to solve this problem using Gauss' proof. The OP said he tried solving this problem using Gauss' proof.2010-12-12
  • 0
    @Timothy: Not true. The OP explicitly wrote "I know I should follow [Gauss's] proof of the fundamental theorem". At the least you should preface your answer saying that it does not follow this proof so that readers don't needlessly waste their time having to infer that.2010-12-12
  • 0
    @Bill: I have prefaced it as per your demand. You can feel free to edit the edit. I stand by all my earlier statements.2010-12-12
  • 0
    @Timothy: Thanks for clarifying your post. Of course there's nothing wrong with giving alternative approaches. But it's always helpful to *explicitly* specify that's what you're doing, so that the reader isn't left puzzled trying to determine how the alternative approach is related to the approach sought - when in fact it is not. That's why I suggested that it would be helpful to add some clarification.2010-12-12