Подмножество H группы G называется подгруппой, если оно само является группой относительно операции группы G. Докажите, что единица группы H совпадает с единицей группы G; обратный элемент в H совпадает с обратным элементом в G.

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

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