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.

I'm trying to understand the proof of the following:

Let $G$ be an abelian pro-$p$ group, and let $N\leq _O G$ be an open subgroup such that $N\cong\mathbb{Z}_p$. Then $G\cong\mathbb{Z}_p\times T$ where $T$ is a finite $p$-group.

An outline of the proof is as follows: $G$ has a finitely generated open subgroup so $G$ is finitely generated. Hence (1), $G\cong A\times T$ where $A$ is f.g. abelian pro-$p$ and $T$ is a finite abelian $p$-group. So we have $\mathbb{Z}_p\leq_O A\times T$ and hence(2) $A\cong\mathbb{Z}_p$ as desired.

I don't understand the two steps marked (1) and (2). Why do we have the decomposition $A\times T$? And why $A\cong\mathbb{Z}_p$? As far as the second one goes, I see why $\mathbb{Z}_p\leq A\times\{1\}$, so we can say that $\mathbb{Z}_p\leq A$. We also know that it has finite index in $G$ and hence has finite index in $A$. What now?

For (1), I can try taking a set of generators and take $A$ to be the subgroup generated by the infinite-order generators and $T$ the subgroup generated by finite-order generators. Then $G=AT$ but I'm not sure why the product has to be direct, that is, why should the intersection $A\cap T$ be trivial?

Any ideas? I think I'm missing something quite basic here...

share|improve this question

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.