Комплексные числа можно определять разными способами: Как множество упорядоченных пар вещественных чисел. Путем удвоения (процедура Кэли-Диксона) алгебры R. Как двумерную коммутативную алгебру над полем R. Как факторкольцо. Через матрицы поворота. Какие еще способы есть? Какой способ более простой и естественный?
Интуиция подсказывает, что основные структуры в математике должны быть исключительными и математически красивыми. В математике повсюду встречаются группы и кольца, а также их частные случай и расширения — поля, линейные пространства, алгебры. Но почему именно эти структуры? Чем уникальны наборы аксиом группы и кольца?