# Proving Jordan-Holder theorem

1. Apr 14, 2012

### Chaos2009

1. The problem statement, all variables and given/known data

Suppose that $N \triangleleft G$. Show that given normal series $S$ for $N$ and $T$ for $G / N$ one can construct a normal series $U$ for $G$ such that the first part of $U$ is isomorphic to $S$ and the rest is isomorphic to $T$.

2. Relevant equations

This is from the last couple of weeks of an undergraduate Abstract Algebra course. The teacher assigned it as homework while discussing a proof of the Jordan-Holder theorem.

3. The attempt at a solution

I'd like to simply construct $U$ from $S$ and $T$. Using $S$ would be straightforward as this is already a normal series from $\left\{ e \right\}$ to $N$. However, I'd hoped to use correspondence theorem to map the normal series $T$ to a normal series from $N$ to $G$. I believe, however that there is a problem with the part where it says this part of the series should be isomorphic to $T$.

2. Apr 14, 2012

### morphism

What does it mean to say that two normal series are isomorphic?

3. Apr 14, 2012

### Chaos2009

I guess that was the part I was confused about as well. My roommate now informs me that we defined two normal series to be isomorphic as follows:

Series $S$ and $T$ are isomorphic if there exists a bijection from the factors of $S$ to the factors of $T$ such that the corresponding factors are isomorphic.

So, that makes a bit more sense to me now.

4. Apr 14, 2012

### morphism

Typically that's referred to as "equivalence", but anyway, your idea does work, i.e. it will produce an equivalent normal series.

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook