Theory of Hopf Algebras Attached to Group Schemes