ВЕЙЛЬ: Если я правильно помню, брак между родными братом и сестрой всегда был запрещен, но в некоторых племенах, которые вы изучали, мужчина мог вступать в брак с дочерью брата своей матери. Посмотрим, как можно записать это правило с помощью перестановок f и g. Не будем сразу же рассматривать мужчину, вступающего в брак, и вернемся на два поколения назад. Рассмотрим брак, заключенный по одному из правил Mi. Дочь, рожденная в этом браке, должна будет последовать правилу g(Mi), сын — f(Мi).
Это и будут мать и ее брат, о которых говорится в условии задачи. Следовательно, мужчина вступит в брак по правилу f(g(Mi)), а дочь брата его матери — по правилу g(f(Mi)). Чтобы оба они могли пожениться, эти правила должны совпадать: f(g(Mi)) = g(f(Mi)). Иными словами,
69
вне зависимости от исходного правила, если мы применим сначала функцию g, а затем — функцию f, то результат будет таким же, как если мы применим сначала функцию f, затем — функцию g. Как я уже объяснял в нашей последней беседе, композиция f и g является коммутативной. Это означает, что подгруппа Sn, которую порождают эти функции (то есть множество элементов, получаемых последовательным применением f и g), является абелевой. Абелевы группы с двумя порождающими элементами очень просты. Сейчас я объясню, почему это так, но вначале потребуется ввести одно новое понятие.
В прошлый раз я привел несколько примеров групп: мы подробно рассмотрели симметрическую группу Sy которая представляла собой группу преобразований, оставляющих равносторонний треугольник инвариантным, а также группу перестановок множества из трех элементов. Мы также поговорили о циклических группах ℤ/n — их элементами являются натуральные числа, меньшие n, а групповой операцией — та же видоизмененная операция сложения, которую мы выполняем, когда смотрим на циферблат часов, разделенный на n делений.
Тогда вы могли бы спросить меня: как определять новые группы на основе известных примеров? Сейчас я опишу один из возможных способов. Допустим, что даны две группы, G и Н. Так как соответствующие групповые операции необязательно совпадают, обозначим групповую операцию первой группы знаком *, групповую операцию второй группы — знаком ·. Множество, на котором будет определена новая группа (обозначим ее G × H), будет образовано парами (g, h), где g — элемент G, h — элемент Н:
G × H = {(g,h): g ∈ G, h ∈ Н}.
Осталось определить групповую операцию. Для этого применим групповые операции G и Н к соответствующим элементам пар. Следовательно, результат операции над (g1, h1) и (g2, h2) будет равен (g1 * g2, h1 · h2). Нетрудно видеть, что эта операция удовлетворяет трем условиям определения группы. Доказательство я оставлю вам в качестве упражнения. Мы получили новую группу, которую будем называть прямым произведением G и Н.
Вычислим в качестве примера прямое произведение циклической группы второго порядка на саму себя. Как известно, элементы ℤ/2 равны [0] и [1], а операции над ними выполняются по следующим правилам:
[0] + [0] = [0], [0] + [1] = [1],[1] + [0] = [1] и [1] + [1] = [0].
Так, прямое произведение ℤ/2 х ℤ/2 будет образовано следующими парами:
([0], [0]), ([0], [1]), ([1], [0]) и ([1], [1]).
Первая из этих пар — нейтральный элемент. Обозначим ее через е. Если мы обозначим остальные пары через а = ([0], [1]), b = ([1], [0]) и с = ([1], [1]), то таблица группы примет вид
70
Это группа Клейна, названная в честь немецкого математика Феликса Клейна (1849—1925), который впервые описал ее в 1884 году в своих «Лекциях об икосаэдре и решении уравнений пятой степени» при изучении преобразований плоскости, оставляющих ромб инвариантным. Обратите внимание, что она содержит всего четыре элемента, а группа треугольника — шесть. Это логично, поскольку группы в некотором смысле характеризуют симметрию, а ромб менее симметричен, чем треугольник!
Гэуппа преобразований, оставляющих ромб неизменным.
Порядок всех элементов группы Клейна равен двум, поэтому на диагонали таблицы умножения записаны только нейтральные элементы. Между прочим, можно доказать, что единственные группы четвертого порядка — это циклическая группа ℤ/4 и группа Клейна.
Они отличаются между собой тем, что одна из них содержит элементы четвертого порядка, другая — нет.
ЛЕВИ-СТРОСС: Я понимаю, о чем вы говорите, господин Вейль, но складывается впечатление, что мы отошли от темы: какое отношение все это имеет к браку?
71
ВЕЙЛЬ: Наберитесь терпения! Я уже говорил, что в обществе, которое удовлетворяет двум нашим условиям, описание структуры родства сводится к описанию разновидностей брака Mi и функций f и g. Введем третье условие, которое описывает запреты инцеста и, по всей видимости, выполняется в некоторых племенах, о которых вы писали в «Элементарных структурах родства»:
Условие 3: Допускается брак между любым мужчиной и дочерью брата его матери.
Это условие означает коммутативность композиции f и g. Следовательно, чтобы изучить все возможные модели обществ, которые удовлетворяют нашим трем условиям, нам нужно как-то классифицировать абелевы подгруппы симметрической группы, порожденные двумя элементами. Посмотрим, как выглядят эти подгруппы:
Обозначим через Н группу, порожденную f и g. Первый возможный случай таков: один из двух элементов можно получить, возведя другой в определенную степень. В этом случае включать такой элемент в число порождающих элементов группы Н не требуется: его можно получить из другого элемента. Таким образом, имеем подгруппу, порожденную единственным элементом, то есть циклическую группу.
Предположим, что это не так, то есть f и g не зависят друг от друга. По определению, элементами Н будут все возможные цепочки операций над f и g, к примеру:
f * g * g * f * g
Порядок следования элементов будет произвольным, но так как мы предположили, что композиция f и g коммутативна, мы можем воспользоваться свойством ассоциативности, применить равенство f*g = g*f и попарно объединить элементы так, что все f и все g будут расположены рядом. Пример:
f*g*g*f*g=f*g*(g*f)*g=f*g*(f*g)*g=f*(g*f)*g*g=f*(f*g)*g*g=f2*g3
Так как этот метод корректен для любого элемента H, мы доказали, что любой элемент Н можно записать в виде fn * gm, где n и m — неотрицательные целые натуральные числа (они могут равняться нулю). Как правило, из соображений удобства указывают, что и fn, и gm — нейтральные элементы. Таким образом, когда верхний индекс одного члена обнуляется, результат операции равен степени другого члена.
Вместо fn * gm мы могли бы записать (fn, gm), при этом в структуре Н не произошло бы каких-то существенных изменений. Эта операция очень похожа на произведение двух циклических групп, однако члены fn * gm могут повторяться, даже если
72
порядок f и g будет больше, чем n и m соответственно. Чтобы показать, что Н — это произведение двух циклических групп[6], нужно выполнить еще несколько действий:
Предложение 1. Конечная абелева группа, порожденная двумя элементами, является либо циклической, либо прямым произведением двух циклических групп.
Это предложение — частный случай теоремы о структуре конечнопорожденных абелевых групп, по которой такие группы изоморфны прямому произведению
ℤ × ... × ℤ × ℤ/n1 × ... × ℤ/nk
где ℤ — группа целых чисел, a ℤ/n1 ..., ℤ/nk — циклические группы. Число копий ℤ, приведенных в произведении, называется рангом группы и отлично от нуля тогда и только тогда, когда группа является бесконечной.
6
1 Заинтересованный читатель найдет полное доказательство в приложении. Чтобы вы могли полностью понять доказательство, рекомендуем сначала прочесть первую часть следующей главы.