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

Такие группы, образованные степенями одного и того же элемента, называются циклическими, а сам элемент называется порождающим. Для произвольной группы G семейство порождающих элементов — это конечное множество элементов группы, на основе которых можно получить все остальные ее элементы. К примеру, поворот R и симметрия S — порождающие элементы группы преобразований треугольника. Чтобы лучше понять, что такое циклические группы, представьте себе циферблат часов. Каждые 12 часов стрелка вновь возвращается в исходное положение, поэтому при взгляде на часы нельзя определить, прошло какое-то время или нет.

Если выборы заканчиваются в 9 часов вечера, а подсчет голосов длится четыре часа, то никому не придет в голову сказать, что результаты будут известны в 21 + 4 = 25 часов.

Вместо этого по достижении 24 часов нужно начать отсчет снова и добавить оставшийся час. Таким образом, итоги голосования будут известны в час ночи.

62

Существуют часы с циферблатами, разделенными на 12 и 24 деления, но ничто не мешает изготовить часы с произвольным числом делений, например n. Базовым множеством группы будет множество натуральных чисел, меньших n. Мы запишем эти числа в квадратных скобках, чтобы указать, что каждое из них в действительности обозначает несколько «часов» одновременно: [0], [1], [2] ... [n - 1].

Мне хотелось бы сказать, что операцией, определенной над двумя элементами множества, будет привычная нам операция сложения без квадратных скобок, однако в этом случае мы столкнемся с серьезной проблемой. Представьте, что n равно, например, 5. Тогда представленное выше множество будет иметь вид: [0], [1], [2], [3], [4]. Сумма элементов 3 и 4 будет равна 3 + 4 = 7, а это число не принадлежит множеству. Необходимо видоизменить операцию сложения. Будем обнулять счетчик всякий раз, достигая 5. В нашем примере с числами 3 + 2 = 5, после чего наступает следующий «день», и к полученному результату нужно добавить еще две единицы. Таким образом, [3] + [4] = [2]. Изменять некоторые другие суммы не потребуется: к примеру, 1 + 2 = 3, 3 меньше 5, следовательно, [1] + [2] = [3]. Тем не менее [2] + [3] = [0], а [2] + [4] = [1], так как из результата нужно вычесть 5.

Получим следующую таблицу.

Для любого числа n можно доказать, что эта видоизмененная операция сложения будет групповой операцией на множестве {[0], [1], [2] ...[n — 1]}. Это циклическая группа порядка n, или группа целых чисел со сложением по модулю n. Она обозначается Z/n.

ЛЕВИ-СТРОСС: Достаточно, господин Вейль. Настало время поговорить о браке!

63

Глава 4 Алгебраические браки

Чаще всего основная трудность для математика, столкнувшегося с прикладной задачей, — понять, о чем идет речь, м перевести исходные данные на собственный язык.

Андре Вейль, из комментариев к полному собранию сочинений

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

ВЕЙЛЬ: Мы начнем с очень простой модели и на ее примере постепенно покажем все принципы, необходимые для решения более общих задач. Допустим, что племя, которое мы изучаем, состоит из четырех кланов, которые, к примеру, могут поклоняться разным богам или контролировать разные территории. Так как структура брака не зависит от названий кланов, обозначим их буквами: А, В, С и D.

ЛЕВИ-СТРОСС: Вам будет интересно узнать, что когда я поселился среди индейцев намбиквара, они сразу же объяснили, что использовать собственные имена запрещено. Поэтому моим первым шагом при анализе структур родства стало обозначение членов племени различными символами во время переписи. Кроме того, я обозначал кланы буквами, а их отдельных членов — числами. В результате получилась статья, которую, можно сказать, бросало то в жар, то в холод: с холодными обозначениями вида А₇ соседствовали комментарии «пышная женщина, всегда в хорошем настроении» или «тщеславный, самодовольный и не слишком умный человек».

ВЕЙЛЬ: Намбиквара... вот прекрасный пример общества, подготовленного для математиков! При решении некоторых задач сложнее всего правильно выбрать обозначения и перевести их на удобный нам язык. В нашем случае после того, как мы выделили четыре клана племени, нужно рассмотреть допустимые браки, которые мы обозначим M₁, M₂, М₃... Обратите внимание, что для описания брака достаточно указать, к какому клану принадлежат мужчина и женщина.

65

К примеру, это могут быть мужчина А и женщина В.

ЛЕВИ-СТРОСС: Теперь нужно установить некоторые ограничения. Во-первых, все члены племени, как мужчины, так и женщины, должны иметь право вступать в брак. Это означает, что для любых мужчины и женщины из любого клана должно существовать как минимум одно правило М, которому они соответствуют.