Identity element (source code)

= Identity element
{wiki}

An identity element $e$ satisfies $eg=ge=g$ for every element $g$ of a <group>.