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

Let $k$ be a finite extension of $\mathbb{Q}_{p}$. Why is $tr_{k/\mathbb{Q}_{p}}$ a continuous map from $k$ onto $\mathbb{Q}_{p}$?

share|cite|improve this question
Have you tried something? – Patrick Da Silva Mar 19 '12 at 3:00
You need to put together a few facts, but this shouldn't be so bad. What's your favorite definition of the trace? – Dylan Moreland Mar 19 '12 at 3:03
The key fact here is that the trace map is linear. – Álvaro Lozano-Robledo Mar 19 '12 at 3:16
up vote 4 down vote accepted

Show that a $\mathbb Q_p$-linear map $f:V\to W$ of finite dimensional $\mathbb Q_p$-vector spaces is always continuous. What you want then follows from $\mathbb Q_p$-linearity of the trace, which is more or less immediate.

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.