ЛЕВИ-СТРОСС: А что означают скобки?
ВЕЙЛЬ: Скобки указывают, в каком порядке выполняется композиция преобразований. Обратите внимание, что запись RSR априори неоднозначна: следует ли выполнить сначала преобразование R, а затем RS, как мы только что сделали, или же применить сначала SR, а затем R? В первом случае запишем (RS)R, во втором — R(SR). Результаты этих преобразований могут отличаться. Рассмотрим в качестве примера вычитание натуральных чисел. Результаты
7 - (5 - 3) = 7 - 2 = 5
и
(7 - 5) - 3 = 2 - 3 = -1
отличаются, и здесь крайне важно, как располагаются скобки. Впрочем, нам повезло: преобразования (RS)R и R(SR) совпадают.
Преобразования R(SR) и (RS)R совпадают.
ЛЕВИ-СТРОСС: Столько информации! У меня голова идет кругом!
ВЕЙЛЬ: Неудивительно. Предлагаю вам представить результаты в «таблице умножения», подобной той, что мы учили в школе. В каждой клетке запишем композицию преобразований, указанных в соответствующей строке и столбце. Первой всегда будет преобразование, указанное в столбце, как показано стрелкой.
49
Пока что я записал в таблице только те преобразования, результат которых мы уже знаем: композицией любого преобразования и тождества будет исходное преобразование, RSR = S, a R3 = S2 = I. Эти результаты позволяют нам найти результат, например SRSR. Так как мы можем расставить скобки произвольным образом, получим: SRSR = S(RSR). Согласно приведенным выше равенствам, RSR = S, следовательно, SRSR= SS = S2 — это тождественное преобразование, так как порядок симметрии S равен двум. Следовательно, SRSR = I. Но таблица еще не закончена. Не хватает еще нескольких композиций, в частности SRS. Чтобы определить ее результат, напомню, что RSR = S. Если приписать в обе части равенства R2, получим R2RSR = R2S. Мы знаем, что R2R = R3 = I, следовательно, SR = R2S.
Мы получили еще одну композицию, результат которой известен. Мы по-прежнему можем приписать S в обе части равенства, на этот раз — справа. Получим SRS = R2S2, но так как S2 = I, имеем SRS = R2. Добавим результаты в таблицу.
Но таблица все еще не закончена: не хватает композиций R2SR, SR2, RSR2, RSRS и SR2S. Их результаты можно получить на основе тех, что приведены выше — попробуйте сами! К примеру, R2SR совпадает с R(RSR). Но мы знаем, что RSR = S, следовательно, R2SR = RS. Аналогично:
SR2=(SR)R=(R2S)R=R(RSR)=RS,
50
ведь мы уже доказали, что SR = R2S. Я уже провел самые сложные вычисления, и все остальные расчеты вы можете выполнить самостоятельно. Попробуйте и поймете, удалось ли вам понять описанный метод. Как бы то ни было, важно, что эта таблица содержит всю информацию о множестве преобразований, оставляющих треугольник неизменным: что это за преобразования, каковы их композиции, какой порядок они имеют (то есть сколько раз их нужно выполнить последовательно, чтобы получить тождественное преобразование).
Таблица преобразований треугольника.
ЛЕВИ-СТРОСС: Господин Вейль, возможно, это прозвучит глупо, но пока вы заполняли таблицу, я вспомнил «Меланхолию I» Дюрера, одну из трех его «Мастерских гравюр», где изображена крылатая фигура, погруженная в раздумья о геометрии. Как вам известно, на гравюре можно видеть магический квадрат. Сумма чисел во всех его строках, столбцах, а также на диагоналях и некоторых других линиях одинакова и равна 34. Имеет ли этот магический квадрат что-то общее с вашими таблицами умножения?
51
ВЕЙЛЬ: Боюсь, что почти ничего. Важнейшее отличие между ними заключается в том, что в нашей «таблице умножения» все строки и столбцы содержат одни и те же элементы, а в магическом квадрате числа никогда не повторяются. В первой строке квадрата Дюрера записаны числа 16, 3, 2 и 13, во второй — 9, 10, 11 и 8: квадрат красив как раз тем, что все числа в нем различны. Наша таблица скорее напоминает латинский квадрат: символы содержатся в каждой строке и в каждом столбце ровно один раз. Пример:
Далее я объясню, что таблица умножения для группы с конечным числом элементов всегда будет латинским квадратом.
ЛЕВИ-СТРОСС: Прекрасно. Давайте вернемся к группам.
ВЕЙЛЬ: Я привел столь подробный пример с преобразованиями треугольника для того, чтобы теперь мы смогли вместе определить их внутреннюю структуру, то есть то общее, что остается, когда мы отбросим все частные случаи. Не будем откладывать дело в долгий ящик и начнем с того, что избавимся от треугольника.
Напомню, что предмет нашего изучения — не фигура сама по себе, а ряд ее преобразований, которые мы обозначили через R, S и так далее. Заменим их произвольным множеством элементов (конечным или бесконечным), которое будем обозначать буквой G. В примере с преобразованиями треугольника мы можем объединить два движения так, что получится третье, которое будет обладать теми же свойствами. Сохраним это условие: для каждой пары элементов G должна быть определена операция, результат которой также будет принадлежать G. Ранее мы обозначали эту операцию, просто записывая два члена рядом. Теперь введем для обозначения этой операции какой-нибудь новый символ, например *. Так, а * b будет обозначать результат умножения а на b согласно свойствам групповой операции.
На этом мы могли бы остановиться, но подобная структура не содержит достаточно ограничений, чтобы гарантировать наличие некоторых интересных свойств.
Если мы рассмотрим множество всего из трех букв, к примеру С = {х, y, z}, то найдется 19 683 разных способа определить на этом множестве операцию, которая сопоставит любым двум элементам третий. Это слишком много! Необходимо, чтобы операция * обладала некоторыми свойствами. Вернемся к примеру с преобразованиями треугольника. Напомню, что композиция любого преобразования с тождественным преобразованием I оставляла исходное преобразование неизменным.
52
Аналогично, нам нужен нейтральный элемент е такой, что равенства а*е = е*а = а будут верными для любого элемента а множества G. С учетом нейтрального элемента в примере с множеством {х, у, z} число возможных операций сократится до 81 — почувствуйте разницу! Крайне важную роль в расчетах сыграла возможность располагать скобки в произвольном порядке, поэтому мы введем новое требование: при операции над любыми тремя элементами результаты (а * b) * с и а * (b * с) должны быть равны. Это свойство называется ассоциативностью.
Можно было бы сказать, что группа — это множество с определенной на нем ассоциативной операцией, содержащее нейтральный элемент.
Между прочим, такая структура действительно существует и называется моноидом. Приведенное определение могло бы стать определением группы, но преобразования треугольника обладают еще одним свойством, которое будет интересно обобщить. Это свойство обратимости, согласно которому для любого преобразования всегда найдется другое, которое вернет треугольник в исходное положение. Допустим, мы применили поворот R. Если теперь мы применим R2, получим R2R = R3 = I. Таким образом, преобразование R2 обратно преобразованию R. В других случаях движение может быть обратно самому себе, как, например, симметрии S, RS и SR. Существование обратной операции означает, что для любого элемента а множества G всегда найдется другой элемент b такой, что а * b и b * а будут равны нейтральному элементу.
Часто вместо b записывают а-1. Так определяется группа. Чуть позже мы покажем, что определить группу на множестве {х, у, z) можно единственным способом.
Определение.
Группа — это множество G с определенной на нем операцией *, которая ставит в соответствие любым двум элементам множества G, а и b, третий элемент множества G, а * b такой, что выполняются следующие условия.
1. Операция * является ассоциативной, то есть равенство