Keyword: hopf-algebra

Theorem Algebra Homomorphisms Form a Group Under Convolution admitted

Theorem Antipode of a Commutative Hopf Algebra Is Multiplicative admitted

Theorem Antipode of a Hopf Algebra Is Anti-Multiplicative admitted

Definition Convolution of Algebra Homomorphisms admitted

Theorem Convolution of Algebra Homomorphisms Is an Algebra Homomorphism admitted

Definition Coordinate Hopf Algebra of an Affine Group Scheme admitted

Theorem Galois Descent for Hopf Algebras admitted