 Group-like element

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