# How to show that $G$ can be expressed as a semidirect product

Let $$G$$ be a group of order $$42$$. Prove that $$G$$ is a semidirect product of a normal subgroup of order $$21$$ and $$\mathbb{Z}_2$$.

My attempt: $$G$$ has unique Sylow 7 subgroup and Sylow 3 subgroup is not unique (as $$n_3 = 1$$ (mod $$3)$$ and $$n_3 | 14$$, $$\implies n_3 = 7$$?), and so the Sylow 3 subgroup is not normal (if it were, we could just take the product of Sylow 7 and Sylow 3), so I'm not sure how to construct a normal subgroup of order 21.

As far as construction of an explicit homomorphism goes $$\phi: \mathbb{Z}_2\rightarrow Aut(S)$$, where $$S$$ is the normal subgroup of $$G$$ of order 21, $$\phi(0) = id_S$$ and $$\phi (1)$$ is the automorphism that sends each element to its conjugate as stated in the answer.

Also, how can we prove that elements of odd order form a subgroup of index 2 as suggested in the answer. Thanks.

My attempt: $$G$$ has unique Sylow 7 and Sylow 3 subgroups which are normal

No, the 3-subgroup does not have to be normal. There is a non-abelian group of order $$21$$, in which $$14$$ elements have order $$3$$.

Once you can construct a subgroup $$H$$ of order $$21$$, the rest is easy. There is an element $$x$$ of order $$2$$, which is not in that subgroup. Look at how $$x$$ acts on $$H$$ by conjugation. That's the explicit homomorphism.

That leaves the unresolved part - finding an index-2 subgroup.

Consider the action of $$G$$ on itself by (left) multiplication as a permutation - the Cayley homomorphism $$\pi$$. For an element $$x$$ of order $$k$$, the cycle representation of $$\pi(x)$$ consists entirely of $$k$$-cycles. If the number of elements in $$G$$ is twice an odd number and $$k$$ is even, then that will be an odd number of even cycles - which makes it an odd permutation. The intersection of $$\pi(G)$$ with the alternating group form a subgroup of index $$1$$ or $$2$$ in $$\pi(G)$$ - and, since we've found an odd permutation $$\pi(x)$$ for some $$x$$ of order $$2$$, said intersection can't be all of $$\pi(G)$$.

The homomorphism $$\pi$$ is injective, so after pulling back $$\pi^{-1}(A_G\cap \pi(G))$$ is a subgroup of $$G$$ of index $$2$$. It consists exactly of the elements of odd order in $$G$$. We proved this for any order that's twice an odd number, and $$42-2\cdot 21$$ certainly qualifies, so we're done.

Thanks to Jyrki Lahtonen for this argument constructing the subgroup of index 2.

• When a group has order $2\cdot\text{odd}$, it always has a normal subgroup of index 2 (you can see this by seeing how an element of order 2 acts in the regular representation). – Hempelicious Mar 19 at 1:50
• Can't you do the following. Let $P$ be the normal Sylow $7$-subgroup. Then $G/P$ is a group of order six. It has a subgroup $H$ of order three. The preimage $\pi^{-1}(H)$, where $\pi:G\to G/P$ is the natural projection, is what you are looking for. – Jyrki Lahtonen Mar 19 at 5:04
• Alternatively, let $\rho: G\to \operatorname{Sym}(G)$ be the Cayley homomorphism coming from $G$ acting on itself by left multiplication. The image of every element of an even order is a disjoint product of an odd number of cycles of an even length, i.e. an odd permutation, On the other hand, the image of an element of an odd order is a disjoint product of cycles of an odd length, i.e. an even permutation. Therefore the elements of an odd order form a subgroup (=the preimage of the alternating group). – Jyrki Lahtonen Mar 19 at 5:09
• (cont'd) This argument shows that elements of odd order form a subgroup whenever the group has order $\equiv2\pmod4$. – Jyrki Lahtonen Mar 19 at 5:09
• @JyrkiLahtonen: yes this is the proof I had in mind. An element of order 2 acts via right multiplication as an odd product of transpositions (here the regular representation is the one given by Cayley's theorem, no character theory needed). Thus the regular representation contains an odd permutation, so the preimage of the alternating subgroup is of index 2. This same argument generalizes via induction to show groups with cyclic Sylow 2-subgroups have normal subgroups consisting of all odd-order elements. – Hempelicious Mar 19 at 5:38