What has to be compatible with the group operation