Group-like element ($\Delta g=g\otimes g,\epsilon (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.