Results 1 to 2 of 2

Math Help - Abelian p-group

  1. #1
    Senior Member
    Joined
    Nov 2008
    Posts
    394

    Abelian p-group

    Prove that a finite abelian p-group is generated by its elements of maximal order.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Gamma's Avatar
    Joined
    Dec 2008
    From
    Iowa City, IA
    Posts
    517

    Finite Abelian Groups

    Let P be a finite abelian p-group. P is certainly finitely generated, so you can use the Fundamental Theorem of Finitely Generated Abelian Groups.
    A p-group by definition has order p^n where n\in\mathbb{N}.

    Thus P\cong\mathbb{Z}_{p^n} or P\cong\mathbb{Z}_{p^{n-1}}\oplus\mathbb{Z}_{p} or P\cong\mathbb{Z}_{p^{n-2}}\oplus\mathbb{Z}_{p^2} or P\cong\mathbb{Z}_{p^{n-2}}\oplus\mathbb{Z}_{p}\oplus\mathbb{Z}_{p}, etc.

    Note that the order of an element is simply the lcm of the orders in each coordinate, generally you write these factors in descending order from left to right and since each factor is a power of a prime, you notice that the order of each element is really just the order of the component in the first coordinate (which is cyclic so there is a nonzero element here with maximal order that generates everything in the first coordinate). Then you could pick every other combination of elements for the rest of the positions and it would still have the same order. In this way I think this shows you why this is true then that this group would necessarily be generated by the elements of maximal order.

    While I think there is probably a much easier way of proving this, it is not immediate to me anyway. Though this method is certainly a bit messy , I feel that it at least explains more constructively why this is actually the case.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Abelian Group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: November 5th 2011, 02:37 PM
  2. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: August 8th 2011, 04:27 PM
  3. Group, abelian
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 14th 2010, 06:05 AM
  4. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 5th 2010, 03:46 PM
  5. Is the subgroup of an abelian group always abelian?
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: December 7th 2009, 12:38 AM

Search Tags


/mathhelpforum @mathhelpforum