MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Suppose that L is a field extension of the rationals with Galois group the quaternions Q={1,-1,i,-i,j,-j,k,-k}. Furthermore assume that L contains a quadratic subfield K. I have learned from this link

that K is real. How can we prove this result? Of course one should use Galois theory There are three subgroups inside Q of order four. Each of them is cyclic and generated by i, j, or k, resp. But I don't know how to move on. Any hint is appreciated.

share|cite|improve this question
This stinks of homework. It's a nice question though. Why not ask it at one of the sites in the FAQ? It's not really research-level... – Kevin Buzzard Sep 16 '10 at 10:12
You needn't assume that L contains a quadratic subfield. By Galois theory it contains exactly 3, corresponding to the 3 normal subgroups of Q of order 4 which you mention (and which appear in Alex's answer). – cfranc Sep 16 '10 at 13:25

To expand slightly my brief comment. Regard $L$ as a subfield of $\mathbb{C}$. Let $L'=\mathbb{R}\cap L$. Then the index $|L:L'|=1$ or $2$. In the former case all quadratic subfields of $L$ are real. In the latter case $L'$ is the unique degree $4$ subfield of $L$; by Galois theory and the structure of the quaternion group this is the compositum of its quadratic subfields. Again all quadratic subfields are real.

share|cite|improve this answer

Here's a more general question which should give you a hint how to solve your problem: prove that the given assertion is true whenever the finite group Gal(L/K) has the property that every involution in Gal(L/K) is in the kernel of every homomorphism Gal(L/K) -> Z/2Z (a condition which is easily seen to hold for the quaternion group.)

share|cite|improve this answer

Here's another proof:

Let $L/F$ be a cyclic extension of degree $4$, in characteristic $\neq 2$. Let $K$ be the intermediate extension of degree $2$. Then I claim there is an element $u$ of $K$ with $N_{K/F}(u)=-1$.

Proof of Claim: Let $\sigma$ be a generator for $\mathrm{Gal}(L/F)$. Let $L=K(\sqrt{b})$; choose a particular square root of $b$, in $L$, to denote by $\sqrt{b}$. Let $\sigma(\sqrt{b}) = u \sqrt{b}$. Note that $- \sqrt{b} = \sigma^2 (\sqrt{b}) = u \sigma(u) \sqrt{b}$, so $u \sigma(u) = -1$. Applying $\sigma$ to this last relation, we also have $\sigma(u) \sigma^2(u) = -1$ so $u = \sigma^2(u)$ and $u$ is in $K$. Then $u \sigma(u) = N_{K/F}(u) = -1$. QED

Why is this relevant? It shows that we can't have a real place of $F$ become complex in $K$ as, otherwise, all norms from $K$ to $F$ would be positive. In particular, let $L/\mathbb{Q}$ has Galois group the quaternion $8$ group. Let $K$ be the biquadratic subfield of $L$, with $F_1$, $F_2$ and $F_3$ the quadratic subfields of $K$. At least one of the $F_i$ must be real. If $K$ is not totally real, then the tower $L/K/F_i$ violates the claim.

share|cite|improve this answer

Here is a solution using some representation theory of the quaternions and Dirichlet's theorem on the units:
the quadratic subfields of our quaternion extension (call it $F$) are of the form $\mathbb{Q}[\sqrt{a}]$, $\mathbb{Q}[\sqrt{b}]$, $\mathbb{Q}[\sqrt{ab}]$, corresponding to, say, $i$,$j$,$k$, respectively, in $Q_8$. So either all three are real or exactly two are complex and one is real. Assume, the latter is the case and wlog $a,b<0$. Then in the following table I list the intermediate fields, the number of real embeddings $r_1$, the number of pairs of complex embeddings $r_2$ and the rank of the unit group, which is $r_1+r_2 -1$:

  • $F$: 0, 4, 3
  • $\mathbb{Q}[\sqrt{a},\sqrt{b}]$: 0, 2, 1
  • $\mathbb{Q}[\sqrt{a}]$: 0, 1, 0
  • $\mathbb{Q}[\sqrt{b}]$: 0, 1, 0
  • $\mathbb{Q}[\sqrt{ab}]$: 2, 0, 1
  • $\mathbb{Q}$: 1, 0, 0

The units of $F$ (thought of as an abelian group) tensored with $\mathbb{Q}$ therefore yield a three dimensional rational representation of our Galois group $Q_8$, call it $V$. Now, the irreducible rational representations of $Q_8$ are the trivial representation, three sign representations and a 4-dimensional one, namely twice the complex irreducible 2-dimensional representation. So $V$ is a sum of a certain number of trivial and sign representations, 3 altogether. Now, there can be no copies of the trivial representation in $V$, since the rank of the units over $\mathbb{Q}$ is 0. But by the same argument, there can be no copy of the sign representations that factor through $i$ and $j$, so the only one occuring in $V$ is the one factoring through $k$. But then the rank of the fixed subspace of $V$ under $k$ would have to be the same as the rank of $V$ itself, which is a contradiction.

Note that to write out all the details was slightly lenghty, but the idea is simple: look at the rank of the units in all the subfields and show that this cannot correspond to a rational representation of $Q_8$.

share|cite|improve this answer
Just saw Kevin's comment. Maybe I should withdraw my post. What do you think? On the other hand, if it's homework, I doubt that this is the sort of answer the lecturer is looking for. – Alex B. Sep 16 '10 at 10:21
Hi Alex. You just can't tell with these problems. It's a perfectly valid "idle question" but also a perfectly valid homework problem. Here's my rule of thumb: if the questioner has a reputation of 1 then I assume it's homework, and if it's a regular I assume it's an idle question. So you can see why I said what I said---the questioner has no prior history. But other people think differently. – Kevin Buzzard Sep 16 '10 at 10:22
That rule of thumb sounds like it could be very close to the truth and I think I will adopt it. I guess I will leave this one, since your average undergraduate doesn't usually know Dirichlet's unit theorem (not the undergrads I know, anyway), so probably wouldn't get away with using it in a solution. – Alex B. Sep 16 '10 at 10:28
There's less to the problem than this. Embed $L$ in $\mathbb{C}$ and consider the complex conjugation map $c$. Then $c$ restricts to an automorphism of $L$ (why?) and so corresponds to one of the elements of the group $Q$. Which elements of $Q$ are possible? – Robin Chapman Sep 16 '10 at 10:43

A theorem of Witt asserts that a biquadratic extension $F(\sqrt{a},\sqrt{b}),\; a,b\in F^{\times}$ can be embedded in a quaternion Galois extension of $F$ iff the quadratic form $ax^2+by^2+abz^2$ is isomorphic over $F$ to $x^2+y^2+z^2$. For $F=\mathbb{Q}$ this forces $a,b,ab>0$.

share|cite|improve this answer

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.