Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

There is a semi direct product if you go $\theta: Q \rightarrow Aut(H)$.

$H = C_{17}, Q = C_2$.

$Aut(H)\cong C_{16}$.

From here, how do I construct the semi direct products?

I said, in $C_{16}$, there are two elements of order that divide $2$, which are $1$ and $2$. Therefore there are two semi direct products. Also $17 \times 2 = 34$ tells me that in both semi direct products there will be $34$ elements.

How do I construct the semi direct products from here though?

share|cite|improve this question
You know that there at most two groups of order $34$, and you know that the dihedral group of order $34$ and $C_{34}$ are groups of order $34$. Hence, it must be those two! – Daniel Montealegre Dec 12 '12 at 21:12

There doesn't seem to be many options, does it? Putting $\,C_2=\langle a\rangle\,\,,\,\operatorname{Aut}(H)=\langle\phi\rangle\,$ , we get for the non-trivial semidirect product:

$$F:=C_2\to\operatorname{Aut}(C_{17})\cong C_{16}\Longrightarrow f(a):=\phi^8$$

where, of course (why "of course"?), $\,\phi^8\,$ is just inversion: $\,\phi^8(x):=x^{-1}\,\,\,\,\,\forall\,\,x\in C_{17}\,$ .

Thus, denoting $\,\phi^8(x)=f(a)(x)=:x^a\,$, you have the direct product

$$C_{17}\rtimes C_2\,,\,\,\,(x,y)(x',y'):=(x(x')^y\,,\,yy')$$

As for the trivial homomorphism $\,C_2\to\operatorname{Aut}(C_{17})\,\,,\,\,a\to \operatorname{Id.}=\text{the identity automorphism}$ , this gives us a direct product which is the only abelian group of order $\,34\,$ , the cyclic one, .

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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