Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So basically the question is: Let $K$ be the splitting field of $t^5-2$ (over the rationals). Let $\theta=\sqrt[5]{2}$, and $\eta$ a primitive $5$-th root of unity. First we note that the splitting field of $t^5-2$ is given by $K=\mathbb{Q}(\eta,\theta)$. Since $\theta$ is an extension of degree $5$ and $\eta$ of degree $4$, then $K$ is an extension of degree $20$. Define $\tau$ to be the automorphism that fixes $\theta$ and it maps $\eta$ to $\eta^2$. Then the order of $\tau$ is $4$. Also, define $\sigma$ to be the automorphism fixing $\eta$ and mapping $\theta$ to $\eta\theta$. Then we see that $\sigma$ is of order $5$. I already constructed the lattice for the Galois group, but now I am trying to construct the lattice for the corresponding fixed fields.

By definition we have that $\langle\sigma\rangle$ has $\mathbb{Q}(\eta)$ as a fixed field. Note that $\langle \sigma,\tau^2\rangle$ is a subgroup of $\langle \sigma, \tau\rangle=G(K/\mathbb{Q})$ which contains $\langle \sigma\rangle$, so the fixed field of $\langle \sigma,\tau^2\rangle$ should be an intermediate field contained in $\mathbb{Q}(\eta)$ (since the correspondance betweeen galois subgroups and fixed fields is order reversing), but I cannot figure out what the fixed field of $\langle \sigma,\tau^2\rangle$ is. At first I thought it was $\mathbb{Q}(\eta^i)$ for some $i$, and we trivially have that $\sigma$ leaves $\eta^i$ unchanged and $\tau^2(\eta^i)=\eta^i$, but this does not work since $\tau^2(\eta)=\eta^4$, $\tau^2(\eta^2)=\eta^3$, $\tau^2(\eta^3)=\eta^2$ and $\tau^2(\eta^4)=\eta$.

So what would then the fixed field of $\langle \sigma,\tau^2\rangle$ be?

share|cite|improve this question
up vote 2 down vote accepted

Note that $\tau^2$ maps $\eta$ to $\eta^4=\eta^{-1}$. So you might want to consider $\eta+\eta^{-1}$, which is contained in $\mathbb{Q}(\eta)$, and is fixed by both $\tau^2$ and $\sigma$. Now it's just a question of determining if it is the complete fixed field, or just a subfield thereof. But this should get you started.

share|cite|improve this answer
Thank you! this is the fixed field since I am looking for a field of degree $2$ over $\mathbb{Q}$ and $\mathbb{Q}(\eta+\eta^4)$ is indeed of degree $2$! – Daniel Montealegre May 30 '12 at 3:30

Your Answer


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

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