### Quick description

When dealing with a group theory problem involving a normal subgroup H of a group G, pretend first that H is trivial, and solve this simpler problem. To then handle the general case, quotient everything by H and apply what you have just done. In many cases, this solves the problem "modulo H"; to finish the job, one has to figure out how to deal with some residual objects lying in H.

### Prerequisites

Basic group theory

### Example 1

**Proof.** Normality is easy: every inner automorphism of G preserves H and K, so will certainly preserve HK. The issue is to verify solvability.

When H is trivial, there is nothing to prove; HK is just K, and so the solvability of K implies the solvability of HK. To take advantage of this, let's quotient out by H (thus "forcing" H to become trivial). Write for the quotient homomorphism. Observe that HK and K have the same image under this map: . From this we soon conclude that the commutator groups [HK,HK] and [K,K] have the same image: . We iterate this and see that the derived series of HK and K have exactly the same projection under . As K is solvable, this means that some member of the derived series of HK has trivial projection under , i.e. it lies in H. To finish off the job, we now work entirely inside H. Since H is solvable, every subgroup of H is also solvable; so if one continues the derived series of HK further, it will eventually terminate after finitely many steps, as required.

### Example 2

**Proof** This one is a bit trickier. Our task is to keep proceeding along the lower central series and show that it is eventually trivial.

The exact same argument as before shows that some element of this is contained in H. However, the nilpotency of H doesn't then kill the problem off immediately, because we still have to take commutators of with elements of HK, which can include elements outside of H - in particular, we have to understand what happens if we take commutators between elements of and elements of .

The trick now is to introduce a new normal subgroup, namely the intersection of H and K. (Again, this subgroup is preserved by all inner automorphisms and is hence normal.) Let's pretend first that this subgroup was trivial. Observe that the commutator of two elements lie in both H and K (by normality) and is thus trivial. In other words, every element of H commutes with every element of K. In particular, every element of commutes with every element of K; also, HK is now equivalent to the direct product . So when taking commutators between an element of and an element hk of HK, the K component k of hk has no impact on the commutator, and we are now just taking commutators between elements of and elements of H. At this point the nilpotency of H kicks in and makes the lower central series trivial after finitely many steps.

OK, this handles the case when is trivial. What if it is not trivial? Well, we quotient it out, and argue as in the previous theorem. At the end of the day, what happens is that we obtain some subsequent element of the lower central series that lies in .

Now what? Well, we still have the problem that we can't work completely inside H yet; we have to take commutators of elements in with elements in HK, and in particular with elements of K. Now, there's no reason why an element of K has to commute with an element of . But suppose that was trivial; then K would commute with everybody in , and we could use the nilpotency of H as before to conclude the argument.

What if is not trivial? Well, it is a normal subgroup of G, so we can quotient it out and apply the previous argument. The upshot is that we get another element of the lower central series which is now contained in . If was trivial, then this group is centralized by K and we can argue as before; so, by moving even further down the lower central series, we eventually land inside , then , etc. Since K is itself nilpotent, we eventually obtain triviality.

### Example 3

**Proof** It's quite natural to use induction here, so let's induct on k := i+j, assuming the claim is proven for smaller values of i+j. Fixing this k, we see that the claim is obvious for i=1, so we can perform a second induction, assuming that i>1 and the claim is already proven for i-1 (and fixed k), thus .

It suffices to verify the claim when is trivial, since otherwise we can quotient out by (which is normal, being preserved by all inner (or outer!) automorphisms) and reduce to this case. By the second induction hypothesis, this means that commutes with . Our task is to show that every element of commutes with .

By construction, is generated by commutators , where and . So it will suffice to show that all the commutators commute with an element of . Equivalently, we want to show that the inner automorphism of conjugation by leaves invariant.

By the first induction hypothesis, , thus moves by an element in . But since is trivial, is central and so eventually has no impact on . Also, moves by an element in , which by hypothesis commutes with . Putting all this together we see that leaves invariant, as required.

### General discussion

In fancier language, all one is doing here is exploiting a short exact sequence to factor a group theory problem into two smaller pieces.

See also "As a first approximation, neglect lower order terms".

4 years 31 weeksago4 years 40 weeksago4 years 41 weeksago5 years 18 weeksago5 years 39 weeksago