Интуиция подсказывает, что основные структуры в математике должны быть исключительными и математически красивыми. В математике повсюду встречаются группы и кольца, а также их частные случай и расширения — поля, линейные пространства, алгебры. Но почему именно эти структуры? Чем уникальны наборы аксиом группы и кольца?