Как перемножать циклы перестановок

от admin

теория-групп — Перемножение независимых циклов без таблиц

a и b — это перестановки, в методичке перемножение выполнялось записыванием циклов одной перестановки, после чего приписывались циклы другой перестановки. Теперь необходимо сократить все это как-то.

Я понимаю, что перестановки. Только у Вас в заголовке «независимые циклы». А как же понимать b? Куда переставляется, например, 4 — на место 1 или на место 3 (первая и вторая скобка).

В общем, нужно уточнить обозначения.

Это общепринятое обозначение. Запись $%(a_1. a_n)$% обозначает цикл$%a_1\mapsto a_2. a_\mapsto a_n,a_n\mapsto a_1$%. То, что одинаковые числа встречаются в разных циклах, не должно смущать, так как эти циклы перемножаются(как отображения).

Хорошо, понятно. Ставлю Вам «плюс». А перемножаются в каком порядке: справа налево или слева направо?

Как в любой композиции, справа налево

Спс aapetrov3, не знал в каком порядке.

@palkanov-vi, Если вы получили исчерпывающий ответ, отметьте его как принятый.

1 ответ

Найдем куда переходит число а при перестановке. Выберите первое появление $%x$%, считая справа. Пусть в этом цикле образ $%x$% это $%y$%. Проведите эту же операцию с $%y$% и левом остатке цикла, и т.д, найдя образы всех чисел вы получите представление ab в виде непересекающихся циклов. Например для перестановки b это будет (12)(3456). Сделайте тоже самое с ab. Правда вы неправильно ее написали. Правильно (143)(25)(678)(214)(345)(56)(13)

отвечен 27 Сен ’12 17:23

Не так с книги переписал, пеерепутал) Спасиб, все понял)

Здравствуйте

Математика — это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Как найти произведение перестановок

Перестановка порядка n это биективное отображение конечного множества из n элементов в себя.

Также можно для удобства переставлять столбцы местами:

Для наглядности, ту же перестановку можно изобразить картинкой вида

Пример вычисления произведения перестановок: если

При помощи обычного определения удобно вычислять произведение так: в перестановке σ переставляем столбцы так, что первая строчка в σ совпадает с последней строчкой в τ . Тогда произведением будет перестановка, у которой первая строчка — стандартная, а вторая строчка — это вторая строчка из σ.

Пример 2. Найти произведение перестановок можно и так

Первая перестановка переводит один в два, а вторая два в семь, значит произведение переводит один в семь и т.д.

Перестановки удобно перемножать и в том случае, когда они представлены в виде произведения непересекающихся циклов.

При этом произведение получается так: для каждого элемента от 1 до 4 надо пройти по циклам в левой части и проследить куда он переходит.

В частности, 3 сначала переходит в 1 (цикл (1 , 3)),

а затем 1 в 2 (цикл(1 , 2 , 4 , 3)).
Значит в произведении 3 будет переходить в 2.

Умножение перестановок некоммутативно: τσ ≠ στ .

Научный форум dxdy

Правильно ли я сделал задачу на перестановки?
На множестве $<1,2,3,4,5,6>$» /> заданы перестановки <img decoding=. Найти $(<\pi \circ \tau >)^<-25>$» />.<br />Я представил <img decoding=как $\begin<pmatrix>1 2 3 4 5 6 \\ 2 3 4 6 1 5 \end<pmatrix>$» /> потом <img decoding=. То есть $(<\pi \circ \tau >)^<-25>=(1)(2)(3)(4)(5)(6)$» />.<br />
а это тоже самое, что и <img decoding=

Последний раз редактировалось timas-cs 09.04.2017, 18:32, всего редактировалось 2 раз(а).

Metford , если я правильно разобрался-$(14)(26)(3)(5)$, и в степени $-25$тоже самое.

Вам бы переписать всё с самого начала. alt=»$\tau$» />у вас в первом сообщении какое-то странное, и разложение произведения на циклы в стартовом тоже очень странное. В третьем, может, и правильное, но alt=»$\tau$» />-то это не отменяет!
iifat
Хорошо. Итак $\tau=(136)(245)=\begin<pmatrix>1 2 3 4 5 6 \\ 3 4 6 5 2 1 \end<pmatrix>$» />, тогда произведение будет таким <img decoding=

