Бакалавриат

БакалавриатАлгебраАбстрактная алгебра


Группа перестановок


Группы перестановок являются важной концепцией в абстрактной алгебре. Они формируют фундаментальную часть теории групп, раздела математики, который изучает алгебраические структуры, известные как группы. Чтобы понять группы перестановок, нам нужно начать с понимания того, что такое перестановки, а затем перейти к пониманию, как они вписываются в более широкую теорию групп.

Что такое перестановка?

Перестановка множества — это переупорядочение его элементов. Например, если у нас есть множество из трех элементов {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.

Что такое группа?

Прежде чем углубляться конкретно в группы перестановок, нужно понять математическую концепцию группы. Группа — это множество, объединенное с операцией, которая удовлетворяет четырем основным свойствам:

  1. Замкнутость: для каждого a, b в группе результат операции (a * b) также находится в группе.
  2. Ассоциативность: для каждого a, b и c в группе (a * b) * c = a * (b * c).
  3. Единичный элемент: в группе существует элемент e, такой что для любого элемента a уравнение e * a = a * e = a верно.
  4. Обратный элемент: для каждого элемента 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!.

Визуальный пример

1 2 3 2 1 3

Теорема Кэли

Теорема Кэли утверждает, что любая группа 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)

Заключение

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

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


Бакалавриат → 1.2.4


U
username
0%
завершено в Бакалавриат


комментарии