Results 1 to 5 of 5

Math Help - Factor group order

  1. #1
    Senior Member sfspitfire23's Avatar
    Joined
    Oct 2009
    Posts
    273

    Factor group order

    If K\lhd G and |g|=n, g\in G, show that the order of Kg in G/K divides n.


    So I know that G=\{1,g,\cdots g^n\} and will K=\{1,g, \cdots g^{n-1}\} ? From Lagrange's theorem K|G?



    Thanks guys
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by sfspitfire23 View Post
    If K\lhd G and |g|=n, g\in G, show that the order of Kg in G/K divides n.


    So I know that G=\{1,g,\cdots g^n\} and will K=\{1,g, \cdots g^{n-1}\} ? From Lagrange's theorem K|G?



    Thanks guys
    Two easy lemmas for you to remember/prove:

    1) In a finite group the order of any element divides the order of the group;

    2) If f: G\rightarrow H is a group homomorphism, then for any g\in G\,,\,\,ord(f(g))\mid ord(g) , and if ord(g)=\infty \,\,then\,\, ord(f(g))=\infty \,\,or\,\,else\,\,f(g)=1

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member alunw's Avatar
    Joined
    May 2009
    Posts
    188
    I'm confused about your claim in the second part of your second lemma.
    Let G be the group of integers under addition and H the integers modulo n under addition. That is surely a homomorphism that is sending torsion free elements to elements with finite order that are not the identity. Am I misunderstanding your notation?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by alunw View Post
    I'm confused about your claim in the second part of your second lemma.
    Let G be the group of integers under addition and H the integers modulo n under addition. That is surely a homomorphism that is sending torsion free elements to elements with finite order that are not the identity. Am I misunderstanding your notation?

    Nop, you're right and I got confused. It should be that if ord(g)=\infty then all the options are open.
    Anyway, and for your problem, only the finite case matters.

    Tonio
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member sfspitfire23's Avatar
    Joined
    Oct 2009
    Posts
    273
    What I have-

    For any element g in G Kg=\{kg|k\in K\} defines the right coset of K. Each k in K will have a different product when multiplied by any g. Thus, each element of K will create a corresponding unique element of Kg. So, Kg will have the same number of elements as K (same order as K). Now, the order of K will be k^m=1, |k|=m and the order of G is g^m=1. They each produce the identity element and thus divide each other.....?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. order of factor group
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: November 3rd 2009, 11:01 AM
  2. Order of Hx in Factor Group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: November 29th 2007, 09:34 PM
  3. Order of the factor group G/N
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 29th 2007, 08:35 PM
  4. order of factor group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 3rd 2007, 11:53 AM
  5. Order of a factor group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 2nd 2007, 07:12 PM

Search Tags


/mathhelpforum @mathhelpforum