SYMMETRIC GROUP AND ITS GENETIC CODE

Research article
DOI:
https://doi.org/10.23670/IRJ.2019.84.6.003
Issue: № 6 (84), 2019
Published:
2019/06/18
PDF

СИММЕТРИЧЕСКАЯ ГРУППА И ЕЕ ГЕНЕТИЧЕСКИЙ КОД

Научная статья

Казинец В.А. *

Тихоокеанский государственный университет, Хабаровск, Россия

* Корреспондирующий автор (kazinec[at]khspu.ru)

Аннотация

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

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

SYMMETRIC GROUP AND ITS GENETIC CODE

Research article

Kazinets V.A. *

Pacific State University, Khabarovsk, Russia

* Corresponding author (kazinec[at]khspu.ru)

Abstract

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, который позволит однозначно представить элементы группы в виде одночлена.

04-07-2019 13-12-55

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

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

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

Существует достаточно много генетических кодов группы 04-07-2019 13-14-51[8], [9].

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

04-07-2019 13-15-11

в порождающих 04-07-2019 13-17-16. Данный код содержит лишние соотношения.

  • Код Мура
04-07-2019 13-15-20

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

04-07-2019 13-15-37

В порождающих 04-07-2019 13-19-49

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

04-07-2019 13-20-05

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

04-07-2019 13-20-17   (1)

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

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

Теорема 1. Пусть 04-07-2019 13-20-26 порождающие группы, тогда тождества

04-07-2019 13-20-41   (2)

Являются генетическим кодом группы 04-07-2019 13-14-51

Доказательства: Обозначим через 04-07-2019 13-29-33

04-07-2019 13-29-47

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

Обратно, пусть  04-07-2019 13-30-02

04-07-2019 13-30-13

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

Теорема 2. Любой элемент 04-07-2019 13-37-44  однозначно  представим в виде

04-07-2019 13-37-53

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

04-07-2019 13-38-10

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

 04-07-2019 13-41-00 , где - остаток от деления числа x на k.

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

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

Теорема 4.Пусть задана перестановка 04-07-2019 13-46-09, тогда степени  04-07-2019 13-41-53, элемента 04-07-2019 13-46-19 являются решением системы линейных уравнений

04-07-2019 13-47-55

Все величины в системе неотрицательные целые числа, при этом 04-07-2019 14-57-24,

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

Замечание. Пусть дан набор чисел 04-07-2019 14-57-47, удовлетворяющих условиям

04-07-2019 14-57-56

04-07-2019 14-59-35 тогда 04-07-2019 15-00-30 порождающие элементы группы 04-07-2019 15-00-42 тождества между которыми легко получить используя формулы  (2).Полученные генетические коды позволяют описать некоторые подгруппы симметрической группы. Например:

а) Элемент 04-07-2019 15-00-59 принадлежит 04-07-2019 15-01-06, подгруппе четных перестановок, тогда и только тогда, когда

04-07-2019 15-07-09

б) Множество элементов 04-07-2019 15-07-19, удовлетворяющих условиям

04-07-2019 15-07-37

образуют подгруппу изоморфную 04-07-2019 15-07-50.

Так как 04-07-2019 15-08-09, то функции на группе04-07-2019 15-08-18 являются периодическими с периодом i+1 по i-той переменной. То есть, если  04-07-2019 15-08-39, то

04-07-2019 15-08-52

Теорема. Пусть набор целых чисел  04-07-2019 15-16-31 удовлетворяет условию 04-07-2019 15-16-45, тогда множество функций

04-07-2019 15-17-16

образует ортогональный базис в пространстве комплекснозначных функций на группе 04-07-2019 15-08-18 относительно стандартного скалярного произведения 04-07-2019 15-17-31

Поставим каждому элементу 04-07-2019 15-17-44 в соответствие целое число

04-07-2019 15-18-08

Легко показать, что данное соответствие является взаимно-однозначным. То есть группа 04-07-2019 15-08-18 взаимно-однозначно отображается на множестве целых чисел отрезка 04-07-2019 15-41-52, тогда функцию 04-07-2019 15-42-03 можно рассматривать как функцию 04-07-2019 15-42-12.

Теорема. Пусть 04-07-2019 15-42-25, m- целое. Тогда функции 04-07-2019 15-43-35, образуют ортогональный базис в пространстве комплекснозначных функций на группе 04-07-2019 15-08-18.

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

04-07-2019 15-43-53

Конфликт интересов Не указан. Conflict of Interest None declared.

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

  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с.

