Hopf algebra polynomial identities in the Sweedler algebra

Alexey Gordienko, Maria Morozova

Using Mac Lane's PROPs, one can introduce multilinear polynomial identities that involve all the operations of a Hopf algebra: the (co)multiplication, the (co)unit and the antipode…