Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Question from Saunders Maclane and Birkhoff Algebra book.

  1. Feb 26, 2009 #1


    User Avatar
    Gold Member

    If S is a subset of G with G finite, while f:G->H is a morphism with kernel N, prove that:
    [G:S]=[f(G):f(S)][N:SnN] where 'n' stands for intersection.(The question is on page 78 exercise 10).

    Now as far I can tell [G:S] is the number of right or left cosets of S in G, if the morphism was monomorphism it would be equal [f(G):f(S)], now [N:(SnN)] is the number of cosets m(SnN) where m is in N, I must find a way to show that in order to count the number of gS's for each f(g)f(S) I need to count the number of preimages, but f(gS)=f(g)f(S), I don't know how to procceed.

    Any hints?

    Thanks in advance.
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted