Group-like element (source code)

= Group-like element
{title2=$\Delta g=g\otimes g,\quad\varepsilon(g)=1$}

An element of a <coalgebra> satisfying the displayed identities. A <group-like element> in a <Hopf algebra> is invertible with inverse its <antipode> image.