MathOverflow is a question and answer site for professional mathematicians. 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

If K is a field, v a discrete valuation, and k the residue field, there is a residue map $\partial: K^M_n(K) \to K^M_{n - 1}(k)$. All the definitions I have seen for this map involve two pages of combinatorics of different cases (e.g. the book of Fesenko Vostokov).

Does anyone know of a clean, concise, compact definition of this map, for example via some universal property that it might satisfy?

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

Look at Lemma 2.1 in Milnor's original paper, $\partial$ is characterized by the following properties: given $\pi, u_i \in K$ with $v(\pi)=1$ and $v(u_i)=0$,

$$\partial(u_1 \cdots u_n)=0,$$

$$\partial(\pi\cdot u_2 \cdots u_n)=\bar{u}_2\cdots \bar{u}_n.$$

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.