Group element
= Group element
A <group element> is a member of the underlying set of a <group>. The group operation assigns a product to each pair of elements, the identity fixes every element under multiplication, and every element has an inverse.