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

Finding groups by semidirect products

  1. Dec 2, 2009 #1

    Lately, I have been studying some group theory. On my own, I should add, so I don't really have any professor (or other knowledgable person for that matter) to ask when a problem arises; which is why I am here.

    I had set out to find all small groups (up to order 30 or something), up to isomorphism. Up until the unique group of order 15, no problem arises. However, at order 16 I have gotten stuck. Naturally, the abelian ones poses no real challange, but as only one prime is involved, Sylow Theory seems to be of little help, and so seems any other method I have tried. I would greatly appreciate some small hints on how to proceed, but I would like to do the rest myself. I am in the process of dropping my goal of finding the groups of said orders, but this one has been bugging me. So has the next one, but there I at least think I got off to a decent start.
    The next problematic order is 21 (and a whole bunch of others with similar factorisation into primes). I try to approach it as follows: Sylow Theory tells us that if G is a finite group, p divides the order of G and p is a prime, then [tex]|Syl_{p}(G)| \equiv 1 (mod \: p)[/tex] and [tex]|Syl_{p}(G)|[/tex] divides [tex]|G|[/tex]. From this, and the fact that 3 is congruent to 3 modulo 7, we draw the conclusion that any group of order 21 contains a normal subgroup of order 7. This subgroup is, as it is of prime order, a cyclic one. Moreover, the intersection of this normal subgroup and any Sylow 3-subgroup is simply the singleton [tex]\{1_{G}\}[/tex]. Also, if we by S and T denote the groups of order 3 and 7, respectively, we have [tex]ST = \{st | s \in S, t \in T\} = G[/tex]. Thus G is the semidirect product [tex]T \rtimes S[/tex]. Now, as the involved groups are cyclic, this seems to be an easy match from here on. Here I guess I should give a presentation for the group, and it would be something like [tex]G = \langle a, b | a^7 = b^3 = 1, b^{-1}ab = a^k \rangle[/tex] where k is one of the integers 1, ... ,6. k = 1 yields the abelian group (the cyclic) of order 21. Another one would be the group with presentation [tex]\langle a, b | a^7 = b^3 = 1, b^{-1}ab = a^2 \rangle[/tex].

    Here I am stuck. There seems to be too many possibilities for it to be reasonable to just play around with the relations and try to look for equalities between the different products. I know, I should really read more about presentations, but I don't have any good litterature for the moment. If anyone would feel like helping out, tell me if I made some terrible mistakes and faulty assumptions or anything else that could help me get a grasp on what I am doing, I would be very thankful.

    Thanks in advance!
    Last edited: Dec 2, 2009
  2. jcsd
  3. Dec 2, 2009 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Doing a little reading, it seems that any semidirect product of N and H with N normal in G arises from a homomorphism from H into the automorphism group of N. I guess it's too much to hope for that each homomorphism determines a distinct isomorphism class, but at least it cuts things down somewhat.
  4. Dec 2, 2009 #3
    First of all; thank you for taking the time to read and post. However, when thinking about this problem a bit more, it seems like my problems goes deeper than I first though. I simply haven't understood the concept well enough yet, or at least, I still find it a bit too technical to be able to produce results from what I know. I shall sit down and read some more, and then give it another shot!
  5. Dec 2, 2009 #4
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook