Симметрическая группа и ее генетический код

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Симметрическая группа и ее генетический код

Казинец В.А.

Аннотация

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

Ключевые слова: Симметрическая группа, генетический код, подгруппы. генетический код симметрический ортогональный

The article contains the description of the genetic code of the symmetric group. A new approach to the construction of the genetic codes of the symmetric group is proposed. Based on this approach, an unambiguous representation of the elements of the group in the form of a product of cycles is obtained. Using this representation, we studied some properties of the Sn group. The representation of the elements of the group as a monomial allows constructing orthogonal bases in the space of complex-valued functions on the group.

Keywords: Symmetric group, genetic code, subgroups.

Введение

Симметрическая группа играет существенную роль в теории групп, так как любая конечная группа является ее подгруппой, при этом на представлениях этой группы во многом базируются представления классических матричных групп, подгруппа четных перестановок является группой Вейля. Неприводимые представления Sn обычно описывают с помощью диаграмм и таблиц Юнга [2], что приводит к серьезным комбинаторным сложностям, рассматривать функции с аргументом в виде таблиц Юнга не очень удобно. Мы предлагаем другой подход к описанию группы Sn, который позволит однозначно представить элементы группы в виде одночлена.

Накладывая условия на степени данного одночлена, получим подгруппы симметрической группы. Заметим, что комплеснозначные функции на группе являются периодическими функциями от n-1 переменной с периодом T=i+1 по i-той переменной, что позволит построить ортогональный базис.

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

Первые определения, теоремы и проблемы теории групп, возникшие в трудах Лагранжа, Абеля и Галуа, относились к группам перестановок (симметрической группе). В соответствии с теоремой Кэли, любая конечная группа изоморфна некоторой подгруппе группы перестановок, что указывает на значимость симметрической группы в теории групп.

Существует достаточно много генетических кодов группы [8], [9].

· Код Бернсайда

в порождающих . Данный код содержит лишние соотношения.

· Код Мура

Мур указал и следующий код

В порождающих

В настоящее время наиболее часто используется следующее представление

В работах [1],[3],[4] предложен генетический код симметрической группы, определяемый тождествами:

(1)

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

Основные результаты

Теорема 1. Пусть порождающие группы, тогда тождества

(2)

Являются генетическим кодом группы

Доказательства: Обозначим через

То есть тождества (2) порождают тождества (1).

Обратно, пусть

Тождества (1) порождают тождества (2),что и доказывает теорему.

Теорема 2. Любой элемент однозначно представим в виде

Рассмотрим действие элемента на множестве {0,1,2,…,n-1}, обычно элемент представляют в виде перестановки

Теорема 3. Имеет место равенство

, где - остаток от деления числа x на k.

Для доказательства данного утверждения достаточно заметить, что - это цикл (0,1,2,…,i-1), а сдвиг цикла на по модулю i+1.

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

Теорема 4.Пусть задана перестановка , тогда степени , элемента являются решением системы линейных уравнений

Все величины в системе неотрицательные целые числа, при этом ,

Теорема 3 позволяет сформулировать следующее утверждение

Замечание. Пусть дан набор чисел , удовлетворяющих условиям

тогда порождающие элементы группы тождества между которыми легко получить используя формулы (2).Полученные генетические коды позволяют описать некоторые подгруппы симметрической группы. Например:

а) Элемент принадлежит , подгруппе четных перестановок, тогда и только тогда, когда

б) Множество элементов , удовлетворяющих условиям

образуют подгруппу изоморфную .

Так как , то функции на группе являются периодическими с периодом i+1 по i-той переменной. То есть, если , то

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

образует ортогональный базис в пространстве комплекснозначных функций на группе относительно стандартного скалярного произведения

Поставим каждому элементу в соответствие целое число

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

Теорема. Пусть , m- целое. Тогда функции , образуют ортогональный базис в пространстве комплекснозначных функций на группе .

Заключение. Полученные результаты позволяют перейти к изучению свойств симметрической группы, описанию ее подгрупп, рассмотрению функций, определяющих умножение в группе [4], описанию сопряженных элементов, построению неприводимых представлений симметрической группы без использования диаграмм Юнга. Обратим внимание на интересные тождества, получаемые при описании группы в терминах одночленов

Cписок литературы

1. Богоутдинов Д. Г. Свойства операции умножения в группе / Д. Г. Богоутдинов // XXXIV Дальневосточная математическая школа-семинар им. ак. Е. В. Золотова «Фундаментальные проблемы математики и информационных наук»: тез. докл. - Хабаровск: Изд-во Тихоокеан. гос. ун-та, 2009. - С. 10-12.

2. Джеймс Г. Теория представлении симметрических групп: пер. с англ. / Г. Джеймс. - М. : Мир, 1982. - 216 с.

3. Казинец В. А. Копредставление симметрической группы / В. А. Казинец // XXXIV Дальневосточная математическая школа-семинар им. ак. Е. В. Золотова «Фундаментальные проблемы математики и информационных наук»: тез. докл. - Хабаровск: Изд-во Тихоокеан. гос. ун-та, - 2009. - С. 33-35.

4. Казинец В. А. Умножение в симметрической группе, заданной генетическим кодом / В. А. Казинец // Действие торов: топология, геометрия, теория чисел: тезисы докладов Международной открытой российско-китайской конференции, Хабаровск, 2-7 сентября 2013 г. / под научной ред. Бухштабера В. М., Быковского В. А. - Хабаровск: Изд-во Тихоокеан. гос. ун-та, - - С. 89-90.

5. Казинец В. А. Умножение в конечных группах, заданных генетическим кодом / В. А. Казинец, А.Ю. Разумовская // Научно-образовательный журнал «Вестник Приамурского государственного университета им. Шолом-Алейхема»/ Биробиджан: Изд-во ФГБОУВПО «ПГУ им.Шолом-Алейхема», - - №4(17).- С. 83-86.

6. Казинец В. А. Некоторые свойства группы ,заданной генетическим кодом / В.А. Казинец, И.Ю. Духовникова // Интеграция науки и практики в современных условиях : Материалы XII Международной научно-практической конференции (19 июня 2018г.): сборник научных трудов / Научный ред. канд. техн. наук, доц. Цечоева А.Х.- М.:Издательство «Перо», 2018. - С.63-65.

7. Казинец В. А. Некоторые свойства группы ,заданной генетическим кодом / В.А. Казинец, И.Ю. Духовникова // Интеграция науки и практики в современных условиях : Материалы XII Международной научно-практической конференции (19 июня 2018г.): сборник научных трудов / Научный ред. канд. техн. наук, доц. Цечоева А.Х.- М.:Издательство «Перо», 2018. - С.63-65.

8. Коксетер Г. С. М. Порождающие элементы и определяющие соотношения дискретных групп: пер. с англ. / Г. С. М. Коксетер, У. О. Дж. Мозер; под ред. Ю. И. Мерзлякова. - М.: Наука, - 1980. - 240с.

9. Магнус В. Комбинаторная теория групп. Представление групп в терминах образующих и соотношений / В. Магнус, А. Каррас, Д. Солитэр; пер. с англ. Д. И. Молдаванского, А. А. Фридмана, Ю. И. Хмелевского; под ред. М. Д. Гриндлингера. - М.: Наука, 1974. - 456с.

Размещено на Allbest.ru