Results 1 to 6 of 6

Math Help - order of the group

  1. #1
    Member
    Joined
    Oct 2008
    Posts
    83

    order of the group

    Let G be a group and x belongs to G,

    Define ord(x) = min{r >= 1 : x^r = 1}

    If f: G map to H is an injective group homomorphism. Show that, for
    each x in G, ord(f(x)) = ord(x).

    I think I come up with the approach is that , I need to show that
    ord(f(x)) divides r and hence the result is proved.

    Or: I can somehow show that ord(f(x)) = min{ r >= 1 : (f(x))^r = 1} which is by the definition.

    Can you tell me whether the above approaches are right or wrong, if they are wrong then show me how to solve this question please?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by knguyen2005 View Post
    Let G be a group and x belongs to G,

    Define ord(x) = min{r >= 1 : x^r = 1}

    If f: G map to H is an injective group homomorphism. Show that, for
    each x in G, ord(f(x)) = ord(x).

    I think I come up with the approach is that , I need to show that
    ord(f(x)) divides r and hence the result is proved.

    Or: I can somehow show that ord(f(x)) = min{ r >= 1 : (f(x))^r = 1} which is by the definition.

    Can you tell me whether the above approaches are right or wrong, if they are wrong then show me how to solve this question please?
    Let \phi: G\to H be an injective homomorphism.
    And let x\in G (assuming it has finite order) have order k.
    Thus, x^k = e but then \phi(x)^k = \phi(x^k) = e'.
    Say that there is j<k with \phi^(x)^j = e' but then \phi (x^j) = e' \implies x^j = e.
    But this is contradition because j<k and so k is order of \phi(x).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Oct 2008
    Posts
    83
    [Thus, x^k = e but then \phi(x)^k = \phi(x^k) = e'.
    Say that there is j<k with \phi^(x)^j = e' but then \phi (x^j) = e' \implies x^j = e.

    To ThePerfectHacker, thanks for your answer, but there are some points
    I am not sure I understand, how come you got: \phi(x)^k = \phi(x^k) = e'. And finally when you concluded that \phi (x^j) = e' \implies x^j = e. How can you imply this result?

    Thank you again for your precious time
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Lord of certain Rings
    Isomorphism's Avatar
    Joined
    Dec 2007
    From
    IISc, Bangalore
    Posts
    1,465
    Thanks
    6
    I am not sure I understand, how come you got: \phi(x)^k = \phi(x^k) = e'
    \phi(x^k) = \phi(x) ^k because \phi is a homomorphism. Since x^k = e and \phi is a group homomorphism, which means it maps identity to identity. Thus  \phi(x)^k = \phi(x^k) = e'

    . And finally when you concluded that \phi (x^j) = e' \implies x^j = e. How can you imply this result?
    He assumed that \phi is injective (or one-one). And \phi (x^j) = e' = \phi(e) , thus injectivity forces \phi (x^j) = \phi(e) \implies x^j = e.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member ursa's Avatar
    Joined
    Jan 2009
    From
    Delhi
    Posts
    60
    I am not sure I understand, how come you got:
    X Є G
    O(G)=n
    X^n =e
    f(X^n)=f(e)
    f(X.X.X.X.X.X)=e
    f(X). f(X) . f(X) . f(X) . f(X) . f(X)=e
    (f(X))^n=e
    (f(X))^n=f(X^n)=e
    O(f(X))=n
    O(H)=n
    O(H)=O(G)
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    Oct 2008
    Posts
    83
    Thanks very much you guys. Now I understand it now. It makes sense to me due to your clear explanation. Cheers
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Order of Group. Direct Product of Cyclic Group
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: November 19th 2011, 01:06 PM
  2. Order of a Group, Order of an Element
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 15th 2010, 06:28 PM
  3. Order of a Group, Order of an Element
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: November 15th 2010, 06:02 PM
  4. Prove that a group of order 375 has a subgroup of order 15
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 13th 2010, 11:08 PM
  5. Group of order pq must have subgroups of order p and q.
    Posted in the Advanced Algebra Forum
    Replies: 19
    Last Post: September 15th 2009, 12:04 PM

Search Tags


/mathhelpforum @mathhelpforum