Does $\mathbb Z/p\mathbb Z$ a free abelian pro-p group?

70 Views Asked by At

As far as I know, $\mathbb Z/p\mathbb Z$ ($p$ is prime) is cyclic and so it's abelian.
It is obviously a p-group, hence it is pro-p.
And it is free, for its generator, $\langle1\rangle$, has no particular relation.

1) Is it correct to claim that $\mathbb Z/p\mathbb Z$ is a free abelian pro-p group?

2) In that context, is there a difference between the case $p=2$ and $p\neq2$?

1

There are 1 best solutions below

1
On BEST ANSWER

It is neither "free" or "free abelian" since it has elements of finite order . You have the relation $1+\cdots+1=0$.