a group operation is associative.