1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Group theory

  1. Jan 20, 2008 #1
    [SOLVED] group theory

    1. The problem statement, all variables and given/known data
    Let [itex]\phi:G \to G'[/itex] be a group homomorphism. Show that if |G| is finite, then [itex]|\phi(G)|[/itex] is finite and is a divisor of |G|.

    2. Relevant equations

    3. The attempt at a solution
    Should the last word be |G'|? Then it would follow from Lagrange's Theorem.
  2. jcsd
  3. Jan 20, 2008 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Nope; it's right as stated. (And can also use Lagrange's theorem in its proof)
  4. Jan 20, 2008 #3


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Think first isomorphism theorem.
  5. Jan 20, 2008 #4
    I haven't gotten to the first isomorphism theorem yet, but I don't even need it:

    We know that [itex]\phi^{-1}(\phi(a)) = aH = Ha[/itex], where H = Ker(phi). So, the cardinality of phi(G) will be the index of H in G, which must divide |G| by Lagrange's Theorem.

    Is that right?
  6. Jan 20, 2008 #5
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Group theory
  1. Group Theory (Replies: 2)

  2. Group Theory (Replies: 1)

  3. Group Theory (Replies: 16)

  4. Group Theory (Replies: 1)

  5. Group theory (Replies: 1)