Invariant vector of a module over a Hopf algebra
= Invariant vector of a module over a Hopf algebra
{title2=$hv=\varepsilon(h)v$}
For a left <module> over a <Hopf algebra>, a vector $v$ is invariant when $hv=\varepsilon(h)v$. In the <internal hom for modules over a Hopf algebra>, invariant maps are exactly the <R-module homomorphisms> for the acting algebra.