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

I've been going through the following list of problems:

Most of them are routine and some are more or less algebraic geometry (I haven't looked at those), but there are a few that I don't know how to do. I've solved most of them except for the following. I'm hoping someone could point me in the right direction or even show how they're done. I've written in parenthesis some comments on what I've done on each problem.

  1. Given a number field $K$ which is not $\mathbb{Q}$. Prove there exists an abelian extension $L/K$ such that $L$ is not contained in $K(\zeta_\infty)$.

  2. Let $f=X^3-X^2-2X+1$, $\alpha$ a root of $f$ and $K=\mathbb{Q}(\alpha)$. If a prime $p$ is unramified in $K$, what does this mean about the Artin map corresponding to $K$? (Could this mean anything in addition to the fact that it's defined and that the Frobenius map is independent of the prime above $p$ since the extension is Abelian? Is there something else that's important?)

  3. Let $f=X^3-X^2-2X+1$, $\alpha$ a root of $f$ and $K=\mathbb{Q}(\alpha)$. Find a cyclotomic extension of $\mathbb{Q}$ containing $K$. (The discriminant is 49, so the extension is abelian, so some $\mathbb{Q}(\zeta_{7^n})$ will do, since the conductor is of the form $7^n$, but I don't know how to bound $n$ i.e. how to compute the conductor)

  4. Suppose that $-31$ is not a square modulo $p$, where $p$ is prime. What can you say about $K\otimes \mathbb{Q}_p$, where $K=\mathbb{Q}(\alpha)$ and $\alpha^3+\alpha+1=0$? (Is there anything more except that $K\otimes\mathbb{Q}_p\simeq \prod_{\mathfrak{p}\mid p}K_\mathfrak{p}$?)

share|cite|improve this question
On item 3: Isn't it so that the Galois group of $\mathbf{Q}(\zeta_{7^n})$ has a unique subgroup of index 3? – Jyrki Lahtonen Jan 3 '12 at 9:23

Brief partial answers/hints:

(1) Taking into account Kronecker--Weber, this is the same as asking whether or not $G_K^{ab} \to G_{\mathbb Q}^{ab}$ is injective. If you are allowed to use class field theory, then look at the corresponding map on the idelic side. Is it injective?

(2) You could talk about how the Artin map depends on the splitting behaviour of this polynmoial mod $p$.

(3) $K$ is a degree $3$ extension of $\mathbb Q$. The Galois group of $\mathbb Q(\zeta_{7^n})$ over $\mathbb Q$ is $(\mathbb Z/7^n)^{\times}$. (For a more general discussion of how to make Kronecker--Weber effective, see e.g. this post.

(4) This cubic has disriminant equal to $-31$, and in fact generates the Hilbert class field of $\mathbb Q(\sqrt{-31})$. The splitting of prime ideals in the Hilbert class field is governed by a certain rule. Use this to describe $K\otimes \mathbb Q_p$.

share|cite|improve this answer
Alright, then it seems like I knew how to do (2) and (4), since I do know that we get the Hilbert class field, but why they are asking about this tensor product confuses me? The solution of (3) follows easily from that hint, so is there a more general approach? This approach is very specialized for just this particular polynomial. For (1) I need to think about this. I "know" it's not supposed to be injective, but not why. :) Thanks for your help. – pki Jan 3 '12 at 9:35
@pki: Dear pki, See my edits. Regards, – Matt E Jan 3 '12 at 14:55

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.