Since
generates
, writing the group operation additively, we have
We have to show that
deg
.
By definition,
which is mapped to
deg
by the isomorphism
of lemma (12.5). But this isomorphism maps
to
and hence applying
to (12.6) we get the result.
nisha
2012-03-20