Assertion: hopf algebra | /r/HasProperty | bialgebra
Facets:
value: with an additional piece of structure
type: OTHER
Source sentences:
text: A Hopf algebra is a bialgebra with an additional piece of structure (the so-called antipode), which allows not only to define the tensor product of two representations, but also the Hom module of two representations (again, similarly to how it is done in the representation theory of groups).