## Normal Subgroups and Group Quotients

[ This corresponds to approximately chapter V of the old blog. ]

We’ve already seen that if *H* ≤ *G* is a subgroup, then *G* is a disjoint union of (left) cosets of *H* in *G*. We’d like to use the set of these cosets to form a group. Naturally, we define:

*xH* * *yH* := (*xy*)*H*.

The only problem which occurs is whether this is *well-defined* (note: this will be a recurring theme in algebra). Explicitly, if *xH* = *x’H* and *yH* = *y’H*, then is it true that (*xy*)*H* = (*x’y’*)*H*? We won’t repeat the argument here, but the end result is that the definition makes sense if and only if *H* is normal in *G*:

Definition. A subgroup H of G is said to be anormalsubgroup (written ) if for any and , we have .If , then the set of cosets G/N can be made into a group via (gN)*(g’N) := (gg’)N.

Equivalently, we can say for any *g* in *G*. In fact, this implies for any *g* in *G*. [ To see the reverse inclusion, replace *g* by its inverse to obtain . ] So in fact, saying *H* is a normal subgroup is equivalent to saying the left cosets *gH* are identical to the right cosets *Hg*.

Be careful: for general subgroup *H* of *G*, it’s possible to find an element *g* such that strictly. E.g. consider and the subgroup . The element then gives which is properly contained in *H*. *If you think this contradicts the previous paragraph, mull over it a bit more.*

## Examples

Let’s consider the examples in the previous posts. In the abelian case, all subgroups are normal since . But let’s see what their quotient groups look like.

- For
*m***Z**<**Z**, where*m*>0, the quotient is precisely**Z**/*m*. In fact, this is precisely the definition of**Z**/*m*. - For
**Q**^{>0}<**Q***, it’s quite easy to prove that . So the quotient is (isomorphic to)**Z**/2. For**Q***^{2}<**Q**^{>0}, the resulting quotient is a product of infinitely many copies of**Z**/2: one for each prime*p*. - The quotient of a cyclic group is still cyclic, so for
*k*·(**Z**/*m*) <**Z**/*m*(where*k*|*m*) the resulting quotient is**Z**/*k*.

- For (
**Z**/21)*^{2}< (**Z**/21)*, the resulting group quotient has order 4. Since the square of every element lies in the subgroup, every element of the quotient has order 2. By the previous post, we see that the group is**Z**/2 ×**Z**/2.

For the non-abelian cases:

- The image of
*S*in_{m}*S*is not normal if 1 <_{n}*m*<*n*. This is because although (1,2) lies in the subgroup, does not. - The subgroup
*V*<*S*_{4}, where*V*= {*e*, (1,2)(3,4), (1,3)(2,4), (1,4)(2,3)}, is a normal subgroup. To see why, our first post on permutations mentioned that if*g*and*h*are permutations, then has the same cycle structure as*h*. But*V*already contains all permutations with cycle structure 2+2. The quotient has order 6. Check that it’s isomorphic to*S*_{3}. [ Worst come to worst, just draw the 6 × 6 multiplication table. ] - For SL
_{n}(**R**) < GL_{n}(**R**), the subgroup is normal since if det(*h*)=1, then .

## Properties of Normal Subgroups

Some basic properties include:

- The intersection of normal subgroups of G is also normal.
- If N is a normal subgroup of G, and H is an arbitrary subgroup of G, then N ∩ H is normal in H.
- Normality is not transitive, i.e. we can find H normal in G, N normal in H, but N is not normal in G.

The proofs of (1) & (2) are easy and left as exercises. For (3), pick . But clearly {*e*, (1,2)} is not normal in *S*_{4}. Property (1) has an interesting implication: if *S* is some subset of *G*, we let *N*(*S*) be the intersection of all normal subgroups of *G* containing *S*. As before, *N*(*S*) is called the **normal subgroup of G generated by S **and is the “smallest” normal subgroup of

*G*containing

*S*. This will come in handy later.

## Symbolic Visualisation

I find the following visualisation helpful. For normal subgroup , since *gNg*^{-1} = *N*, we have *gN* = *Ng* and thus:

where for any subsets *S*, *T* of *G*, we define . The inclusion is equivalent to saying *N* is closed under group product *. Actually we even have *NN* = *N*, but we don’t need that to show that * is well-defined on the set of cosets.

The above symbolic visualisation will be helpful in the following.

Proposition. Let H, K ≤ G be subgroups. In general, HK is not a subgroup of G. However:

- if H (or K) is normal in G, then HK is a subgroup;
- if H and K are both normal in G, then HK is normal in G.

**Sketch of Proof**.

To show that *HK* is not a subgroup in general, let *H* = {*e*, (1,2)} and *K* = {*e*, (2,3)} in *S*_{3}. Now, for (1), if *H* is normal in *G*, then for any elements *k*, *k’* of *K*, we have:

.

For inverse, .

To prove (2), if *H* and *K* are both normal, then for any element *g* of *G*, we have:

which completes the proof rather neatly and you can easily recall it any time. ♦

## Group Products

Consider normal subgroups as above. If we assume they intersect trivially () then elements of *H* must commute with elements of *K* since:

must lie in both *H* and *K* and so must be the identity. Furthermore, the multiplication map *f* : *H* × *K* → *HK* is an isomorphism. Why? Because

*f*maps (*h*,*k*) * (*h’*,*k’*) = (*hh’*,*kk’*) to*hh’kk’ = hkh’k’*, which is the product of*f*(*h*,*k*) and*f*(*h’*,*k’*). [ A more proper notation would be*f*((*h*,*k*)) but you know what we mean here. ]- The map is surjective by definition of
*HK*. - The map is injective since . So it must be the identity and
*h*=*h’*,*k*=*k’*.

Conclusion. If H, K are normal subgroups of G with trivial intersection, then HK is isomorphic to H × K via the multiplication map (h, k) → hk.Conversely, if you have a group product G = H × K, then clearly H × {e} and {e} × K are two normal subgroups of G which intersect trivially. Thus we have found a criterion for identifying group products: given G, can we express it as a product of two groups?

Now let’s loosen the condition a little and still say , but now *H* is normal in *G* though *K* may not be. What happens to the multiplication map *f* : *H* × *K* → *HK*? It’s still surjective by definition. Injectivity follows since *H* and *K* intersect trivially. The only problem is that *f* may not respect the group product on both sides since elements of *H* don’t commute with elements of *K* now (the earlier reasoning falls apart).

So we have a bijective map between two groups which doesn’t respect the algebra. But all is not lost, for it turns out we’ll get what’s called the *semi-direct product*. This will be covered in a later post.