Lemma 32.3:

The map $ \Pi_X$ given by (32.4) is a group homomorphism.

nisha 2012-03-20