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

Suppose we have a ring homomorphism $\varphi: R \to S$, say an injection (e.g. coming from an injection $H \to G$ of finite groups and $R=\mathbb{Z}_p[H],S=\mathbb{Z}_p[G])$, what can be said about the kernel of $K_1(\varphi)$? Since I'm after all interested in Iwasawa-algebras let's suppose R,S are semilocal and by Vaserstein the canonical maps $i_R: R^\times\to K_1(R),~ i_S:S\times\to K_1(S)$ are surjective and we get have a comm. diagram $i_S\circ \varphi=K_1(\varphi)\circ i_R.$

There certainly are kernels sometimes: Let H be abelian, $G=H \rtimes C_2$ the semidirect produkt, where $C_2$ acts by inversion. Since $i_S$ factors through the abelianization of $S^{\times}$, we see that 2H is in the kernel.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.