Jordan-Holder theorem

From Groupprops
Revision as of 19:10, 15 November 2008 by Vipul (talk | contribs) (New page: {{semibasic fact}} ==Statement== Suppose <math>G</math> is a fact about::group of finite composition length. In other words, <math>G</math> has a fact about::composition series o...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article describes a fact or result that is not basic but it still well-established and standard. The fact may involve terms that are themselves non-basic
View other semi-basic facts in group theory
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this

Statement

Suppose G is a Group of finite composition length (?). In other words, G has a Composition series (?) of finite length l:

\{ e \} = N_0 < N_1 < N_2 < \dots < N_l = G

where each N_{i-1} is a proper normal subgroup of N_i and N_i/N_{i-1} is a simple group. Then, the following are true:

  1. Any composition series for G has length l.
  2. The list of composition factors is the same for any two composition series. In other words, if N_i form one composition series and M_i form another, then for any simple group S, the number of i for which S is isomorphic to N_i/N_{i-1} equals the number of i for which S is isomorphic to M_i/M_{i-1}.

Related facts

Some other related facts: