Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|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
add comment

1 Answer 1

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|improve this answer
add comment

Your Answer

 
discard

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.