Теория групп - наука о совершенстве
    Евгений Вдовин Введение
    Настоящий текст появился по нескольким причинам. Во-первых, подавляющее большинство не представляет, чем занимается современная математика. Теория групп - это, конечно, далеко не вся современная математика, а лишь малая ее часть, но она находится на одном из самых высоких уровней абстракции, что делает ее неплохим примером раздела современной математики.
    Во-вторых, такой естественный и простой (для объяснения) объект, как группы, практически незнаком большинству ученых. Действительно, что может быть естественнее и привычнее для человека, чем понятие симметрии. Мы с самого рождения вольно или невольно ищем в окружающих предметах симметрию, и чем симметричнее предмет, тем совершеннее он нам кажется. Древние греки считали шар идеальной фигурой, именно из-за того, что у шара очень много симметрий. Взгляните на любую известную картину, и вы увидите там явную ось (а иногда и не одну симметрии). Любое музыкальное произведение развивается по циклу, постоянно возвращаясь к исходной теме, т. е. и там тоже есть симметрия. Даже такой, всем известный символ, как крест, почитаемый во многих религиях, кажется нам красивым из-за большого количества симметрий: его можно и крутить, и отражать относительно любой из его частей. Но превратите крест в свастику, и у вас сразу возникнет неуютное ощущение, ведь большую часть симметрий креста вы уничтожили. Таким образом, именно симметрия определяет, насколько совершенным кажется нам тот или иной объект, и теория групп, как наука, изучающая симметрии, может без преувеличения называться наукой о совершенстве.
    И в-третьих, я вдохновлен примером таких замечательных ученых и популяризаторов науки, как Сергей Попов и Игорь Иванов, научно-популярные статьи которых я с интересом читаю.
    Поскольку текст изначально задумывался доступным для читателя, знающего математику в объеме школьной программы, некоторые специальные части текста (на самом деле, подавляющая его часть), содержащие более трудный для понимания материал, чем обычно дается в школьном курсе алгебры, будут начинаться знаком и заканчиваться знаком (это не означает, что для понимания такого текста требуется что-то большее, чем школьная математика, трудности будут возникать логического характера). Дело в том, что теория групп находится на одном из самых высоких уровней абстракции в современной математике и потому группы иногда состоят из элементов, которые весьма сложно представить неискушенному читателю. Некоторые исходные определения и обозначения
    
    Мы постараемся использовать как можно меньше формул и специальных математических знаков, но совсем без них обойтись не получится. Множества, как правило, будут обозначаться заглавными латинскими буквами, а их элементы - строчными. Если A - множество, а a - некоторый элемент, то запись a A следует читать "элемент a принадлежит множеству A"; соответственно, запись a A означает, что "элемент a не принадлежит множеству A".
    Напомним, что понятия множества, элемента и принадлежности являются базисными неопределяемыми понятиями современной математики. Любое множество определяется элементами, входящими в него (которые, в свою очередь, тоже могут быть множествами). ............