Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $G$, $H$ be free pro-$p$-groups, where $p$ denotes a rational prime.

I want to show that a canonical homomorphism

$$G \to H$$ is in fact an isomorphism. The next step is a reduction step to the abelianizations of $G$, resp. $H$ that I'd like to prove. The claim therefore is

If $G^{ab} \to H^{ab}$ is an isomorphism, we get an isomorphism on the corresponding free pro-$p$-groups $G \to H$.

How does that work?

Thank you :-)

share|improve this question
How is $G\to H$ canonical? Are $G, H$ finitely pro-p generated? –  Bruno Joyal Mar 19 at 13:04
@BrunoJoyal Well, $G$ is a free pro-$p$-product over possibly infinitely many inertia groups and $H$ is a free pro-$p$-Galois group. I think neither of them is finitely generated. $G \to H$ is a canonical homomorphism between those groups, but I don't think it plays a role here. Am I correct about this assumption? –  BIS HD Mar 19 at 13:54

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.