Hello all, I would appreciate comments on the following question:


A main theorem of symmetric functions might be formulated: Let k be a field of char. 0. Then $k[x\_1,...,x\_n]^{S\_n} = k[s\_1,...,s\_n]$, i.e. symmetric polynomials can be written as polynomials in the elementary symmetric polynomials. Moreover, $s\_1,...,s\_n$ satisfy no polynomial relations.


I want to see how to prove it using Galois theory. I thus consider the field $M=k(x\_1,...,x\_n)$ and its subfields $K=k(s\_1,...,s\_n)$ and $L$, the subfield of symmetric functions. Thus $K \subset L \subset M$. I then consider the polynomial $G(t)=(t-x\_1)...(t-x\_n)$. It has coefficients in $K$. $M$ is the splitting field of $G$ over $K$. Hence $[M:K] \leq n!$. From this we already see that $s\_1,...,s\_n$ satisfy no polynomial relations. On the other hand, $M$ has $n!$ different automorphism over $L$, which are permuting the $x\_i$. Hence from Galois theory we can conclude that $L=K$.


My question is: How can I deduce the claim $k[x\_1,...,x\_n]^{S\_n} = k[s\_1,...,s\_n]$ from the corresponding one for rational functions: $L=K$.


Thanks.



Symmetric polynomials theorem
I hope the following works. Let $A=k[x\_1,\ldots,x\_n]^{S\_n}$, and let $B=k[s\_1,\ldots,s\_n]$. The polynomial algebra $k[x\_1,\ldots,x\_n]$ is an integral extension of $B$, and hence, a fortiori, $A$ is integral over $B$. I think your argument proves that $A$ and $B$ have the same fraction field. However, since $B$ is (isomorphic to) a polynomial algebra, it must be integrally closed, whence $A=B$.


