Results 1 to 3 of 3

Thread: Finite simple groups.

  1. #1
    Member
    Joined
    Feb 2009
    Posts
    189

    Finite simple groups.

    Hi: Problem: Let U be a subgroup of G and 1 < |G:U| <5. Then |G| < 4 or G is not simple.

    If |G:U| = 2 I can use a problem (problem A) that says: Let p be the smallest prime divisor of |G|. Then every subgroup of index p is normal in G. That is because in this case, 2 is a divisor of |G| and it is the smallest prime. For case |G:U| = 3 if |G| is not even then, by problem A I am done. If |G| is even, however, problem A is of no use. The same for |G:U| = 4. Any hint?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member Sylvia104's Avatar
    Joined
    Mar 2012
    From
    London, UK
    Posts
    107
    Thanks
    37

    Re: Finite simple groups

    There is a result in group theory that says that if $\displaystyle n=|G:U|$ then there is a normal subgroup $\displaystyle N$ of $\displaystyle G$ contained in $\displaystyle U$ such that $\displaystyle n$ divides $\displaystyle |G:N|$ and $\displaystyle |G:N|$ divides $\displaystyle n!.$ (I don't know what this result is called but I've found it useful. ) Thus for $\displaystyle n=3,$ $\displaystyle |G:N|=3$ or $\displaystyle 6$ so $\displaystyle N\ne1;$ if $\displaystyle |G|>3,$ then $\displaystyle N\ne G$ either (since $\displaystyle N$ is contained in $\displaystyle U$ and $\displaystyle |G:U|=3),$ showing that $\displaystyle G$ is not simple.

    If $\displaystyle |G:U|=4,$ then $\displaystyle 4\mid|G:N|$ and $\displaystyle |G:N|\mid4!=24$ $\displaystyle \implies$ $\displaystyle G$ is not simple if $\displaystyle |G|>4.$

    If $\displaystyle |G:U|=2$ then $\displaystyle U$ itself is a normal subgroup of $\displaystyle G$ and so $\displaystyle G$ is not simple if $\displaystyle |G|>2.$
    Last edited by Sylvia104; Apr 20th 2012 at 04:25 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Feb 2009
    Posts
    189

    Re: Finite simple groups.

    Thank you very much Sylvia.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Quotient Groups - Infinite Groups, finite orders
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Aug 11th 2010, 07:07 AM
  2. more about finite groups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 27th 2009, 10:50 PM
  3. result about finite groups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 10th 2009, 06:28 PM
  4. Finite groups of even cardinality
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: Feb 26th 2006, 10:49 AM
  5. Decomposition into Finite Simple Groups
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: Nov 28th 2005, 10:17 PM

Search Tags


/mathhelpforum @mathhelpforum