Список литературы на английском языке / References in English

  1. Bogoutdinov D. G. vojstva operacii umnozheniya v gruppe [Properties of multiplication operations in a group] / D. G. Bogoutdinov // XXXIV Dal'nevostochnaya matematicheskaya shkola-seminar im. ak. E. V. Zolotova «Fundamental'nye problemy matematiki i informacionnyh nauk [XXXIV Far-Eastern Mathematical School-Seminar named after. ac EV Zolotov, “Fundamental Problems of Mathematics and Information Sciences”]: mes. report - Khabarovsk: Pacific Publishing House. state University, 2009. - p. 10-12.
  2. James G. Teoriya predstavlenii simmetricheskih grupp [Theory of Representation of Symmetric Groups]: Per. from English / G. James. - M.: Mir, 1982. - 216 p.
  3. Kazinets V. A. Kopredstavlenie simmetricheskoj gruppy [Copresentation of a symmetric group] / V. A. Kazinets // XXXIV Dal'nevostochnaya matematicheskaya shkola-seminar im. ak. E. V. Zolotova «Fundamental'nye problemy matematiki i informacionnyh nauk [XXXIV Far-Eastern Mathematical School-Seminar. ac EV Zolotov, “Fundamental Problems of Mathematics and Information Sciences”]: mes. report - Khabarovsk: Pacific Publishing House. state University, - 2009. - p. 33-35.
  4. Kazinets V. A. Umnozhenie v simmetricheskoj gruppe, zadannoj geneticheskim kodom [Multiplication in the symmetric group given by the genetic code] / V. A. Kazinets // Dejstvie torov: topologiya, geometriya, teoriya chisel: tezisy dokladov Mezhdunarodnoj otkrytoj rossijsko-kitajskoj konferencii [Action of tori: topology, geometry, number theory: abstracts of the International Open Russian-Chinese Conference], Khabarovsk, 2-7 September 2013 city / under scientific ed. Buchstaber V.M., Bykovsky V.A. - Khabarovsk: Pacific Publishing House. state University, - 2013. - p. 89-90.
  5. Kazinets V. A. Umnozhenie v konechnyh gruppah, zadannyh geneticheskim kodom [Multiplication in finite groups defined by the genetic code] / V. A. Kazinets, A. Yu. Razumovskaya // Nauchno-obrazovatel'nyj zhurnal «Vestnik Priamurskogo gosudarstvennogo universiteta im. SHolom-Alejhema [Scientific and educational journal "Bulletin of the Amur State University. Sholem Aleichem "] / Birobidzhan: Publishing House of FSBEI HPE" PSU them. Sholem Aleichem ”, - 2014. - №4 (17) .– P. 83-86.
  6. Kazinets, V. A. Nekotorye svojstva gruppy ,zadannoj geneticheskim kodom [Some properties of a group given by a genetic code] / V.A. Kazinets, I.Yu. Dukhovnikova // Integraciya nauki i praktiki v sovremennyh usloviyah : Materialy XII Mezhdunarodnoj nauchno-prakticheskoj konferencii (19 iyunya 2018g.): sbornik nauchnyh trudov [Integration of science and practice in modern conditions: Proceedings of the XII International Scientific and Practical Conference] (June 19, 2018): collection of scientific papers / Scientific Ed. Cand. tech. Sciences, Assoc. Tsechoev A.Kh.- M.: Perot Publishing House, 2018. - P.63-65.
  7. Kazinets V. A. ekotorye svojstva gruppy, zadannoj geneticheskim kodom [Some properties of a group given by a genetic code] / V.A. Kazinets, I.Yu. Dukhovnikova // Integraciya nauki i praktiki v sovremennyh usloviyah : Materialy XII Mezhdunarodnoj nauchno-prakticheskoj konferencii (19 iyunya 2018g.): sbornik nauchnyh trudov [Integration of science and practice in modern conditions: Proceedings of the XII International Scientific and Practical Conference (June 19, 2018)]: collection of scientific papers / Scientific Ed. Cand. tech. Sciences, Assoc. Tsechoev A.Kh.- M.: Perot Publishing House, 2018. - P.63-65.
  8. Coxeter, G.S.M. Porozhdayushchie elementy i opredelyayushchie sootnosheniya diskretnyh grupp: per. s angl [The generating elements and the defining relations of discrete groups: Per. from English] / G.S.M. Coxeter, W. O. J. Moser; by ed. Yu. I. Merzlyakov. - M .: Science, - 1980. - 240s.
  9. Magnus V. Kombinatornaya teoriya grupp. Predstavlenie grupp v terminah obrazuyushchih i sootnoshenij [Combinatorial group theory. Representation of groups in terms of generators and relations] / V. Magnus, A. Karras, D. Solitaire; per. from English D.I. Moldavansky, A.A. Fridman, Yu.I. Khmelevsky; by ed. Md grindlinger - M .: Science, 1974. - 456s.