Presentetion of Prüfer group

  • Thread starter charlamov
  • Start date
  • #1
11
0
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]
 

Answers and Replies

  • #2
606
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]



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
22,129
3,297
Charlamov, you first need to show us what you tried before we can help.
 

Related Threads on Presentetion of Prüfer group

Replies
6
Views
652
  • Last Post
Replies
2
Views
14K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
1
Views
1K
Replies
1
Views
759
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
675
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
2K
Top