代数系统〈G，∘〉为群的条件是存在零元素。