Semidirect Products

Section 7.2 Semidirect Products

Subsection External Semidirect Products

🔗
“Don’t give up and always keep on believing in your product.”
―Niels van Deuren

We now discuss an important generalization for the direct product and a new method of constructing a new groups from the action of one group on another.

🔗

Suppose

G

is a group with subgroups

H ⊴ G

and

K \leq G

such that

H \cap K = {e} .

Then we still have

H K \leq G;

let’s see what we would need the multiplication on the cartesian product

H \times K

to be in order for

θ : H \times K \to H K

defined by

θ (h, k) = h k

to still be a group homomorphism:

θ (h_{1}, k_{1}) θ (h_{2}, k_{2}) = h_{1} k_{1} h_{2} k_{2} = h_{1} h_{2}^{'} k_{1} k_{2} = θ (h_{1} h_{2}^{'}, k_{1} k_{2}),

🔗

where

h_{2}^{'} \in H

is such that

k_{1} h_{2} k_{1}^{- 1} = h_{2}^{'} .

🔗

This means that we would need to have

(h_{1}, k_{1}) (h_{2}, k_{2}) = (h_{1} h_{2}^{'}, k_{1} k_{2})

for

θ

to be a homomorphism. This motivates the following definition.

🔗

Definition 7.11. External Semidirect Products.

🔗

Let

H

and

K

be groups and let

ρ : K \to Aut (H)

be a homomorphism. The (external) semidirect product induced by

ρ

is the set

H \times K

with the binary operation defined by

(h, k) (h^{'}, k^{'}) = (h ρ (k) (h^{'}), k k^{'}) .

🔗

This group is denoted by

H ⋊_{ρ} K .

Discussion 7.1.

Decide amongst yourselves whether it should be spelled "semidirect", "semi-direct", "semi direct".

🔗

Before we prove that the construction above actually gives a group, let’s compute a few examples.

🔗

Example 7.12. Semidirect, Sans the Semi.

🔗

Given

H

and

K

we could always take

ρ

to be the trivial homomorphism, so that

ρ (y) (x) = x

for all

y \in K

and

x \in H .

Then

K ⋊_{ρ} H

is just the usual direct product:

(y_{1}, x_{1}) (y_{2}, x_{2}) = (y_{1} y_{2}, x_{1} x_{2}) .

🔗

Example 7.13. .

🔗

Fix a group

G,

a normal subgroup

H ⊴ G

and a subgroup

K \leq G .

Then the function

ρ : K \to Aut (H)

🔗

given by

ρ (x) (y) = x y x^{- 1}

for

x \in K, y \in H

is a homomorphism. Thus

K

acts on

H

via automorphisms.

🔗

Example 7.14. .

🔗

Let

K = ⟨ x ⟩

be cyclic of order

2

and

H = ⟨ y ⟩

be cyclic of order

n

for any

n \geq 1 .

There is an automorphism of

K

that sends

y

y^{- 1} .

This automorphism is its own inverse; i.e., it has order

2 .

Therefore, by Proposition 2.28, there is a group homomorphism

ρ : K \to Aut (H)

🔗

with

ρ (x) (y) = y^{- 1} .

We may thus form the group

G := H ⋊_{ρ} K .

🔗

The elements of

G

are

(y^{i}, x^{j})

for

0 \leq i \leq n - 1

and

0 \leq j \leq 1,

in particular

| G | = 2 n .

Set

\tilde{y} = (y, e) \in G and \tilde{x} = (e, x) \in G .

🔗

Then

{\tilde{y}}^{n} = (y, e_{K})^{n} = (y^{n}, e_{K}) = (e_{H}, e_{K}) = e_{G},

{\tilde{x}}^{2} = (e_{H}, x)^{2} = (e_{H}, x^{2}) = (e_{H}, e_{K}) = e_{G},

🔗

and

\tilde{x} \tilde{y} \tilde{x} \tilde{y} = (e_{H}, x) (y, e_{K}) (e_{H}, x) (y, e_{K}) = (ρ (x) (y), x) (ρ (x) (y), x) = (y^{- 1}, x) (y^{- 1}, x) = (y^{- 1} y, e) = e_{G} .

🔗

Looks familar!

🔗

Indeed, by the universal mapping property for

D_{2 n}

we have a homomorphism

θ : D_{2 n} \to G

🔗

such that

θ (r) = (y, e_{K})

and

θ (s) = (x, e_{H}) .

Moreover,

θ

is onto since

θ (r^{i} s^{j}) = (y^{i}, x^{j}) for all 0 \leq i \leq n - 1, 0 \leq j \leq 1

🔗

and since

| D_{2 n} | = | G | = 2 n

it follows that

θ

is a bijection. So the dihedral group is a semidirect product, in which the two component groups are cyclic of orders

n

and

2

respectively:

D_{2 n} ≅ ⟨ y ⟩ ⋊_{ρ} ⟨ x ⟩

🔗

and

ρ

is the inversion homomorphism as described above.

🔗

Theorem 7.15. Semidirect Products are Groups.

🔗

H

and

K

are groups and

ρ : K \to Aut (H)

is a homomorphism, then setting:

🔗

$H ⋊_{ρ} K$ is a group
$H ≅ H^{'} := {(h, e) ∣ h \in H} ⊴ H ⋊_{ρ} K$ and $K ≅ K^{'} := {(e, k) ∣ k \in K} \leq H ⋊_{ρ} K$
$(H ⋊_{ρ} K) / H^{'} ≅ K .$

Proof.

The proof is straightforward but a bit messy. For associativity, note that

$\begin{aligned} (y_{1}, x_{1}) ((y_{2}, x_{2}) (y_{3}, x_{3})) & = (y_{1}, x_{1}) (y_{2} ρ (x_{2}) (y_{3}), x_{2} x_{3}) \\ = (y_{1} ρ (x_{1}) (y_{2} ρ (x_{2}) (y_{3})), x_{1} x_{2} x_{3}) \\ = (y_{1} ρ (x_{1}) (y_{2}) (ρ (x_{1}) \circ ρ (x_{2})) (y_{3}), x_{1} x_{2} x_{3}) \\ = (y_{1} ρ (x_{1}) (y_{2}) ρ (x_{1} x_{2}) (y_{3}), x_{1} x_{2} x_{3}) \end{aligned}$

On the other hand

$\begin{aligned} ((y_{1}, x_{1}) (y_{2}, x_{2})) (y_{3}, x_{3}) & = (y_{1} ρ (x_{1}) (y_{2}), x_{1} x_{2}) (y_{3}, x_{3}) \\ = (y_{1} ρ (x_{1}) (y_{2}) ρ (x_{1} x_{2}) (y_{3}), x_{1} x_{2} x_{3}) . \end{aligned}$

This gives associativity.

The fact that $(e, e)$ is a two-sided identity follows from the fact that $ρ (e) (y) = {id}_{H} (y) = y .$

Finally

$\begin{aligned} (y, x) (ρ (x^{- 1}) (y^{- 1}), x^{- 1}) & = (y ρ (x) (ρ (x^{- 1}) (y^{- 1})), e) = (y (ρ (x) \circ ρ (x^{- 1})) (y^{- 1}), e) \\ = (y ρ (e) (y^{- 1}), e) = (y y^{- 1}, e) = (e, e), \end{aligned}$

and similarly

$(ρ (x^{- 1}) (y^{- 1}), x^{- 1}) (y, x) = (e, e) .$
Define a funtion

$i : H \to H ⋊_{ρ} K$

as $i (y) = (y, e) .$ Then $i$ is a homomorphism, since

$i (y_{1}) i (y_{2}) = (y_{1}, e) (y_{2}, e) = (y_{1} ρ (e) (y_{2}), e e) = (y_{1} y_{2}, e) = i (y_{1} y_{2}) .$

The map is clearly injective and hence its image is isomorphic to $H .$ In fact, the image is normal since the second component of

$(y, x) (y_{2}, e) (ρ (x^{- 1}) (y^{- 1}), x^{- 1})$

is clearly $e .$ Let us write this image as

$H^{'} := {(y, e) ∣ y \in H} ⊴ H ⋊_{ρ} K .$
The function

$j : K \to H ⋊_{ρ} K$

defined by $j (x) = (e, x)$ is also an injective homomorphism and thus its image

$K^{'} := {(e, x) ∣ x \in H} \leq H ⋊_{ρ} K$

is isomorphic to $K .$ $K^{'}$ is typically not normal, however. Finally, it is easy to see that $H^{'} K^{'} = H ⋊_{ρ} K$ and $H^{'} \cap K^{'} = {e} .$ Putting this all together we have
- $H^{'} ⊴ H ⋊_{ρ} K,$
- $K^{'} \leq H ⋊_{ρ} K,$
- $H^{'} K^{'} = H ⋊_{ρ} K,$ and
- $H^{'} \cap K^{'} = {e} .$
Consider the projection onto the second factor $π_{2} : H ⋊_{ρ} K \to K$ given by $π_{2} (y, x) = x .$ This is a goup homomorphism since the second component of $(y_{1}, x_{1}) (y_{2}, x_{2})$ is $x_{1} x_{2}$ and is surjective by definition. Now

$Ker (π_{2}) = {(y, e_{K}) ∣ y \in H} = H^{'} ≅ H .$

By the First Isomorphism Theorem for Groups we conclude that $(H ⋊_{ρ} K) / H^{'} ≅ K .$

🔗

Subsection Internal Semidirect Products

🔗
“I’ve often said there’s nothing better for the inside of a man than the outside of a horse.”
―Ronald Reagan

🔗

We can turn this around.

the semidirect product, not the Reagan quote.

🔗

Theorem 7.16. Recognition Theorem for Internal Semidirect Products.

🔗

For a group

G,

suppose we are given

H

and

K

so that

$H ⊴ G,$
$K \leq G,$
$H K = G,$ and
$H \cap K = {e} .$

🔗

Let

ρ : K \to Aut (H)

be the permutation representation of the action of

K

H

via automorphisms given by Conjugation in

G .

(This means that for any

k \in K

ρ (k) = c_{k},

where

c_{k} \in Aut (H)

is the function

c_{k} (h) = k h k^{- 1}

for all

h \in H .

) Then the function

θ : H ⋊_{ρ} K \to G

🔗

defined by

θ (y, x) = y x

is an isomorphism of groups. Moreover, under this isomorphism,

K

corresponds to

K^{'}

and

H

corresponds to

H^{'}

(referring to the notation in Theorem 7.15 above).

Proof.

We have

\begin{aligned} θ ((y_{1}, x_{1}) (y_{2}, x_{2})) & = θ (y_{1} c_{x_{1}} (y_{2}), x_{1} x_{2}) \\ = y_{1} x_{1} y_{2} x_{1}^{- 1} x_{1} x_{2} \\ = y_{1} x_{1} y_{2} x_{2} = θ (y_{1}, x_{1}) θ (y_{2}, x_{2}) \end{aligned}

and thus

θ

is a homomorphism. It’s kernel is

{(y, x) ∣ y = x^{- 1}, y \in H, x \in K},

which is just

{e}

since

H \cap K = {e} .

The image of

θ

is clearly

K H = G .

This proves

θ

is an isomorphism. It is obvious that

θ (K^{'}) = K

and

θ (H^{'}) = H .

🔗

Definition 7.17. Internal Semidirect Products.

🔗

In this situation of the Theorem 7.16, we will say that

G

is the internal semi-direct product of

H

and

K .

🔗

Example 7.18. .

🔗

Returning to

D_{2 n},

let

H = ⟨ s ⟩

and

K = ⟨ r ⟩ .

Then

H \leq G,

K ⊴ G,

H K = G

and

H \cap K = {e} .

So,

G

is isomorphic to a semi-direct product, as we already showed.

🔗

Example 7.19. .

🔗

Let

G = S_{n},

K = A_{n}

and

H = ⟨ (1 2) ⟩ .

Then

K ⊴ G,

H \leq G,

K H = G

and

K \cap H = {e} .

It follows that

S_{n} ≅ A_{n} ⋊_{ρ} C_{2}

🔗

where

C_{2} = ⟨ x ⟩

is cyclic of order

2

and the action

ρ : C_{2} \to Aut (A_{n})

sends

x

to conjugation by

(1 2) .

🔗

It is important to be aware that for a fixed pair of groups

H

and

K,

different actions of

H

K

via automorphisms can result in isomorphic semi-direct products. Indeed, determining when

K ⋊_{ρ} H ≅ K ⋊_{ρ^{'}} H

is in general a tricky business. The previous example shows this.

🔗

Example 7.20. .

🔗

Let

G = S_{n}

and

K = A_{n}

again, but this time take

H^{'} = ⟨ (1 3) ⟩ = (1 2 3) ⟨ (1 2) ⟩ (1 2 3)^{- 1}

(assuming

n \geq 3

). Then we get

S_{n} ≅ A_{n} ⋊_{ρ^{'}} C_{2}

🔗

where

C_{2} = ⟨ x ⟩

is cyclic of order

2

and the action

ρ^{'} : C_{2} \to Aut (A_{n})

sends

x

to conjugation by

(1 3) .

🔗

The actions

ρ

and

ρ^{'}

are not identical. For example, assuming

n \geq 4

we have

ρ (x) (1 2) (1 2) (3 4) = (1 2) (3 4) maps 1 \mapsto 2

🔗

and

ρ^{'} (x) (1 2) (3 4) = (1 3) (1 2) (3 4) (1 3) maps 1 \mapsto 4.

🔗

Yet

A_{n} ⋊_{ρ} H ≅ A_{n} ⋊_{ρ^{'}} H^{'}

🔗

since each is isomorphic to

S_{n} .

🔗

On HW 8 you will give a more conceptual reason for why these two semidirect products turned out to be isomorphic: it is because

H

and

H^{'}

are conjugate in

S_{n} .

More generally, below is a criterion for a two semidirect products to be isomorphic.

🔗

Theorem 7.21. Isomorphisms of Semidirect Products.

🔗

Let

K

be a finite cyclic group and let

H

be an arbitrary group. Suppose that the images of

ϕ : K \to Aut (H)

and

θ : K \to Aut (H)

are conjugate subgroups of

Aut (H) .

Then

H ⋊_{ϕ} K ≅ H ⋊_{θ} K .

🔗

Subsection Groups of Order $p q$

🔗
“I did not know I was in my prime until afterwards.”
―Mason Cooley

🔗

Theorem 7.22. Groups of Order $6$ .

🔗

Any group of order

6

is isomorphic either to

C_{6}

or to

D_{6} .

Proof.

Let

G

be a group of order

6 .

Cayley’s Theorem gives that there exist elements

x, y \in G

with

| x | = 2

and

| y | = 3 .

Let

K = ⟨ x ⟩

and

H = ⟨ y ⟩ .

Since

[G : H] = 2,

H

is a normal subgroup of

G

and since

H \cap K

is a common subgroup of

H

and

K

Lagrange’s Theorem gives that

| H \cap K | ∣ \gcd (| H |, | K |) = 1 .

Thus

H \cap K = {e}

and since

| H K | = \frac{| H | | K |}{| H \cap K |} = 6 = | G |

we deduce that

H K = G .

Theorem 7.16 now gives that

G

is the internal semidirect product of

H

and

K .

More to the point,

G ≅ H ⋊_{ρ} K,

where

ρ : K \to Aut (H)

gives the action of

K

H

by Conjugation.

We now analyze the possibilities for

ρ .

By Proposition 2.23,

Aut (H) ≅ Aut (Z / 3) ≅ (Z / 3^{\times}, \cdot) = ({\pm 1}, \cdot) .

There are two possibilities for the image of

ρ :

either

Im (ρ) = {{id}_{H}}

Im (ρ) = Aut (H) .

Im (ρ) = {{id}_{H}},

then

ρ (x) = c_{x} = {id}_{H}

(which implies

x y = y x

) and

H ⋊_{ρ} K = H \times K .

Therefore, in this case

G ≅ H \times K ≅ C_{3} \times C_{2} ≅ C_{6},

where the last isomorphism uses the Sunzi’s Remainder Theorem.

Im (ρ) = Aut (H),

then

ρ (x)

is the map

y^{i} \mapsto y^{- 1}

and by an earlier example for this

ρ

we have

H ⋊_{ρ} K ≅ D_{6},

G ≅ D_{6} .

Finally,

C_{6} ≇ D_{6}

because the former is abelian and the latter is not.

🔗

Let’s repeat the previous example for classifying groups of order

p \cdot q

with

p, q

distinct primes into isomorphism classes.

🔗

Theorem 7.23. Classification for Groups of Order $p q$ .

🔗

Let

p < q

be primes.

🔗

If $p ∤ q - 1$ there is a unique group of order $p q$ up to isomorphism, namely $C_{p q} .$
If $p ∣ q - 1$ there are exactly two groups of order $p q$ up to isomorphism, namely $C_{p q}$ and a non-abelian group.

Proof.

Let

G

be a group of order

p q

and let

H, K

be Sylow subgroups of order

q

and

p

respectively. We see that

H

is a normal subgroup using Theorem 5.16, since

[G : H] = p

is the smallest prime that divides

| G | .

Furthermore, since

H \cap K

is a subgroup of both

H

and

K

we have by Lagrange’s Theorem that

| H \cap K | ∣ \gcd (q, p) = 1,

so that

H \cap K = {e_{G}} .

From here it follows that

| H K | = \frac{| H | | K |}{| H \cap K |} = \frac{q \cdot p}{1} = p q = | G |

and so

H K = G .

Theorem 7.16 now yields that

G ≅ H ⋊_{ρ} K ≅ C_{q} ⋊_{ρ} C_{p}

for some homomorphism

ρ : K \to Aut (H),

equivalently

ρ : C_{p} \to Aut (C_{q}) .

By Proposition 2.28 to give such a homomorphism

ρ

is equivalent to giving an element

z \in Aut (C_{q})

so that

z^{p} = id,

which will give

ρ (y^{j}) = z^{j}

for

C_{p} = ⟨ y ⟩ .

Thus

| z | ∣ p

yielding that either

| z | = 1

| z | = p .

Case 1: if

| z | = 1

then

ρ

is the trivial homomorphism and thus

G ≅ C_{q} \times C_{p} ≅ C_{p q} .

Case 2: if

| z | = p

then it must be the case by Lagrange that

p ∣ | Aut (C_{q}) .

By Corollary 2.24 we know that

Aut (C_{q}) ≅ C_{p - 1}

is a cyclic group. Therefore we have that

p ∣ (q - 1)

if and only if there exists an element

z \in Aut (C_{q})

of order

p

by Theorem 2.26 (2). Moreover any such element

z

generates a subgroup of

Aut (C_{q})

of order

p .

Since there is a unique subgroup of a cyclic group of a given order by Theorem 2.26 (2) we see that the image of

ρ

is independent of the choice of

z .

Thus by Theorem 7.21 we conclude that all subgroups resulting from any choice of

z

of order

p

are isomorphic.

Moreover, from the explicit presentation of semidirect products of cyclic groups given in a homework problem we see that the resulting group is non-abelian; in particular it is not isomorphic to

C_{p q} .

🔗

Summary

External Semidirect Products are defined using homomorphisms into automorphism groups.
²
See: Theorem 7.15
They are often used to construct non-abelian groups.
Internal Semidirect Products are similar to their direct counterparts, though only require that one of $H$ or $K$ be normal. They can be identified using the Recognition Theorem for Internal Semidirect Products.
Using semidirect products, we are able to provide a Classification for Groups of Order $p q$ .

Prev Top Next

Section 7.2 Semidirect Products

Subsection External Semidirect Products

Definition 7.11. External Semidirect Products.

Discussion 7.1.

Example 7.12. Semidirect, Sans the Semi.

Example 7.13. .

Example 7.14. .

Theorem 7.15. Semidirect Products are Groups.

Proof.

Subsection Internal Semidirect Products

Theorem 7.16. Recognition Theorem for Internal Semidirect Products.

Proof.

Definition 7.17. Internal Semidirect Products.

Example 7.18. .

Example 7.19. .

Example 7.20. .

Theorem 7.21. Isomorphisms of Semidirect Products.

Subsection Groups of Order pq

Theorem 7.22. Groups of Order 6.

Proof.

Theorem 7.23. Classification for Groups of Order pq.

Proof.

Summary

Subsection Groups of Order $p q$

Theorem 7.22. Groups of Order $6$ .

Theorem 7.23. Classification for Groups of Order $p q$ .