Rationality conditions for determining Galois groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T05:10:15Z http://mathoverflow.net/feeds/question/97849 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97849/rationality-conditions-for-determining-galois-groups Rationality conditions for determining Galois groups Dave M da C 2012-05-24T16:11:02Z 2012-05-24T20:09:10Z <p>Let $F$ be a field and $h \in F[x]$ be an irreducible, degree $n$ monic polynomial. Let $G$ denote the Galois group of $h$.</p> <p>It is well known that $G \subset A_n$ if and only if the discriminant of $h$, which we'll denote by $D(h)$, is a square in $F$. We could think of this as being a rationality condition: we are demanding an $F-$rational solution to the equation $y^2 = D(h)$. </p> <p>My question is if this is always possible for any subgroup $H \subset Sym(n)$. That is, does there exist a polynomial $f\in F[a_0,\ldots,a_{n-1}]$ in the coefficients of $h$ and a polynomial $\phi \in F(y)$ such that $G \subset H$ only if $\phi(y) = f$ has a solution in $F$? Is it possible to make this a sufficient condition also? (I suspect that the answer is yes to the former and no to the latter).</p> <p>Further, if such a $\phi$ exists, can we control its degree? Is such a condition unique and if there are many, is there a simplest? </p> <p>Thanks! </p> http://mathoverflow.net/questions/97849/rationality-conditions-for-determining-galois-groups/97866#97866 Answer by Felipe Voloch for Rationality conditions for determining Galois groups Felipe Voloch 2012-05-24T20:09:10Z 2012-05-24T20:09:10Z <p>More or less, yes. Fix a transitive subgroup $H \subset S_n$. Let $S_n$ act in the usual way in the field $\mathbb{Q}(x_1,\ldots,x_n)$ where the $x_i$ are algebraically independent. Then the fixed field $\mathbb{Q}(x_1,\ldots,x_n)^{S_n} = \mathbb{Q}(a_1,\ldots,a_n)$ where $\prod(X-x_i) = \sum a_iX^{n-i}, a_0=1$. Now, write $\mathbb{Q}(x_1,\ldots,x_n)^{H} = \mathbb{Q}(a_1,\ldots,a_n,z)$, by the primitive element theorem and $z$ satisfies some equation $f(a_1,\ldots,a_n,z)=0$, for some polynomial $f$ whose degree can probably be figured out from the order of $H$. Now, given $\alpha_1,\ldots,\alpha_n \in F$, where $F$ is a field of characteristic zero, the splitting field of $\sum \alpha_iX^{n-i}, \alpha_0=1$ is contained in $H$ if and only if there is $\beta \in F$ with $f(\alpha_1,\ldots,\alpha_n,\beta)=0$. When $H=A_n, f=z^2-$ discriminant.</p>