Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Presentetion of Prüfer group

  1. Jun 9, 2012 #1
    How would you prove that [itex] < 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 > [/itex] is presentation of [itex] Z_{p^ \infinity} [/itex]
  2. jcsd
  3. Jun 9, 2012 #2

    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?

  4. Jun 9, 2012 #3
    Charlamov, you first need to show us what you tried before we can help.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook