Group operation (source code)

= Group operation

A group operation is the associative binary operation of a <group>. It has an <identity element>, and every element has an <inverse element>.