Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

## #1 2009-04-25 07:16:54

JaneFairfax
Legendary Member

Offline

### The Jordan–Hölder theorem

I am now reading about this in Chapter 15 of A Course in Group Theory by John E. Humphreys.

I gather the author wants to prove it in three stages. The first stage is to establish something called the Zassenhaus lemma. The proof is not all that difficult to follow, but involves a lot of tricky details – I was stuck on a particularly tricky bit for ages before I finally realized what was going on. The second stage is Shreier’s refinement theorem – whose proof using the Zassenhaus lemma is a total piece of cake. And the third stage, I suppose, will be to prove the Jordan–Hölder theorem using Shreier’s theorem.

Last edited by JaneFairfax (2009-04-25 07:17:43)

Q: Who wrote the novels Mrs Dalloway and To the Lighthouse?

A: Click here for answer.

## #2 2009-04-27 02:38:53

JaneFairfax
Legendary Member

Offline

### Re: The Jordan–Hölder theorem

The Zassenhaus lemma is merely a result about normal subgroups.

The way to prove this is to prove that
and that the LHS is isomorphic to
; it will follow by symmetry that the RHS is also isomorphic to this group and hence to the LHS.

According to Wikipedia, this result is also called the butterfly lemma. There is a lovely picture of a butterfly on the Wikipedia article as well.

Q: Who wrote the novels Mrs Dalloway and To the Lighthouse?

A: Click here for answer.

## Board footer

Powered by FluxBB