Русская Википедия:Задание группы

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

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

Краткое описание данного метода состоит в следующем. Пусть подмножество <math>S</math> группы <math>G</math> порождает её, то есть каждый её элемент может быть записан словом в алфавите из элементов из <math>S</math> и обратных к ним. При такой кодировке конкатенация слов соответствует умножению элементов группы, а значит, теоретически вся групповая структура задаётся информацией о том, какие пары таких слов представляют один и тот же элемент группы <math>G</math>. Такие пары называются соотношениями. Некоторые соотношения можно вывести из других, например, если <math>ab=ba</math> и <math>b=c</math>, то <math>ac=ca</math>. Метод задания группы образующими и соотношениями состоит в том, чтобы указать (по возможности небольшой) список <math>R</math> определяющих соотношений, которого, с учетом заранее оговоренных правил вывода, хватит для хранения полной информации о группе. В этом случае пишут <math>G \cong \langle S \mid R\rangle</math>.

Данный метод описания групп более эффективен чем, например, таблицы Кэли. Так, использование таблиц Кэли невозможно для бесконечных групп и нецелесообразно даже для конечных групп большого порядка. Например, таблица Кэли циклической группы порядка <math>n</math> состоит из <math>n^2</math> элементов, но эта группа допускает вполне краткое задание: <math>\langle a \mid a^n = 1\rangle</math>, которое означает, что любой её элемент можно записать как степень элемента <math>a</math>, и при этом <math>n</math> — наименьшая такая степень, что <math>a^n</math> — нейтральный элемент.

Каждая не более чем счётная группа допускает задание образующими и соотношениями. Смысл обозначения <math>G \cong \langle S \mid R\rangle</math> состоит в том, что если группа имеет такое задание, то она изоморфна факторгруппе свободной группы с базисом <math>S</math> по нормальному замыканию множества <math>R</math> определяющих соотношений.

Предыдущий изоморфизм позволяет установить так называемое универсальное свойство задания групп образующими и соотношениями. Так, с точки зрения теории категорий группа <math>\langle S \mid R\rangle</math> — это «наиболее свободная» из всех групп, порождаемых <math>S</math>, в которой элементы из <math>S</math> подчиняются соотношениям из <math>R</math>.

Задания являются основным инструментом Шаблон:Нп5.

Связанные определения

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

Каждая конечно представимая группа является конечно порождённой, но обратное в общем случае неверно. Например, лампочная группа является конечно порождённой, но не конечно представимой.

Терминология

Термин «задание» не является абсолютно общеупотребительным. В некоторых книгах используется термин «(генетический) код группы». Также можно встретить понятие «представление группы» в обсуждаемом здесь смысле , оно может считаться переводом Шаблон:Lang-en, однако является двусмысленным, так как термин представление группы (Шаблон:Lang-en) широко распространён для так называемых линейных представлений групп — последние никак не связаны с заданием и, более того, в каком-то смысле противоположны ему.

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

Свойства

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

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

Примеры

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

Группа	Задание	Пояснения
Свободная группа на S	<math>\langle S\mid\varnothing\rangle</math>	Свободная группа «свободна» в том смысле, что она не ограничивается никакими соотношениями.
Zn — циклическая группа порядка n	<math>\langle a \mid a^n\rangle</math>
Dn — группа диэдра порядка 2n	<math>\langle r, s \mid r^n = 1, s^2 = 1, s^{-1}rs = r^{-1} \rangle</math> или <math>\langle x, y \mid x^n = y^2 = (xy)^2 = 1 \rangle</math>	r обозначает поворот, s — симметрию
D∞ — бесконечная диэдральная группа	<math>\langle r, s \mid s^2, (rs)^2\rangle</math>
Группа кватернионов Q8	<math>\langle -1,i,j,k \mid (-1)^2 = 1, \;i^2 = j^2 = k^2 = ijk = -1 \rangle</math> или <math>\langle x,y \mid x^4 = 1, x^2 = y^2, y^{-1}xy = x^{-1}\rangle</math>
Обобщённая группа кватернионов Q4n	<math>\langle x,y \mid x^{2n} = y^4 = 1, x^n = y^2, y^{-1}xy = x^{-1}\rangle.</math>
свободная абелева группа на S	<math>\langle S \mid R \rangle</math>	R — множество всех коммутаторов элементов S
Симметрическая группа Sn	\sigma_i^2,\sigma_i\sigma_{i+1}\sigma_i = \sigma_{i+1}\sigma_i\sigma_{i+1},\sigma_i\sigma_{j}=\sigma_j\sigma_i\ \text{if}\ |i-j|>1\rangle</math> или <math>\langle\sigma_1,\sigma_2,\dots,\sigma_{n-1}|\sigma_i^2,(\sigma_i\sigma_{i+1})^3,\sigma_i\sigma_{j}=\sigma_j\sigma_i\ \text{if}\ |i-j|>1\rangle</math>	σi — транспозиция, меняющая местами i-й элемент с i+1-м.
Группа кос Bn	\sigma_i\sigma_{i+1}\sigma_i = \sigma_{i+1}\sigma_i\sigma_{i+1},\sigma_i\sigma_{j}=\sigma_j\sigma_i\ \text{if}\ |i-j|>1\rangle</math>	Единственное отличие от симметрической группы — исчезновение соотношений <math>\sigma_i^2 = 1</math>.
Знакопеременная группа An	(s_i)^3=1, (s_is_j)^2=1 (3\leqslant i\neq j\leqslant n)\rangle</math>	<math>s_i\to (12i)</math>
Группа вращений тетраэдра, T ≅ A4	<math>\langle s,t \mid s^2, t^3, (st)^3 \rangle</math>
Группа вращений октаэдра, O ≅ S4	<math>\langle s,t \mid s^2, t^3, (st)^4 \rangle</math>
Группа вращений икосаэдра, I ≅ A5	<math>\langle s,t \mid s^2, t^3, (st)^5 \rangle</math>
Группа Коксетера	<math>\langle r_1,r_2,\ldots,r_n \mid (r_ir_j)^{m_{ij}}=1\rangle</math>	rn — отражения в гранях многогранника, <math>m_{ii}=1</math> и <math>m_{ij}\geqslant 2</math> при <math>i\neq j</math>, <math>m_{ij}=\infty</math> — если грани не образуют двугранного угла в многограннике
Группа треугольника Δ(l,m,n)	<math>\langle a,b,c \mid a^{2} = b^{2} = c^{2} = (ab)^{l} = (bc)^{n} = (ca)^{m} = 1 \rangle</math>	a, b, c — отражения
Z × Z	<math> \langle x, y \mid xy = yx \rangle</math>
Z/mZ × Z/nZ	<math> \langle x, y \mid x^m, y^n, xy = yx \rangle</math>
SL(2, Z)	<math>\langle a,b \mid aba=bab, (aba)^4 \rangle</math>
GL(2, Z)	<math>\langle a,b,j \mid aba=bab, (aba)^4,j^2,(ja)^2,(jb)^2 \rangle</math>
Модулярная группа PSL(2, Z)	<math>\langle a,b \mid a^2, b^3 \rangle</math>	PSL(2, Z) — свободное произведение Z/2Z и Z/3Z
Группа Титса F4(2)	<math>\langle a,b \mid a^2 = b^3 = (ab)^{13} = [a, b]^5 = [a, bab]^4 = (ababababab^{-1})^6 = 1 \rangle</math>	[a, b] — коммутатор

См. также

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