groups of order pq
We can use Sylow’s theorems to examine a group of order , where and are primes (http://planetmath.org/Prime) and .
Let and denote, respectively, the number of Sylow -subgroups and Sylow -subgroups of .
Sylow’s theorems tell us that for some integer and divides . But and are prime and , so this implies that . So there is exactly one Sylow -subgroup, which is therefore normal (indeed, fully invariant) in .
Denoting the Sylow -subgroup by , and letting be a Sylow -subgroup, then and , so is a semidirect product of and . In particular, if there is only one Sylow -subgroup, then is a direct product of and , and is therefore cyclic.
Given , it remains to determine the action of on by conjugation. There are two cases:
Case 2: If divides , then has a unique subgroup (http://planetmath.org/Subgroup) of order , where . Let and be generators for and respectively, and suppose the action of on by conjugation is , where in . Then . Choosing a different amounts to choosing a different generator for , and hence does not result in a new isomorphism class. So there are exactly two isomorphism classes of groups of order .
|Title||groups of order pq|
|Date of creation||2013-03-22 12:51:05|
|Last modified on||2013-03-22 12:51:05|
|Last modified by||yark (2760)|