теория-групп — Перемножение независимых циклов без таблиц
a и b — это перестановки, в методичке перемножение выполнялось записыванием циклов одной перестановки, после чего приписывались циклы другой перестановки. Теперь необходимо сократить все это как-то.
Я понимаю, что перестановки. Только у Вас в заголовке «независимые циклы». А как же понимать b? Куда переставляется, например, 4 — на место 1 или на место 3 (первая и вторая скобка).
В общем, нужно уточнить обозначения.
Это общепринятое обозначение. Запись $%(a_1. a_n)$% обозначает цикл$%a_1\mapsto a_2. a_
Хорошо, понятно. Ставлю Вам «плюс». А перемножаются в каком порядке: справа налево или слева направо?
Как в любой композиции, справа налево
Спс 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
Правильно ли я сделал задачу на перестановки?
На множестве
. Найти
как
. То есть 
Последний раз редактировалось timas-cs 09.04.2017, 18:32, всего редактировалось 2 раз(а).
Metford , если я правильно разобрался-
, и в степени
тоже самое.
Вам бы переписать всё с самого начала. alt=»$\tau$» />у вас в первом сообщении какое-то странное, и разложение произведения на циклы в стартовом тоже очень странное. В третьем, может, и правильное, но alt=»$\tau$» />-то это не отменяет!
iifat
Хорошо. Итак 
Последний раз редактировалось crazy_taxi_driver 10.04.2017, 01:16, всего редактировалось 3 раз(а).
Да, и произведение, и ответ — верные.
Ой, нет, извините, неверные.
Действуем на 1:
: 1->3
: 3->2, соответственно
: 1->2. Вы вычислили произведение
, и правильно возвели его в -25 степень.
Ниже — код GAP Ваших вычислений (не той задачи что в ОП). В GAP другое соглашение записи порядка произведения перестановоок (кто-нибудь знает почему?)
timas-cs ,
Вы зачем-то переводите перестановку
из цикловой записи в двухстрочную.
ГОРАЗДО удобнее поступать ровно наоборот — переводить
из двухстрочной записи в цикловую.
В таком виде легко возвести подстановку в любую степень в уме, за доли секунды.
Ошибка найдена и исправлена. Неправильно посчитал произведение. Перепутал порядак тау-пи и пи-тау.
Последний раз редактировалось Munin 10.04.2017, 22:13, всего редактировалось 1 раз.
Как умножать две перестановки в виде циклов.
Начинаете с первого цикла первой перестановки. Пишете эту цифру:
Потом смотрите, куда она перейдёт
1) по своему циклу в
;
2) из её образа по циклу второй перестановки в 
Пишете после
этот второй образ. Потом берёте его, ищете в первой перестановке (в любом цикле), и повторяете шаги (1, 2). И так, пока не вернётесь к
— тогда ваш цикл закончен.
Параллельно вычёркиваете, например, в первой перестановке все цифры, которые вы смотрели шагом (1). Начинаете следующий цикл с какой-нибудь невычеркнутой цифры. И так, пока не вычеркнете все (или подчёркиваете, как вам больше нравится).
Процедура обобщается на
множителей.
Умножение перестановок, обратная перестановка, группа перестановок
Также обратная перестановка единственна. Это следует из того, что для каждой [math] i [/math] -ой позиций в исходной перестановке однозначно определяется [math] j [/math] -ая позиций в обратной перестановке, значение которой есть [math] i [/math]
| Определение: |
| Перестановка, равная своей обратной, называется инволюцией (англ. involution): [math] a_i = a^<-1>_i \Rightarrow (aa ^<-1>)_i = (aa)_i = a_ |
| Определение: |
| Перестановка, содержащая чётное количество инверсий, называется чётной (англ. 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
Где через [math] a_