Hopf algebra

Today it means: A structure that is simultaneously a unital associative algebra and a counital coassociative coalgebra, equipped with an antiautomorphism satisfying a certain property. Full definition →