Unformatted text preview: As in the proof of the homomorphism theorem, there is only one way to deﬁne Q ' consistent with the requirement that Q ' ı ± D ' , namely Q '.aN/ D '.a/ . It is necessary to check that this is well deﬁned and a homomorphism. But if aN D bN , then b ± 1 a 2 N ± K D ker .'/ , so '.b ± 1 a/ D e , or '.a/ D '.b/ . This shows that the map Q ' is well deﬁned. The homomorphism property follows as in the proof of the homomorphism theorem. n Corollary 2.7.15. Let N ± K ± G be subgroups with both N and K normal in G . Then xN 7! xK deﬁnes a homomorphism of G=N onto G=K with kernel K=N ....
View Full Document
- Fall '08