1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Finite commutative p group

  1. Feb 26, 2014 #1
    1. The problem statement, all variables and given/known data

    Let [itex]A = A(p)\times A'[/itex] where [itex]A(p)[/itex] is a finite commutative p-group (i.e the group has order [itex]p^a[/itex] for [itex]p[/itex] prime and [itex]a>0[/itex]) and [itex]A'[/itex] is a finite commutative group whose order is not divisible by [itex]p[/itex].
    Prove that all elements of [itex]A[/itex] of orders [itex]p^k, k\geq0[/itex] belong to [itex]A(p)[/itex]


    3. The attempt at a solution
    I dont know where to begin with this. Im quite sure that if the order of [itex]A'[/itex] is not divisible by [itex]p[/itex] then the order of any element of [itex]A'[/itex] is not divisible by [itex]p^k[/itex]. Is this usefull or not?
     
  2. jcsd
  3. Feb 26, 2014 #2
    Let ##e_1, e_2## denote the identities of ##A(p)## and ##A'## respectively.

    If ##(a_1, a_2) \in A##, ##(a_1, a_2) = (e_1, e_2)## iff ##a_1 = e_1## and ##a_2 = e_2##.

    Suppose ##(a_1, a_2)## has order ##p^k## for some ##k > 0##. Then it must be that

    ##a_1^{p^k} = e_1## and ##a_2^{p^k} = e_2##.

    But then the order of ##a_2## divides ##p^k##. So the order of ##a_2## is ##p^m## for some m. This is a problem if ##a_2 \neq e_2##.

    Note that in the statement of the problem, they regard ##A(p)## as a subgroup of ##A##. But to be proper, ##A(p)## is isomorphic to the subgroup ##A(p) \times \{e_2 \}##.
     
  4. Feb 26, 2014 #3
    Also, in group theory, people tend to stay away from using the word commutative. Instead you should use abelian. The reason for this is that it is nice to have separate words for commuting in multiplication and commuting in addition when you get to ring theory.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Finite commutative p group
  1. Finite Group (Replies: 0)

Loading...