Tell me more ×
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.

In Emmy Noether's 1915 paper "Der Endlichkeitssatz der Invarianten endlicher Gruppen", I saw the notion of a 'Galois resolvent', which I don't quite understand. Google didn't really help me with that, since it seems to be different from what I have found to this notion. Let me try to translate what happens there:

We have a finite group $H$ of invertible $n\times n$-matrices $A_1,\dots,A_h$, where $A_k=(a_{ij}^{(k)})$, with entries in some field $K$ of characteristic $0$ (I'm actually not 100% sure if this is sufficient, in a later paper she talks about 'übliche Zahlkörper'). Then $H$ acts on the polynomial ring $K[x_1,\dots,x_n]$, where we set $x=(x_1,\dots,x_n)^T$, via

$$(A_k,x)\mapsto A_k\cdot x,$$

and we denote $A_k\cdot x$ also by $x^{(k)}$. Since one of the $A_k$ is the identity, there is a $k$ such that $x^{(k)}=x$.

Now a polynomial invariant of $G$ is some $f\in K[x_1,...,x_n]$ for which $A_k\cdot f=f$ for all $k$. In other words, we have

$$f(x)=f(x^{(1)})=\dots=f(x^{(h)})=\frac{1}{h}\sum_{k=1}^hf(x^{(k)}).$$

Now comes the part where I'm stuck, I try to translate it as good as I can:

This formula expresses that $f$ is a a polynomial, symmetric function in the $x^{(k)}$. The theorem about symmetric functions of "Größenreihen" (I don't know how to translate this) says that $f$ can be represented in a polynomial way by the elementary symmetric functions of these "Reihen" (series), that is, by the coefficients $G_{\alpha,\alpha_1,\dots,\alpha_n}(x)$ of the "Galois resolvent":

\begin{align*}\phi(z,u)&=\prod_{k=1}^h(z+u_1x_1^{(k)}+\dots+u_nx_n^{(k)})\\&=z^h+\sum G_{\alpha,\alpha_1,\dots,\alpha_n}(x)z^\alpha u_1^{\alpha_1}\cdots u_n^{\alpha_n}\begin{pmatrix}(\alpha+\alpha_1+\dots+\alpha_n=h)\\\alpha\neq h\end{pmatrix},\end{align*}

where the $G_{\alpha,\alpha_1,\dots,\alpha_n}(x)$ are invariants of degree $\alpha_1+\dots+\alpha_n$ in the $x_i$.

I actually don't have any idea where $u,z$ come from. I thought there was a nice expression for the elementary symmetric polynomials, and that they are coefficients of a much simpler polynomial. The theorem mentioned above isn't referenced further, I guess the main theorem on symmetric polynomials is meant, but I fail to get the connection to this strange formula.

I'd be glad if someone could help me out here, and explain where this 'Galois resolvent' comes from and what's the connection to the 'usual' stuff about symmetric polynomials. Thank you very much in advance!

share|improve this question
+1 interesting... – draks ... Feb 28 at 11:43
1  
The notion of a Galois resolvent is defined in this wikipedia article. – JSchlather Feb 28 at 18:40
Theorem 2 here might be helpful: math.unibas.ch/~kraft/Papers/KP-Primer.pdf – marlu Feb 28 at 20:02
@JSchlather Thanks, I'll have to go over that. But do you know why this notion appears here? I mean, from the text Noether seems to say that the $G_{\dots}$ are the elementary symmetric polynomials, which would be much easier to obtain than via this. And still I can't see where the connection to resolvents really comes from here. Thanks for the link! – Rand al'Thor Mar 8 at 9:11
@marlu As far as I see, Theorem 2 is just the 2nd theorem in the paper I'm quoting, i.e., it's another way of finding a fundamental system of invariants, but isn't helping me with my problem in the proof of the 1st theorem :) Thanks for the link though, since the original proof is done there in a slighty more rigorous way! – Rand al'Thor Mar 8 at 9:13

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.