7
$\begingroup$

I want to find an irreducible polynomial $f(x)$ over $\mathbb Q$ and a finite nonnormal extension $K/\mathbb Q$ which contains at least two roots of $f(x)$ such that $\operatorname{Aut}(K/\mathbb Q)$ acts nontransitively on the roots of $f(x)$ in $K$. I could not find simple examples of this.

Update: Julian Rosen gave an answer to the original question above but now I want to impose the condition that $K$ is contained in the splitting field of $f(x)$ because I was looking for intermediate field extensions of the splitting field.

$\endgroup$
  • 2
    $\begingroup$ Translating this into the language of permutation groups (assuming that we can solve the inverse Galois problem for an eventual example group $G$ :-). Let $X$ be a finite set, and $G\le Sym(X)$ be a transitive subgroup. Assume that a subgroup $H\le G$ has as its set of fixed points some subset $S\subset X$ with $|S|\ge2$. Does it necessarily follow that $N_G(H)/H$ acts transitively on $S$? $\endgroup$ – Jyrki Lahtonen Mar 13 '17 at 8:18
  • $\begingroup$ @user218931 I wonder why did you delete your answer...? $\endgroup$ – DonAntonio Mar 13 '17 at 9:14
  • 1
    $\begingroup$ @DonAntonio My answer was wrong, since my example did act transitively on the roots of $f(x)$ in $K$. $\endgroup$ – Claudius Mar 13 '17 at 9:28
4
$\begingroup$

Take $f(x)=x^2-2$, $K=\mathbb{Q}(\sqrt[4]{2})$. Then $K$ contains two roots of $f$, but there is no automorphism exchanging them because only one of the roots is a square in $K$.

$\endgroup$
  • 1
    $\begingroup$ Thanks! That definitely works, but I was always looking for intermediate extensions of the splitting field of $f(x)$. Any ideas for examples on that? $\endgroup$ – Pratyush Sarkar Mar 13 '17 at 20:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.