8
$\begingroup$

I came across the following assertion in the Wikipedia article about totally imaginary number fields.

Let $K/\mathbb{Q}$ be an algebraic number field that is Galois over $\mathbb{Q}$. Then $K$ is totally real or it is totally imaginary.

Now, since I don't have any references for this result I was trying to prove it myself, and my supposed proof is the following.

What I think is that I basically only need the fact that $K/\mathbb{Q}$ is a normal extension, and then I use the following condition, that is equivalent to normality. Since $K/\mathbb{Q}$ is normal then every embedding $\sigma: K \hookrightarrow \overline{\mathbb{Q}}$ is an automorphism of $K$, which means in particular that $\sigma(K) = K$. Then since we either have $K \subset \mathbb{R}$ or else $K \cap (\mathbb{C} \setminus \mathbb{R} ) \neq \emptyset$ then this shows that $K$ is either totally real or totally imaginary.

Now my questions are if my proof is correct or if I'm missing something and if someone can provide me some references where totally real, totally imaginary and CM-fields are treated at least is some detail or where I can find some basic properties of these types of number fields.

Thank you very much.

  • 1
    Your proof is correct.2012-04-15
  • 0
    "Totally imaginary" is a terrible name for this quite common property, in my opinion.2012-04-15
  • 0
    @GregMartin I don't know a better name for it. I just found the term in an article I'm reading and looked it up in Wikipedia. Do you know any other names for it?2012-04-15
  • 2
    @GregMartin "Totally imaginary" is pretty standard, I think, by analogy with "totally real" -- what's the problem?2012-04-15
  • 2
    If you like, you can also use the primitive element theorem. Let $K=\mathbb{Q}(\alpha)$. Then the minimal polynomial of $\alpha$ either has a real root, or it doesn't.2012-04-15
  • 0
    @BrettFrankel Thanks, that's a very nice and natural approach. Would you mind writing that as an answer also so that I can vote it up?2012-04-15
  • 2
    Dear Adrian, Here is one way to think of this, which may be helpful: a standard fact, which you quite likely know, is that in a Galois extension of number fields, if $\mathfrak p$ is any prime ideal downstairs, and $\mathfrak q$ is any prime ideal upstairs dividing $\mathfrak p$, then the ramification and intertial indices of $\mathfrak q$ depend only on $\mathfrak p$ (i.e. they are the same for *all* primes above $\mathfrak p$). Well, the same is true for archimedean primes (where there is no inertia, but there is ramification: real over real or complex over complex is unramified, but ...2012-04-16
  • 4
    ... complex over real is ramified). In particular, when the bottom field is $\mathbb Q$, it has just one archimedean prime, and so if $K$ is Galois over $\mathbb Q$, then every archimedean prime of $K$ (all of which lie over the unique such prime of $\mathbb Q$) is either real or complex, i.e. $K$ is either totally real or totally complex (the latter being my preferred term for what you call "totally imaginary" --- but that latter term is also fine). Regards,2012-04-16
  • 0
    @MattE Dear Matt, thank you very much. That's a very interesting way of looking at it.2012-04-16

1 Answers 1

9

Your proof is correct and here's a variant.

Suppose $\Bbb Q\subset K$ Galois with $[K:\Bbb Q]=n$. Then $\text{Gal}(K/\Bbb Q)$ is the group of automorphisms of $K$ and consists of $n$ elements. It acts by composition on the set of embeddings $K\hookrightarrow\Bbb C$.

Suppose that $K$ admits a real embedding $\phi:K\rightarrow\Bbb R$ and consider its Galois orbit. It consists of the embeddings $$ K\stackrel\sigma\longrightarrow K\stackrel\phi\longrightarrow\Bbb R $$ as $\sigma\in\text{Gal}(K,\Bbb Q)$. Since $\phi$ is injective they are all different. Thus the orbit consists of $n$ embeddings.

But we know that $n$ is also the number of all embeddings. Therefore $\text{Gal}(K/\Bbb Q)$ acts transitively on the set of embeddings and they are all real.

  • 0
    Thank you very much for this answer. It's nice to see different ways to prove the statement in my question.2012-04-16