Последний раз редактировалось crazy_taxi_driver 10.04.2017, 01:16, всего редактировалось 3 раз(а).

Да, и произведение, и ответ — верные.
Ой, нет, извините, неверные.

Действуем на 1: $\tau$: 1->3 $\pi$: 3->2, соответственно $\pi \circ \tau$: 1->2. Вы вычислили произведение $\tau \circ \pi$, и правильно возвели его в -25 степень.

Ниже — код GAP Ваших вычислений (не той задачи что в ОП). В GAP другое соглашение записи порядка произведения перестановоок (кто-нибудь знает почему?)

timas-cs ,
Вы зачем-то переводите перестановку $\tau$из цикловой записи в двухстрочную.
ГОРАЗДО удобнее поступать ровно наоборот — переводить $\pi$из двухстрочной записи в цикловую.
В таком виде легко возвести подстановку в любую степень в уме, за доли секунды.

Ошибка найдена и исправлена. Неправильно посчитал произведение. Перепутал порядак тау-пи и пи-тау.

Последний раз редактировалось Munin 10.04.2017, 22:13, всего редактировалось 1 раз.

Как умножать две перестановки в виде циклов.

Начинаете с первого цикла первой перестановки. Пишете эту цифру: $(k.$Потом смотрите, куда она перейдёт
1) по своему циклу в $\sigma_1(k)$;
2) из её образа по циклу второй перестановки в $\sigma_2(\sigma_1(k)).$
Пишете после $(k$этот второй образ. Потом берёте его, ищете в первой перестановке (в любом цикле), и повторяете шаги (1, 2). И так, пока не вернётесь к $k$— тогда ваш цикл закончен.

Параллельно вычёркиваете, например, в первой перестановке все цифры, которые вы смотрели шагом (1). Начинаете следующий цикл с какой-нибудь невычеркнутой цифры. И так, пока не вычеркнете все (или подчёркиваете, как вам больше нравится).

Процедура обобщается на $n$множителей.

Умножение перестановок, обратная перестановка, группа перестановок

Также обратная перестановка единственна. Это следует из того, что для каждой [math] i [/math] -ой позиций в исходной перестановке однозначно определяется [math] j [/math] -ая позиций в обратной перестановке, значение которой есть [math] i [/math]

Определение:
Перестановка, равная своей обратной, называется инволюцией (англ. involution): [math] a_i = a^<-1>_i \Rightarrow (aa ^<-1>)_i = (aa)_i = a_ = i [/math] , то есть её представление в виде циклов не содержит цикла, размер которого больше двух.
Определение:
Перестановка, содержащая чётное количество инверсий, называется чётной (англ. even permutation), в противном случае [math] — [/math] нечётной (англ. odd permutation).
Определение:
Перестановка, меняющая местами только два элемента, называется транспозицией (англ. transposition).

Получение обратной перестановки

Пусть в массиве [math] p [/math] содержится перестановка, длины [math] n [/math] , тогда после выполнения алгоритма в массиве [math] rep [/math] будет содержаться перестановка, обратная ей.

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

Мощность симметрической группы: [math]\left\vert S_n \right\vert = n![/math]

Теорема Кэли утверждает, что любая конечная группа изоморфна подгруппе некоторой группе перестановок.

Группа чётных перестановок

Определение:
Группа чётных перестановок (англ. alternating group) [math] A_n [/math] является подгруппой симметричной группы перестановок, образованной всеми чётными перестановками. Композиция не выводит из группы, так как если представить каждую перестановку группы в виде чётного числа транспозиций и перемножить их, чётность не изменится.

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

Определение:
Подстановкой (англ. substitution) называется всякое взаимно однозначное отображение [math] A [/math] множества первых [math]n[/math] натуральных чисел на себя.

Всякая подстановка [math]A[/math] может быть записана при помощи двух перестановок, подписанных одна под другой:

[math] A = \begin q_1 & q_2 & \ldots & q_n \\ a_ & a_ & \ldots & a_ \end [/math]

Где через [math] a_ [/math] обозначается то число, в которое при подстановке [math] A [/math] переходит число [math] q_i [/math] .

Похожие статьи