Hopf-Algebra/Inverses Element/Diagramm

${\begin{matrix}H&{\stackrel {\Delta }{\longrightarrow }}&H\otimes _{K}H&\\\!\!\!\!\!\epsilon \downarrow &&\downarrow \operatorname {Id} _{H}\cdot S\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!&\\K&{\stackrel {}{\longrightarrow }}&H&\!\!\!\!\!\\\end{matrix}}$