Hopf algebra

Bialgebra with antipode S. k[G] group, U(g) enveloping, O(G) functions. Quantum groups U_q(g) deform U(g) losing cocommutativity.