Presentetion of Prüfer group

1. Jun 9, 2012

charlamov

How would you prove that $< x_1,x_2 ... | [ x_i , x_j ] =1, i,j \in N , x_1 ^ p = 1, x_{i+1} ^p = x_i , i \in N >$ is presentation of $Z_{p^ \infinity}$

2. Jun 9, 2012

DonAntonio

Well, why won't you first tell us what is your definition of the Prüfer group, so that we all will know what's needed to prove?

DonAntonio

3. Jun 9, 2012

micromass

Charlamov, you first need to show us what you tried before we can help.