Kommutativer Ring/Hopf-Algebra/Definition/Begriff

Eine kommutative Hopfalgebra ${}H$ über eienm kommutativen Ring ${}K$.