Lemma 12.6:

The map $ \phi$ defined in lemma (12.5) is a group isomorphism.

nisha 2012-03-20