Results 1 to 9 of 9

Math Help - Finite abelian group

  1. #1
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    Finite abelian group

    Let A be a finite abelian group and let p be a prime. Prove that the number of subgroups of A of order p equals the number of subgroups of A of index p.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,386
    Thanks
    752

    Re: Finite abelian group

    although this is not "quite" the same problem, i believe it is similar enough to help you: finite abelian group
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member ModusPonens's Avatar
    Joined
    Aug 2010
    Posts
    125
    Thanks
    14

    Re: Finite abelian group

    If you have Hungerford's Algebra, look at the theorem II.2.6.(iii). Since A (or G in the book's notation) is finite, the F goes away. Now count the subgroups of index p and the subgroups of order p.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    Re: Finite abelian group

    Quote Originally Posted by Deveno View Post
    although this is not "quite" the same problem, i believe it is similar enough to help you: finite abelian group
    In the link you have given it is first defined A^p=\{a^p|a \in A\} and A_p=\{a \in A| a^p=1\}. Then it is claimed that A_p \cap A^p =\{e \}. I think there's a mistake here. Can you please check.
    Also, I understand that A/A_p \cong A^p but i can't see how it is useful in solving the question i had posted originally. Please help.
    Thanks.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    Re: Finite abelian group

    Quote Originally Posted by ModusPonens View Post
    If you have Hungerford's Algebra, look at the theorem II.2.6.(iii). Since A (or G in the book's notation) is finite, the F goes away. Now count the subgroups of index p and the subgroups of order p.
    I can prove that E_{p^n} has a total of (p^n-1)/(p-1) distinct subgroups of order p.
    To solve the original question(post #1) by the approach you have suggested i need to find the number of subgroups( of course distinct) of order p of abelian groups like Z_{p^3} \times Z_{p^2} etc. What i have found out (which i am not 100% sure is correct) that number of subgroups of order p of Z_{p^3} \times Z_{p^2} is same as the number of subgroups of order p of Z_p \times Z_p etc. is this correct??

    Now i couldn't figure out how to find the number of subgroups having index p. Can you please help on this one??
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member ModusPonens's Avatar
    Joined
    Aug 2010
    Posts
    125
    Thanks
    14

    Re: Finite abelian group

    Quote Originally Posted by abhishekkgp View Post
    I can prove that E_{p^n} has a total of (p^n-1)/(p-1) distinct subgroups of order p.
    To solve the original question(post #1) by the approach you have suggested i need to find the number of subgroups( of course distinct) of order p of abelian groups like Z_{p^3} \times Z_{p^2} etc. What i have found out (which i am not 100% sure is correct) that number of subgroups of order p of Z_{p^3} \times Z_{p^2} is same as the number of subgroups of order p of Z_p \times Z_p etc. is this correct??

    Now i couldn't figure out how to find the number of subgroups having index p. Can you please help on this one??
    I have to say that I thought I knew the answer to this problem when I posted the hint. But I realised later that I didn't. Anyway, I can say that Z_{p^3} \times Z_{p^2} has more subgroups of order p than Z_p \times Z_p because the latter has only Z_p \times {0}, {0} \times Z_p and <(1,1)>, while the first has at least <(p^2,p)>, <(p^2,0)>, <(0,p)> and <(p^2,k \times p)> for k<p. Plus the analogous on the side of p^2

    If I would have to resolve this problem, I would try to find, with specific examples, such as Z_{5^2} \times Z_{5^3}, the group of index 5 for each group of order 5 and thus understand the one to one correspondence.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    Re: Finite abelian group

    Quote Originally Posted by ModusPonens View Post
    I have to say that I thought I knew the answer to this problem when I posted the hint. But I realised later that I didn't. Anyway, I can say that Z_{p^3} \times Z_{p^2} has more subgroups of order p than Z_p \times Z_p because the latter has only Z_p \times {0}, {0} \times Z_p and <(1,1)>, while the first has at least <(p^2,p)>, <(p^2,0)>, <(0,p)> and <(p^2,k \times p)> for k<p. Plus the analogous on the side of p^2

    If I would have to resolve this problem, I would try to find, with specific examples, such as Z_{5^2} \times Z_{5^3}, the group of index 5 for each group of order 5 and thus understand the one to one correspondence.
    nooooo. Z_p \times Z_p has exactly p+1 subgroups of order p. namely \left<(x,0) \right>, \left<(x,y)\right>, \left<(x,y^2)\right>, \ldots, \left<(x,y^{p-1})\right>, \left<(0,y)\right>
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Member ModusPonens's Avatar
    Joined
    Aug 2010
    Posts
    125
    Thanks
    14

    Re: Finite abelian group

    You're right. Sorry.

    I don't have the time necessary to devote myself to the problem, so I will leave it as it is.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Finite abelian group

    Quote Originally Posted by ModusPonens View Post
    You're right. Sorry.

    I don't have the time necessary to devote myself to the problem, so I will leave it as it is.
    If interested, I provided the necessary tools to solve this in this thread.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Finite abelian p-group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: December 3rd 2011, 02:53 PM
  2. Replies: 7
    Last Post: February 19th 2011, 03:29 PM
  3. Algebra: abelian finite group
    Posted in the Algebra Forum
    Replies: 3
    Last Post: December 6th 2009, 12:31 AM
  4. Finite abelian group.
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: October 29th 2009, 09:35 AM
  5. Finite Abelian Group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: October 17th 2009, 05:03 AM

/mathhelpforum @mathhelpforum