Results 1 to 2 of 2

Thread: composition series

  1. #1
    Member
    Joined
    Sep 2008
    Posts
    166

    composition series

    If $\displaystyle G$ is a finite group and $\displaystyle H$ is a normal subgroup of $\displaystyle G$. Prove that there is a composition series of $\displaystyle G$, one of whose terms is $\displaystyle H$.

    Recall that every finite group has a composition series.
    Definition: A composition series for $\displaystyle G$ is a series of subgroups of $\displaystyle G$: $\displaystyle {1}$ is a normal subgroup of $\displaystyle N_0$ is a normal subgroup of $\displaystyle N_1$ is a normal subgroup of $\displaystyle ...$ is a normal subgroup of $\displaystyle N_k = G$ such that $\displaystyle N_i$ is a normal subgroup of $\displaystyle N_{i+1}$ and $\displaystyle N_{i+1}/N_i$ is simple.

    Proof:
    $\displaystyle G$ is a finite group, so $\displaystyle G$ has a composition series. And $\displaystyle H$ is a normal subgroup of $\displaystyle G$, by the definition of a composition series, $\displaystyle H$ must be a term of the series.

    Does this complete the proof? If not, please help. Thank you.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by dori1123 View Post
    If $\displaystyle G$ is a finite group and $\displaystyle H$ is a normal subgroup of $\displaystyle G$. Prove that there is a composition series of $\displaystyle G$, one of whose terms is $\displaystyle H$.
    Begin by noticing $\displaystyle H\triangleleft G$. If $\displaystyle H$ is a maximal normal subgroup then we can find a composition series $\displaystyle H_0 \triangleleft H_1 ... \triangleleft H_n = H$. Which gives $\displaystyle H_0 \triangleleft H_1 ... \triangleleft H_n = H \triangleleft G$.

    If $\displaystyle H$ is not a maximal normal subgroup then there is $\displaystyle H_{(1)}$ so that $\displaystyle H \triangleleft H_{(1)} \triangleleft G$ so that $\displaystyle H_{(1)}\triangleleft G$ is a maximal normal subgroup. Then repeat the argument by finding intermediate normal subgroups between $\displaystyle H$ and $\displaystyle H_{(1)}$. Thus, we can form $\displaystyle H_0 \triangleleft H_1 \triangleleft ... \triangleleft H_n = H \triangleleft ... \triangleleft G$.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Function Composition.
    Posted in the Algebra Forum
    Replies: 2
    Last Post: Dec 8th 2011, 12:04 PM
  2. Composition
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: Mar 27th 2010, 05:12 PM
  3. Taylor series, Function composition
    Posted in the Calculus Forum
    Replies: 0
    Last Post: Mar 10th 2010, 02:38 PM
  4. Replies: 1
    Last Post: Nov 4th 2009, 09:52 AM
  5. composition
    Posted in the Pre-Calculus Forum
    Replies: 4
    Last Post: Aug 6th 2007, 05:38 PM

Search Tags


/mathhelpforum @mathhelpforum