Пока алгебра не разлучит нас

Определение.

Группа — это множество G с определенной на нем операцией *, которая ставит в соответствие любым двум элементам множества G, а и b, третий элемент множества G, а * b такой, что выполняются следующие условия.

1. Операция * является ассоциативной, то есть равенство

(а * b) * с = а * (b * с)

верно для любых а, b и с множества G.

2. На множестве G существует нейтральный элемент е такой, что равенства а*е = е*а = а выполняются для любого элемента а на множестве G.

3. Для любого элемента а множества G можно найти элемент b множества G, который удовлетворяет соотношению a*b = b*a = e.

53

Первая групповая операция, которая приходит в голову, — сложение натуральных чисел. Эта операция обладает свойством ассоциативности, а 0 — ее нейтральный элемент. Но чтобы определить группу, необходимо, чтобы для каждого элемента существовал обратный элемент. Для этого добавим к группе отрицательные числа:

—1 будет обратным элементом для 1, так как 1 + (—1) = (—1) + 1 = 0, аналогично —2 будет обратным элементом для 2 и так далее.

Мы получили группу целых чисел, которая обозначается буквой ℤ и содержит бесконечно много элементов. Если мы рассмотрим не сложение, а вычитание, то не сможем определить группу: как мы уже показали, вычитание не обладает свойством ассоциативности.

ЛЕВИ-СТРОСС: Вернемся к определению группы. Верно ли, что для любых двух ее элементов а и b а*b и b*а будут совпадать?

ВЕЙЛЬ: Необязательно. Именно поэтому в свойствах 2) и 3) мы записали оба этих равенства. Указать, что а * е должно равняться е, недостаточно, так как е * а совершенно необязательно будет равняться а * е. Если мы укажем, что для двух любых элементов группы выполняется условие a*b = b*a, то исключим из рассмотрения несколько очень интересных примеров. Вы уже видели, что если поменять местами R и S, результат операции изменится. Таким образом, преобразования треугольника не удовлетворяют приведенному выше определению группы. Разумеется, тот факт, что а*b и b*а в общем случае не совпадают, вовсе не означает, что не могут существовать такие а и b, что будет выполняться равенство а * b = b * а.

Если это равенство выполняется всегда, то говорят, что операция обладает коммутативностью. Если групповая операция является коммутативной, то группа называется коммутативной, или абелевой.

ЛЕВИ-СТРОСС: Но почему абелева?

ВЕЙЛЬ: Группы называются абелевыми в честь норвежского математика Нильса Хенрика Абеля (1802—1829), который с помощью теории групп, только-только зарождавшейся в то время, показал, что почти никакое уравнение пятой степени нельзя решить элементарными методами.

Название «абелева группа» ввел Камиль Жордан в своем «Трактате о подстановках и алгебраических уравнениях», изданном в 1870 году. Жордану пришла в голову прекрасная идея — сделать из имени собственного прилагательное, которое можно использовать как полноценное определение.

Похожие названия ввели члены группы Бурбаки: мы говорили не о геометрии Римана или кольце Артина, а о римановой геометрии и артиновом кольце. Когда явное указание на имя автора исчезало, открывались новые смыслы.

ЛЕВИ-СТРОСС: Но разве не Эварист Галуа придумал группы? Кто-то рассказал мне о том, что произошло с Галуа в ночь перед дуэлью.

54

ВЕЙЛЬ: До чего же всем нравится эта история! Я не раз слышал, что Галуа, которому было суждено умереть на следующий день, в порыве вдохновения создал всю свою теорию всего за одну ночь. Галуа первым использовал понятие «группа» в ряде статей, которые можно назвать одними из прекраснейших в истории человечества. Сложно сказать, насколько велико на самом деле было влияние Галуа. Впрочем, группы, которые он изучал, отличались от тех, что рассматриваем мы. Галуа интересовали группы перестановок. Перестановкой на множестве из n элементов называется способ упорядочения элементов множества. На множестве перестановок можно определить групповую операцию. Допустим, мы выбрали перестановки