8
$\begingroup$

If $p < q$ are primes then there is a nonabelian group of order $pq$ iff $q = 1 \pmod p$, in which case the group is unique. If $p = 2$ we obtain the dihedral group of order $2q$, which generalizes first to the dihedral group of order $2n$ and then even further to the "generalized dihedral group" where the cyclic group of order $n$ is replaced with any abelian group.

What if $p > 2$? Is there a natural generalization of the groups of order $pq$ to a family of groups of order $pn$? Maybe more than one possible generalization? Is it maybe even meaningful to talk about the "generalized $p$-hedral group"?

$\endgroup$
4
  • $\begingroup$ To define the generalized dihedral group , don't you need to start with an abelian group? $\endgroup$
    – Dan Ramras
    Jun 27, 2010 at 1:54
  • 1
    $\begingroup$ Sorry, yes, you're right. I've corrected the mistake above. $\endgroup$ Jun 27, 2010 at 2:01
  • 2
    $\begingroup$ The group of order $pq$ is the semidirect product of $Z/p$ with $Z/q$ via the homomorphism $Z/p \to Aut(Z/q)$. The latter homomorphism also makes sense if $p,q$ are integers such that $Aut(Z/q)$ has an element of order $p$. $\endgroup$ Jun 28, 2010 at 10:44
  • $\begingroup$ Thanks, Martin. So if I have a general group G such that Aut(G) has an element a of order n and define the semidirect product of Z/nZ with G via the homomorphism Z/nZ \to <a>, I suppose this is in some sense a "generalized n-hedral group". I wonder, under what conditions is such a semidirect product unique? $\endgroup$ Jun 28, 2010 at 19:31

1 Answer 1

7
$\begingroup$

The nonabelian group of order $pq$ is given by generators $a$, $b$, with relations $a^p=1$, $b^q=1$, $a^{-1}ba=b^r$, where $r$ is chosen so $r^p$ is 1 mod $q$. If there is an element $r$ of order $p$ mod $n$, then there is a nonabelian group of order $pn$ with generators $a$, $b$, and relations $a^p=1$, $b^n=1$, $a^{-1}ba=b^r$.

$\endgroup$
1
  • 5
    $\begingroup$ You can even let p be composite, and choose r mod n to have order dividing p. The groups with G' cyclic of order coprime to G/G' are given a nice description in Hall's Theory of Groups, Th 9.4.3, one of which is exactly your description. In general, he might be interested in metacyclic groups, which in the finite case have a fairly similar description (King and Liebeck have some nice parameterizations of the metacyclic p-groups). $\endgroup$ Jun 27, 2010 at 3:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.