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

Задание группы, в теории групп — один из методов определения группы указанием порождающего множества $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-е преобразование Титце — это ввод новой переменной, выраженной через старые; третье и четвёртые преобразования Титце обратны первому и второму соответственно. Ввиду алгоритмической неразрешимости проблемы, поиск цепочки преобразований Титце одного представления в другое является своего рода искусством.

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

См. также

• Свободная группа

Ссылки

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