Results 1 to 5 of 5

Thread: finite group

  1. #1
    mms
    mms is offline
    Junior Member
    Joined
    Jul 2009
    Posts
    67

    finite group

    Let G be a finite group, and let S and T be 2 subsets of G such that G does not equal ST. Show that $\displaystyle
    \left| G \right| \geqslant \left| S \right| + \left| T \right|

    $
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    10
    Quote Originally Posted by mms View Post
    Let G be a finite group, and let S and T be 2 subsets of G such that G does not equal ST. Show that $\displaystyle
    \left| G \right| \geqslant \left| S \right| + \left| T \right|

    $
    Take an element $\displaystyle g\notin ST$ and consider the set $\displaystyle S\cup gT^{-1}$.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    mms
    mms is offline
    Junior Member
    Joined
    Jul 2009
    Posts
    67
    Could you help me a little bit more? i still can't do this problem >.<

    thanks!
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    10
    There are |S| elements in S. There are |T| elements in $\displaystyle T^{-1}$, and also in its coset $\displaystyle gT^{-1}$. Also, the sets S and $\displaystyle gT^{-1}$ are disjoint: for suppose that an element $\displaystyle s\in S$ is also in $\displaystyle gT^{-1}$. Then $\displaystyle s = gt^{-1}$ for some $\displaystyle t\in T$. But that implies that $\displaystyle st=g$, which contradicts the choice of g. Therefore there are |S|+|T| distinct elements in the set $\displaystyle S\cup gT^{-1}$, and so $\displaystyle |G|\geqslant |S|+|T|$.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    mms
    mms is offline
    Junior Member
    Joined
    Jul 2009
    Posts
    67
    ahh i see, thank you!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] G is a finite group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Sep 9th 2011, 07:52 PM
  2. Finite p-group
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: Jun 23rd 2011, 12:40 AM
  3. Replies: 7
    Last Post: Feb 19th 2011, 03:29 PM
  4. Finite Group,
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 5th 2010, 05:40 PM
  5. Help with finite p-group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Dec 12th 2008, 06:42 AM

Search Tags


/mathhelpforum @mathhelpforum