Lecture 20: Semidirect Products
Previously we introduced the direct product group and we observed if some certain conditions are met, then we get a direct product that is isomorphic to the group \(G\) itself. As a reminder
- \(A\) and \(N\) are normal subgroups of \(G\).
- \(A \cap N = \{e\}\)
- \(AN = G\)
But now the question is what happens if not all of these conditions are satisfied. Suppose that \(N\) was the only normal subgroup. In this case, \(G\) is called a semi-direct product of \(N\) and \(A\).
Example
Let \(G = D_n\) where \(n \geq 3\) and \(|G| = 2n\). Let
We know that
- \(N \cap A = \{e\}\)
- \(NA = G\)
- \(\langle r \rangle\) is a normal subgroup since conjugating \(r^k\) by any flip, the result is still a rotation.
So the only thing missing to be able to apply the recognition theorem is that \(A\) is not normal. Despite this, we will show that we can still construct \(G = D_n\) from the subgroups \(N\), \(A\) and third piece of information which is a homomorphism \(\gamma\). In other words, \(G \cong N \rtimes_{\gamma} A\). This product \(N \rtimes_{\gamma} A\) is called the semi-direct product.
What is this homomorphism \(\gamma\)?
\(\gamma\) will be a homomorphism from \(A\) to the group of automorphisms of \(N\). \(A\) contains two elements, \(A = \{e, j\}\). We will send each element to an automorphism from the set \(\text{Aut}(N) = \text{Aut}(\langle r \rangle)\). Specifically
So the idea here is that we will be able to reconstruct the Dihedral group from this information.
Construction of Semi-direct Products
We haven’t said anything yet about how to actually construct \(G\) from the groups \(A\), \(N\) and \(\gamma\). The following will demonstrate this. (Important to note here that unlike the previous example, we don’t need \(A\) and \(N\) to be subgroups of \(G\). They are just groups!!!).
We will first demonstrate what happens when \(\gamma\) and \(\gamma_a\) are homomorphisms.
- \(\gamma_a(n_1n_2) = \gamma_a(n_1) \cdot \gamma_a(n_2)\) for \(a \in A, n_1, n_2 \in N\).
- \(\gamma_{a_1a_2}(n) = \gamma_{a_1}(\gamma_{a_2}(n))\) for \(a_1, a_2 \in A, n \in N\).
- \(\gamma_{e} = id, \gamma_{a^{-1}} = (\gamma_a)^{-1}\).
So now we will use these facts to state the semi-direct product definition.
Note also that \(N \cong N' \leq G\) so \(N\) is isomorphic to some subgroup of \(G\). \(A\) is also isomorphic to some subgroup to \(A' \leq G\).
Also note that if this was a direct product, then the operation is \((n_1,a_1) \cdot (n_2,a_2) = (n_1n_2, a_1a_2)\) but here we have this application of \(\gamma_{a_1}\) on \(n_2\).
Proof
We will show that \(G\) is a group by verifying the group properties.
- \(G\) is associative. The left hand side is
$$ \begin{align*} ((n_1,a_1) \cdot (n_2,a_2)) \cdot (n_3,a_3) &= (n_1 \gamma_{a_1}(n_2),a_1a_2) \cdot (n_3,a_3) \\ &= (n_1 \gamma_{a_1}(n_2) \gamma_{a_1a_2}(n_3),a_1a_2a_3). \end{align*} $$while the right hand side is$$ \begin{align*} (n_1,a_1) \cdot ((n_2,a_2) \cdot (n_3,a_3)) &= (n_1,a_1) (n_1 \gamma_{a_2}(n_3),a_2a_3) \\ &= (n_1, \gamma_{a_1}(n_2 \gamma_{a_2}(n_3)), a_1a_2a_3). \end{align*} $$Recall the identities from the construction. Specifically, we saw that \(\gamma_a(n_1n_2) = \gamma_a(n_1) \cdot \gamma_a(n_2)\) and \(\gamma_{a_1a_2}(n) = \gamma_{a_1}(\gamma_{a_2}(n))\). Using this we see that term from the right hand side will equal to$$ \begin{align*} \gamma_{a_1}(n_2 \gamma_{a_2}(n_3)) &= \gamma_{a_1}(n_2) \gamma_{a_1}(\gamma_{a_2}(n_3)) \\ &= \gamma_{a_1}(n_2) \gamma_{a_1a_2}(n_3) \end{align*} $$which is the same as the term in the left hand side.
- The identity element is \((e_N, e_A)\) (Exercise).
- The inverse is \((n,a)^{-1} = (\gamma_{a^{-1}}(n^{-1}), a^{-1})\).
Example 1
Let’s start with the trivial example. Let \(N\) and \(A\) be any groups. Define the trivial homomorphism as
This is a constant function that’s always a homomorphism no matter what the source and targets are. Basically send any element to the identity function. Then
To see this, apply the operation and you’ll see that \((a_1, a_2)(n_1, n_2) = (n_1 id(n_2), a_1a_2) = (n_1n_2, a_1a_2)\).
Example 2
Let \(N = (\mathbf{Z}_n, +)\) where \(n \geq 3\) and let \(A = \mathbf{Z}_2 = \{[0]_2, [1]_2\}\).
Define \(\gamma\) be
We’ve seen before that \(\text{Aut}(\mathbf{Z}_n)\) is the modular units (mod n) group. How can we construct a homomorphism? We know that \(\mathbf{Z} = \{[0]_2, [1]_2\}\). We know we have to send \([0]_2\) to the identity element \([1]_n\). For \([1]_2\), we need to send it to an element of \(\Phi(n)\) of order 2. As an example, observe that \([-1]_n\) is of order 2 because \((-1)^2 = 1\). So
So we can now form a semi-direct product. Let \(G = N \rtimes_{\gamma} A\). This is a group of order \(2n\). In fact, it’s isomorphic to the dihedral group \(D_n\). To see this, observe that we can replace \(N\) with \(N = \langle r \rangle\) and replace \(A\) with \(A = \langle j \rangle\).
We can set \(\gamma\) like we did before. So
Remark: If you have other elements of order 2 in \(\text{Aut}(\mathbf{Z}_n) \cong \Phi(n)\), then you can form “semi-dihedral groups”. For example, take \(N = \mathbf{Z}_8\), then Aut\((N) = \Phi(8) = \{1,3,5,7\}\). All the elements in this group is of order 2 except for 1. Therefore we can define
So now we’ll get a different semi-direct product. We’ll get \(G' = N \rtimes_{\gamma'} A\). \(|G'| = 16\). It is not isomorphic to \(D_8\). Also \(o(r) = 8\) and \(o(j) = 2\). But we have this new formula \(jr = r^3j\). (Instead of \(jr = jr^{-1})\).
Recognition Theorem for Semi-direct Product
So now we can state the Recognition Theorem but for Semi-direct Product.
- \(N\) is a normal subgroups of \(G\).
- \(A \cap N = \{e\}\)
- \(NA = G\)
Proof
The idea of the proof is as follows. We are given that \(NA = G\). So we can write every element in \(G\) is a product of an element from \(N\) and an element from \(A\). Because we also have \(N \cap A = \{e\}\), then there is a unique way to write all of these products (proof?). So every \(g \in G\) can be written uniquely as a product \(g = na\) where \(n \in N\) and \(a \in A\). Now, take two different elements \(g_1 = n_1a_1\) and \(g_2 = n_2a_2\) where \(a_1,a_2 \in A\) and \(n_1n_2 \in N\). Multiply them
But we also know that \(g_1g_2 \in G\) so it can also be written uniquely as a product \(g_1g_2 = na\) where \(n \in N\) and \(a \in A\). So we want to solve the equation \((n_1a_1)(n_2a_2) = na\) to get an expression that looks like \(na\). The trick is as follows
\(n_1 \in N\), \(a_1n_2a_1^{-1} \in N\). \(a_1a_2 \in A\). So we can write \(n = n_1a_1n_2a_1^{-1}\) and \(a = a_1a_2\). But \(a_1n_2a_1^{-1}\) is just \(\gamma_{a_1}(n_2)\). This is exactly the product. we defined.
Infinite Dihedral Group
So we’re to construct a group by a semi direct group. Set
Define the homomorphism
There are two automorphisms of \(N\). The identity function. The other automorphism is the inverse function (\(inv(r^k) = r^{-k}\)). Intuitively, \(r\) has to go to another generator that can generate the group. So it can go to itself or its inverse. So now the infinite is defined to be the semi direct product of \(N\) and \(A\) so
Note here that \(N\) is a subgroup of \(D_{\infty}\). Send \(r^k \in N\) to
And \(A\) is a subgroup of \(D_{\infty}\) so send \(j^l\) to
In fact \(D_{\infty} = \langle r, j \rangle\) with \(o(r) = \infty\) and \(o(j) = 2\). Also see that \(jrj^{-1} = r^{-1} \leftrightarrow jr = r^{-1}j\)
Note here that this is NOT the same as the symmetries of the disk group. The symmetries of the disk is an uncountable group. Here we have integer powers of \(r\) while the symmetries of the disk can have any power, can rotate the disk by angle.
References
- MATH417 by Charles Rezk
- Algebra: Abstract and Concrete by Frederick M. Goodman