Inverse element (source code)

= Inverse element
{wiki}

The inverse $g^{-1}$ of a group element $g$ satisfies $gg^{-1}=g^{-1}g=e$.