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

Nonabelian group of order p^3

  1. Apr 6, 2012 #1
    For any prime p how do I show that there is a nonabelian group of order p^3?

    Since we are dealing with a p-group (call it G), its center is nontrivial (i.e., of order p,p^2, or p^3). Obviously, the center cannot have order p^3 (otherwise it's abelian). Also, if its center has order p^2, then [itex]|G/Z(G)|=p[/itex] implying that G is cyclic and thus abelian. Another no-go.

    Thus, [itex]|Z(G)|=p[/itex] and [itex]Z(G) \cong \mathbb{Z}_p [/itex].

    Now, I want G to be nonabelian, so I want a G containing Z_p such that [itex]G/\mathbb{Z}_p \cong \mathbb{Z}_p \times \mathbb{Z}_p [/itex] (which would be the only noncyclic group of order p^2).

    From here, I have no idea how to recover the original G. Also, semidirect products are off-limits for this problem. (I'm going through an old algebra book and the semidirect product is not introduced till after the section from which this problem comes.)

    Any ideas?
     
  2. jcsd
  3. Apr 6, 2012 #2

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    First off, you seem to be misquoting the result that states "G/Z(G) cyclic ##\implies## G abelian". I guess you're using this to conclude that ##G/Z(G) = Z_p \times Z_p## in your fourth paragraph.

    Anyway, if all you need to know is that a nonabelian group of order p^3 exists, then you can do this: choose x and y in G that generate G/Z(G). Show that they in fact generate G. Since x and y necessarily don't commute (why?), G must be nonabelian.

    (In fact, if you go one step further and study the product xy, then you can probably write down G as a semidirect product.)
     
    Last edited: Apr 6, 2012
  4. Apr 6, 2012 #3


    First of all, I have no idea how to help you without using semidirect products. Even writing down the specific Cayley Table would be, at

    least for me, equivalent to use the semidirect product without mentioning it, or writing the group as generators and relations...all the same.

    Here you have some intent at this, but eventually it comes down to semidirect products: http://www.math.chalmers.se/Math/Grundutb/GU/MMA200/A09/group3.pdf

    The next paper also gives it a shot, though it begins by stating and proving that there are 5 non-isomorphic groups of order p^3, which is hardly "first principles". He also uses the Heisenberg groups:

    http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf

    Anyway, what old book are you using and where in it is this problem?

    DonAntonio
     
  5. Apr 6, 2012 #4

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I can understand not invoking that machinery in your proof, but I see no reason why you wouldn't use the basic idea.
     
  6. Apr 6, 2012 #5
    @morphism- In the fourth paragraph, since [itex] |G/Z(G)|=p^2[/itex], it must be abelian. That leaves two possibilities: either [itex]G/Z(G) \cong \mathbb{Z}_{p^2}[/itex] or [itex] G/Z(G) \cong \mathbb{Z}_p \times \mathbb{Z}_p [/itex]. Since [itex]\mathbb{Z}_{p^2}[/itex] is cyclic, G/Z can only be isomorphic to it if G is abelian, right?

    If this is so, and G/Z is abelian, how can I ever find generators of G/Z that don't commute?

    @DonAntonio- It's from _Abstract Algebra_ by John Beachy and William Blair. Upon further inspection, semidirect products are not covered in the book at all. (!) I took the class from Prof. Beachy who did cover them during the course, but he must have given us supplemental notes.

    @Hurkyl- This problem came from a section on conjugacy and the class equation. I figure there must be something easier since developing direct products would not have much to do with the topic in the section.
     
  7. Apr 6, 2012 #6

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    Yep, that's right. I made that comment because you said "|G/Z(G)|=p implying that G is cyclic and thus abelian" in the second paragraph (what you should have said is "implying that G/Z is cyclic and thus G must be abelian"), so I wanted to make sure you understood the argument.

    True - the images of x and y in G/Z will commute. But that doesn't mean x and y (which are elements of G) must commute - and in fact, I'm claiming that they cannot.
     
  8. Apr 12, 2012 #7
    By the correspondence theorem, I can show that the normal subgroups of G/Z(G) ([itex] \mathbb{Z}_p \times 0 [/itex] and [itex]0 \times \mathbb{Z}_p [/itex]) correspond to the normal subgroups of G containing Z(G). Since there are two normal subgroups of G/Z(G), there are two distinct normal subgroups of G containing Z(G). The mere existence of these two normal subgroups implies that there are elements in G that are not also in Z(G). Thus, G is nonabelian.

    Does this sound like a valid argument? Somehow I doubt it.

    Edit: Nope. Totally begged the question. Maybe I can show that the normal subgroups mentioned are such that the intersection is 0 and the sum of the two groups has p^3 elements.
     
    Last edited: Apr 12, 2012
  9. Apr 12, 2012 #8

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper

    have you played with the unit group of integral quaternions? {±1, ±i, ±j, ±k}.
     
  10. Apr 12, 2012 #9

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    If you want to continue along the lines of my hint, then try to mimic the proof of the fact that G/Z cyclic => G abelian.
     
  11. Apr 14, 2012 #10
    We can assume that the center is nontrivial and thus if G has any hope of being nonabelian at all, then [itex]G/Z(G)\cong \mathbb{Z}_p\times \mathbb{Z}_p[/itex]. However, taking inverse images of the generators of [itex]\mathbb{Z}_p\times\mathbb{Z}_p[/itex] assumes that G is nonabelian to begin with, doesn't it? So, I must not quite understand what you're telling me.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Nonabelian group of order p^3
Loading...