Задание группы

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Задание группы, в теории групп — один из методов определения группы указанием порождающего множества S и множества соотношений между порождающими R. В этом случае говорят, что группа G имеет задание \langle S \mid R\rangle.

Неформально, G имеет такое задание, если она «наиболее свободна» из всех групп, порождаемых S и подчиняющимся соотношениям между элементами S из R. Более формально, группа G изоморфна факторгруппе свободной группы, порождённой S, по нормальному замыканию множества соотношений R.

Самым простым примером задания группы является задание циклической группы порядка n:

\langle a \mid a^n = e\rangle,

где e — это единица группы. Часто для краткости не пишут равенство единице:

\langle a \mid a^n\rangle.

Каждая группа имеет задание и, более того, — много различных заданий; задание, зачастую, это наиболее компактный способ определения группы.

Задания группы изучает специальный раздел теории групп — комбинаторная теория групп (англ.).

Связанные определения[править | править исходный текст]

Конечно заданная группа (или конечно определённая группа) — группа, обладающая конечным числом образующих и задаваемая в этих образующих конечным числом соотношений. Конечнопорождённая группа — группа, обладающая конечным числом образующих. Каждая конечно заданная группа является конечнопорождённой.

Минимальная мощность множества образующих S называется рангом группы.

Терминология[править | править исходный текст]

Термин «задание» не является абсолютно общеупотребительным. В некоторых книгах используется[1] [2] термин «(генетический) код группы». Также можно встретить понятие «представление группы» в обсуждаемом здесь смысле[3] [4] [5] , оно может считаться переводом англ. group presentation, однако является двусмысленным, так как термин представление группы (англ. group representation) широко распространён для так называемых линейных представлений групп — последние никак не связаны с заданием и, более того, в каком-то смысле противоположны ему.

Имея ввиду последнее, задание также иногда называют «копредставлением». Вернее, копредставлением может называться упомянутый выше изоморфизм факторгруппы свободной группы в рассматриваемую группу G. Приставка «ко-» указывает на дуальность этого изоморфизма по отношению к представлению группы, «когда, наоборот, гомоморфизм строится не „в“ G, а „из“ G в некоторую [хорошо изученную] группу линейных операторов, перестановок и т. п.»[6].

Свойства[править | править исходный текст]

Имеет место теорема о том, что произвольная группа является факторгруппой подходящей свободной группы по некоторой нормальной подгруппе, так что любая группа обладает заданием. Задание не обязано быть единственным. Доказать или опровергнуть, что два задания определяют одну и ту же группу сложно (старое название проблемы — одна из проблем Дэна). В общем случае эта проблема алгоритмически неразрешима. Существует несколько классов групп, для которых построен алгоритм разрешения этой проблемы. Перейти от одного задания группы к другому позволяют преобразования Титце четырёх типов: первое преобразование Титце — это добавление во множество соотношений нового соотношения, выводимого из старых; 2-е преобразование Титце — это ввод новой переменной, выраженной через старые; третье и четвёртые преобразования Титце обратны первому и второму соответственно. Ввиду алгоритмической неразрешимости проблемы, поиск цепочки преобразований Титце одного представления в другое является своего рода искусством.

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

Примеры[править | править исходный текст]

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

Группа Задание Пояснения
Свободная группа на S <S | ∅ > Свободная группа «свободна» в том смысле, что она не ограничивается никакими соотношениями.
Zn — циклическая группа порядка n <a | an >
Dn — группа диэдра порядка 2n <a, s | an, s2, (as)2 > a обозначает поворот, s — симметрию
D — бесконечная диэдральная группа <a, s | s2, (as)2>
Z × Z <x, y | xy = yx>
Z/mZ × Z/nZ <x, y| xm, yn, xy = yx>
свободная абелева группа на S <S | R>, где R — множество всех коммутаторов элементов S
Симметрическая группа Sn образующие: \sigma_1, \ldots, \sigma_{n-1}
relations:
  • \sigma_i^2 = 1,
  • \sigma_i\sigma_j = \sigma_j\sigma_i \mbox{ if } j \neq i\pm 1,
  • \sigma_i\sigma_{i+1}\sigma_i = \sigma_{i+1}\sigma_i\sigma_{i+1}\

Последнее соотношение можно переписать как

  • {(\sigma_i\sigma_{i+1}})^3=1\
σi — транспозиция, меняющая местами i-й элемент с i+1-м.
Группа кос Bn образующие: \sigma_1, \ldots, \sigma_{n-1}
  • \sigma_i\sigma_j = \sigma_j\sigma_i \mbox{ if } j \neq i\pm 1,
  • \sigma_i\sigma_{i+1}\sigma_i = \sigma_{i+1}\sigma_i\sigma_{i+1}\
Единственное отличие от симметрической группы — исчезновение соотношений \sigma_i^2 = 1.
Группа вращений тетраэдра, T ≅ A4 \langle s,t \mid s^2, t^3, (st)^3 \rangle\,\!
Группа вращений октаэдра, O ≅ S4 \langle s,t \mid s^2, t^3, (st)^4 \rangle\,\!
Группа вращений икосаэдра, I ≅ A5 \langle s,t \mid s^2, t^3, (st)^5 \rangle\,\!
SL(2, Z) \langle a,b \mid aba=bab, (aba)^4 \rangle\,\!
GL(2, Z) \langle a,b,j \mid aba=bab, (aba)^4,j^2,(ja)^2,(jb)^2 \rangle\,\!
Модулярная группа PSL(2, Z) \langle a,b \mid a^2, b^3 \rangle\,\! PSL(2, Z) — свободное произведение Z/2Z и Z/3Z

См. также[править | править исходный текст]

Ссылки[править | править исходный текст]

  1. 1.3 // Общая алгебра / Под общей редакцией Л. А. Скорнякова. — М.: Наука. Гл. ред. физ.-мат. лит, 1990. — Т. 1. — 592 с.
  2. Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. — Лань, 2009.
  3. Богопольский О. В. Введение в теорию групп. — Москва, Ижевск: Институт компьютерных исследований, 2002.
  4. Линдон Р., Шупп П. Комбинаторная теория групп. — М.: Мир, 1980.
  5. Магнус В., Каррас А., Солитэр Д. Комбинаторная теория групп. Представление групп в терминах образующих и соотношений. — М.: Наука, 1974.
  6. Ольшанский А. Ю. § 4 // Геометрия определяющих соотношений в группах. — М.: Наука. Гл. ред. физ.-мат. лит, 1989. — 448 с.