Reworked the section on restriction to the identity component.

Created a lemma to hold the proof that every discrete isogeny to G^0
extends to a discrete isogeny to G.
The proof that restriction to the identity component is surjective is
now very short, largely because it now uses the propositions regardling
finite geochars.