Moved the lemma before the proposition on restriction to the identity compnent. Added proof that G^0 is an algebraic group.

Some other small improvements.