a group's operation is associative