Бакалавриат → Алгебра → Абстрактная алгебра ↓
Группа перестановок
Группы перестановок являются важной концепцией в абстрактной алгебре. Они формируют фундаментальную часть теории групп, раздела математики, который изучает алгебраические структуры, известные как группы. Чтобы понять группы перестановок, нам нужно начать с понимания того, что такое перестановки, а затем перейти к пониманию, как они вписываются в более широкую теорию групп.
Что такое перестановка?
Перестановка множества — это переупорядочение его элементов. Например, если у нас есть множество из трех элементов {1, 2, 3}, то одной из перестановок может быть {3, 2, 1}, другой — {2, 1, 3} и так далее. В перестановке порядок элементов имеет значение, в то время как в множестве порядок не имеет значения.
Формально, для конечного множества с n элементами перестановка является бинарной функцией из множества в само себя. Бинарная функция является и инъективной (одно-ко-одной), и сюръективной (на), что означает, что она переупорядочивает все элементы множества без оставления или повторения какого-либо элемента.
Обозначение перестановок
Существуют различные способы представления перестановок. Одним из распространенных является циклическое обозначение. В циклическом обозначении мы записываем перестановки как произведение циклов. Цикл — это перестановка подмножества элементов, которая вращает элементы в определенной орбите.
Например, если у нас есть перестановка (1 3 2)
, это показывает, что 1 переходит на позицию, ранее занимаемую 3, 3 переходит на позицию, ранее занимаемую 2, а 2 переходит на позицию, ранее занимаемую 1. Это формирует цикл. Элемент, не упомянутый в цикле, остается на своей исходной позиции.
Перестановка как функция: σ = 1 -> 3 2 -> 1 3 -> 2 Перестановка в циклическом обозначении: (1 3 2)
Здесь перестановка заменяет 1 на 3, 3 на 2 и 2 на 1.
Что такое группа?
Прежде чем углубляться конкретно в группы перестановок, нужно понять математическую концепцию группы. Группа — это множество, объединенное с операцией, которая удовлетворяет четырем основным свойствам:
- Замкнутость: для каждого a, b в группе результат операции (a * b) также находится в группе.
- Ассоциативность: для каждого a, b и c в группе (a * b) * c = a * (b * c).
- Единичный элемент: в группе существует элемент e, такой что для любого элемента a уравнение e * a = a * e = a верно.
- Обратный элемент: для каждого элемента a в группе существует элемент b, такой что a * b = b * a = e, где e — это единичный элемент.
С этими свойствами группы формируют структуру, которая помогает математикам понять симметрии, преобразования и многие другие концепции с единой точки зрения.
Группа перестановок как группа
Теперь, когда мы понимаем, что такое перестановки и группы, мы можем определить группу перестановок. Группа перестановок — это группа, где элементы являются перестановками множества, а групповой операцией является композиция этих перестановок.
Комбинация двух перестановок является другой перестановкой. Эта операция ассоциативна, одна является единичной перестановкой (которая оставляет все элементы на их исходных позициях), и каждая перестановка имеет обратный (которая возвращает исходное действие перестановки).
Симметрическая группа
Одним из самых важных примеров групп перестановок является симметрическая группа. Симметрическая группа на n элементах, обозначаемая S n
, включает все возможные перестановки множества из n элементов.
Например, симметрическая группа на трех элементах, S 3
, включает следующие перестановки множества {1, 2, 3}:
Единичная перестановка: ( ) Простейшие транспозиции: (12), (13), (23) Циклы длины 3: (123), (132)
Эта группа имеет всего 6 элементов, что соответствует факториалу 3, 3!. В общем случае количество элементов в S n
равно n!.
Визуальный пример
Теорема Кэли
Теорема Кэли утверждает, что любая группа G изоморфна подгруппе симметрической группы. По сути, это означает, что любая группа может быть представлена как группа перестановок. Это глубокий результат, поскольку он говорит нам, что группы перестановок — это не просто абстрактные конструкции, а основа всей теории групп.
Примеры и упражнения
Давайте разберем несколько примеров и упражнений, чтобы лучше понять группы перестановок.
Пример 1: Композиция перестановок
Рассмотрим перестановки на множестве {1, 2, 3}: σ = (1 2)
и τ = (2 3)
. Чтобы найти структуру σ ∘ τ
, мы сначала применяем σ к τ, а затем к каждому элементу множества.
Элемент | Применить τ | Применить σ |
---|---|---|
1 | 1 | 2 |
2 | 3 | 3 |
3 | 2 | 1 |
σ ∘ τ = (1 3 2)
Результирующая перестановка эквивалентна перемещению от 1 к 3, от 3 к 2 и от 2 к 1, формируя цикл (1 3 2)
.
Пример 2: Обратная перестановка
Найдем обратную перестановку (1 3 2 4)
. Помните, что обратная перестановка отменяет перестановку.
Перестановка: 1 -> 3 3 -> 2 2 -> 4 4 -> 1 Обратная перестановка: 1 -> 4 4 -> 2 2 -> 3 3 -> 1
Обратная перестановка может быть записана в циклическом обозначении как (4 1 3 2)
.
Пример 3: Симметрическая группа S 4
Рассмотрим симметрическую группу S 4
, которая представляет группу всех перестановок множества {1, 2, 3, 4}. Эта группа имеет 24 (4!) перестановки. Вот некоторые примеры:
Единичная: () Двуциклы: (1 2), (1 3), (1 4), (2 3), (2 4), (3 4) Третий циклы: (1 2 3), (1 3 4), (2 3 4), ... Четвертый цикл: (1 2 3 4)
Каждая перестановка в S 4
может быть выражена как произведение непересекающихся циклов или как произведение транспозиций (двуциклов).
Свойства групп перестановок
Четные и нечетные перестановки
Перестановка может быть классифицирована как четная или нечетная в зависимости от количества транспозиций, которые требуется для ее выражения. Перестановка является четной, если она может быть выражена как произведение четного количества транспозиций, и нечетной, если для этого требуется нечетное количество.
Альтернативные группы
Альтернативная группа, обозначаемая A n
, является группой всех четных перестановок множества с n элементами. Это подгруппа симметрической группы S n
и имеет n! /2 элементов.
Например, в S 3
альтернативная группа A 3
содержит следующие перестановки:
Единичная: () Трехциклы: (1 2 3), (1 3 2)
Заключение
Группы перестановок являются увлекательной и богатой областью исследований в рамках абстрактной алгебры. Изучая, как перестановки могут быть структурированы в группы, мы получаем представление о многих областях математики и практических применениях, которые требуют понимания симметричных и комбинаторных структур. Независимо от того, является ли это симметрической или альтернативной группой, концептуальная сила каждой группы перестановок помогает нам понять сложные шаблоны и операции элементов в четко определенной математической среде.
С группами перестановок возможности для дальнейшего исследования безграничны, охватывая глубокие темы, такие как алгебраическая топология, теория полей и даже криптографические алгоритмы. Освоение этих концепций предоставляет прочную основу для понимания сложных математических теорий.