Презентация группы

Спецификация математической группы образующими и отношениями

В математике представление — это один из методов определения группы . Представление группы G включает в себя набор S генераторов — так что каждый элемент группы можно записать как произведение степеней некоторых из этих генераторов — и набор R отношений между этими генераторами. Затем мы говорим, что G имеет представление

${\displaystyle \langle S\mid R\rangle .}$

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

В качестве простого примера циклическая группа порядка n имеет представление

${\displaystyle \langle a\mid a^{n}=1\rangle ,}$

где 1 — идентификатор группы. Это можно записать эквивалентно как

${\displaystyle \langle a\mid a^{n}\rangle ,}$

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

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

Близкородственной, но отличной концепцией является концепция абсолютного представления группы .

Фон

Свободная группа на множестве S — это группа, в которой каждый элемент можно однозначно описать как произведение конечной длины вида:

${\displaystyle s_{1}^{a_{1}}s_{2}^{a_{2}}\cdots s_{n}^{a_{n}}}$

где s _i — элементы S, соседние s _i различны, а a _i — ненулевые целые числа (но n может быть нулевым). Говоря менее формально, группа состоит из слов в образующих и их инверсиях , подлежащих только сокращению генератора с соседним вхождением его обратного слова.

Если G — любая группа, а S — порождающее подмножество G , то каждый элемент G также имеет указанную выше форму; но в целом эти произведения не будут однозначно описывать элемент G.

Например, группа диэдра D ₈ шестнадцатого порядка может быть создана вращением r порядка 8; и флип f порядка 2; и, конечно же, любой элемент D8 _{является} произведением r 's и f 's .

Однако имеем, например, ^rfr = f − ¹ , r7 = r ⁻¹ и т. д., поэтому такие произведения не единственны в _D8 . Каждая такая эквивалентность продукта может быть выражена как равенство тождеству, например:

рфрф = 1 ,

r ⁸ = 1 , или

ж ^{‍ 2} знак равно 1 .

Неформально мы можем рассматривать эти произведения в левой части как элементы свободной группы F = ⟨ r , f ⟩ и можем рассматривать подгруппу R группы F , которая порождается этими строками; каждый из которых также будет эквивалентен 1, если рассматривать его как продукты в D ₈ .

Если затем мы позволим N быть подгруппой F , порожденной всеми сопряженными x ⁻¹ Rx группы R , то по определению следует, что каждый элемент N является конечным произведением x ₁ ⁻¹ r ₁ x ₁ ... x _m ^{−1 .} r _m x _m членов таких конъюгатов. Отсюда следует, что каждый элемент N , если рассматривать его как произведение в D8 _, также будет иметь значение 1; и, таким образом, N является нормальной подгруппой F . Таким образом, _D8 изоморфна факторгруппе F / N . Тогда мы говорим, что D ₈ имеет представление

${\displaystyle \langle r,f\mid r^{8}=1,f^{2}=1,(rf)^{2}=1\rangle .}$

Здесь набор образующих равен S = { r , f  }, а набор отношений равен R = { r ⁸ = 1, f ² = 1, ( rf ) ² = 1} . Мы часто видим сокращение R , дающее представление

${\displaystyle \langle r,f\mid r^{8}=f^{2}=(rf)^{2}=1\rangle .}$

Еще более короткая форма опускает знаки равенства и идентичности, чтобы перечислить только набор отношений, который равен { r ⁸ , f ² , ( rf ) ² } . Это дает презентацию

${\displaystyle \langle r,f\mid r^{8},f^{2},(rf)^{2}\rangle .}$

Все три презентации эквивалентны.

Обозначения

Хотя обозначение ⟨ S | R ⟩ , используемый в этой статье для презентации, сейчас является наиболее распространенным, раньше авторы использовали разные варианты одного и того же формата. К таким обозначениям относятся следующие: ^{[ нужна ссылка ]}

• ⟨ С | Р ⟩
• ( С | Р )
• { С ; Р }
• ⟨ С ; Р ⟩

Определение

Пусть S — множество, и пусть FS _— свободная группа на S. Пусть R — набор слов на S , поэтому R естественным образом дает подмножество слов . Чтобы сформировать группу с представлением , возьмите фактор по наименьшей нормальной подгруппе, которая содержит каждый элемент R. (Эта подгруппа называется нормальным замыканием N группы R в .) Затем группа определяется как факторгруппа ${\displaystyle F_{S}}$ ${\displaystyle \langle S\mid R\rangle }$ ${\displaystyle F_{S}}$ ${\displaystyle F_{S}}$ ${\displaystyle \langle S\mid R\rangle }$

${\displaystyle \langle S\mid R\rangle =F_{S}/N.}$

Элементы S называются генераторами , а элементы R называются связями . Говорят, что группа G имеет представление, если G изоморфна . ^[1] ${\displaystyle \langle S\mid R\rangle }$ ${\displaystyle \langle S\mid R\rangle }$ ${\displaystyle \langle S\mid R\rangle }$

Распространенной практикой является запись реляторов в форме, где x и y — слова на S. Это означает, что . Это имеет интуитивный смысл: изображения x и y должны быть равны в факторгруппе. Так, например, r ⁿ в списке отношений эквивалентен . ^[1] ${\displaystyle x=y}$ ${\displaystyle y^{-1}x\in R}$ ${\displaystyle r^{n}=1}$

Для конечной группы G можно построить представление G по таблице группового умножения следующим образом. Возьмем S за элементы множества G , а за R — все слова вида , где — запись в таблице умножения. ${\displaystyle g_{i}}$ ${\displaystyle g_{i}g_{j}g_{k}^{-1}}$ ${\displaystyle g_{i}g_{j}=g_{k}}$

Альтернативное определение

Альтернативно определение группового представления может быть переработано с точки зрения классов эквивалентности слов в алфавите . С этой точки зрения мы объявляем два слова эквивалентными, если можно перейти от одного к другому с помощью последовательности ходов, где каждый ход состоит из добавления или удаления последовательной пары или для некоторого x в S , или путем добавления или удаления удаление последовательной копии релятора. Элементы группы — это классы эквивалентности, а групповая операция — конкатенация. ^[1] ${\displaystyle S\cup S^{-1}}$ ${\displaystyle xx^{-1}}$ ${\displaystyle x^{-1}x}$

Эта точка зрения особенно распространена в области комбинаторной теории групп .

Конечно представленные группы

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

Рекурсивно представленные группы

Если S индексируется множеством I, состоящим из всех натуральных чисел N или их конечного подмножества, то легко установить простое однозначное кодирование (или нумерацию Гёделя ) f  : F _S → N из свободной группы на S к натуральным числам, так что мы можем найти алгоритмы, которые по заданному f ( w ) вычисляют w и наоборот. Тогда мы можем назвать подмножество U в FS рекурсивным (соответственно рекурсивно перечислимым ) _, если f ( U ) рекурсивно (соответственно рекурсивно перечислимо). Если S индексируется, как указано выше, а R рекурсивно перечисляемо, то представление является рекурсивным представлением , и соответствующая группа представляется рекурсивно . Такое использование может показаться странным, но можно доказать, что если у группы есть представление с рекурсивно перечислимым R , то у нее есть другое представление с рекурсивным R.

Каждая конечно представимая группа рекурсивно представлена, но существуют рекурсивно представленные группы, которые не могут быть конечно представимы. Однако теорема Грэма Хигмана утверждает, что конечно порожденная группа имеет рекурсивное представление тогда и только тогда, когда она может быть вложена в конечно представленную группу. ^[2] Отсюда можно вывести, что существует (с точностью до изоморфизма) лишь счетное число конечно порожденных рекурсивно представленных групп. Бернхард Нейман показал, что существует бесчисленное множество неизоморфных двух образующих групп. Следовательно, существуют конечно порожденные группы, которые невозможно представить рекурсивно.

История

Одно из первых представлений группы образующими и отношениями было дано ирландским математиком Уильямом Роуэном Гамильтоном в 1856 году в его икосианском исчислении — представлении икосаэдрической группы . ^[3] Первое систематическое исследование было проведено Вальтером фон Дейком , учеником Феликса Кляйна , в начале 1880-х годов, заложив основы комбинаторной теории групп . ^[4]

Примеры

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

Примером конечно порожденной группы , которая не является конечно представленной, является сплетение группы целых чисел с самой собой. ${\displaystyle \mathbf {Z} \wr \mathbf {Z} }$

Некоторые теоремы

Теорема. У каждой группы есть презентация.

Чтобы убедиться в этом, рассмотрим группу G , _{свободную} группу FG на G. По универсальному свойству свободных групп существует единственный гомоморфизм групп φ : F _G → G , ограничение которого на G является тождественным отображением. Пусть K — ядро ​​этого гомоморфизма. Тогда K нормален в F _G и, следовательно, равен его нормальному замыканию, поэтому ⟨ G | K ⟩ знак равно F _грамм / K . Поскольку тождественное отображение сюръективно, φ также сюръективен, поэтому по Первой теореме об изоморфизме ⟨ G | K ⟩ ≅ im( φ ) знак равно грамм . Такое представление может быть крайне неэффективным, если G и K намного больше, чем необходимо.

Следствие. Каждая конечная группа имеет конечное представление.

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

Теорема Новикова–Буна.

Отрицательное решение проблемы слов для групп утверждает, что существует конечное представление ⟨ S | R ⟩, для которого не существует алгоритма, который по двум словам u , v решает, описывают ли u и v один и тот же элемент в группе. Это было показано Петром Новиковым в 1955 году ^[5] , другое доказательство было получено Уильямом Буном в 1958 году ^[6].

Конструкции

Предположим, G имеет представление ⟨ S | R ⟩ и H имеет представление ⟨ T | Q ⟩, где S и T не пересекаются. Затем

• свободный продукт G ∗ H имеет представление ⟨ S , T | R , Q ⟩ и
• прямое произведение G × H имеет представление ⟨ S , T | R , Q , [ S , T ]⟩ , где [ S , T ] означает, что каждый элемент из S коммутирует с каждым элементом из T (см. коммутатор ).

Дефицит

Недостаток конечного представления ⟨ S | Р ⟩ просто | С | − | р | и недостаток конечно представленной группы G , обозначаемый def( G ), является максимумом недостатка среди всех представлений G. Недостаток конечной группы неположителен. Мультипликатор Шура конечной группы G может быть порожден генераторами −def( G ), и G эффективен , если это число требуется. ^[7]

Геометрическая теория групп

Представление группы определяет геометрию в смысле геометрической теории групп : имеется граф Кэли , который имеет метрику , называемую словесной метрикой . Это также два результирующих порядка, слабый порядок и порядок Брюа , и соответствующие диаграммы Хассе . Важный пример – группы Кокстера .

Кроме того, некоторые свойства этого графа ( грубая геометрия ) являются внутренними, то есть не зависят от выбора генераторов.

Смотрите также

• Преобразование Нильсена
• Презентация модуля
• Представление моноида
• Обозначение построителя множеств
• Преобразование Титце

Примечания

1. Пайфер, Дэвид (1997). «Введение в комбинаторную теорию групп и проблему слов». Журнал «Математика» . 70 (1): 3–10. дои : 10.1080/0025570X.1997.11996491.
2. Хигман, Г. (8 августа 1961). «Подгруппы конечно определенных групп». Труды Лондонского королевского общества. Серия А. Математические и физические науки . 262 (1311): 455–475. Бибкод : 1961RSPSA.262..455H. дои : 10.1098/rspa.1961.0132. ISSN  0080-4630. S2CID  120100270.
3. Сэр Уильям Роуэн Гамильтон (1856). «Меморандум о новой системе корней единства» (PDF) . Философский журнал . 12 : 446. Архивировано (PDF) из оригинала 26 июня 2003 г.
4. Стиллвелл, Джон (2002). Математика и ее история . Спрингер. п. 374. ИСБН 978-0-387-95336-6.
5. Новиков, Петр С. (1955), «Об алгоритмической неразрешимости проблемы слова в теории групп», Труды Математического института им. Стеклова (на русском языке), 44 : 1–143, Zbl  0068.01301
6. Бун, Уильям В. (1958), «Проблема слов» (PDF) , Proceedings of the National Academy of Sciences , 44 (10): 1061–1065, Бибкод : 1958PNAS...44.1061B, doi : 10.1073/pnas .44.10.1061 , PMC 528693 , PMID  16590307, ​​Zbl  0086.24701, заархивировано (PDF) из оригинала 24 сентября 2015 г. 
7. Джонсон, DL; Робертсон, Э.Л. (1979). «Конечные группы нулевого дефекта». Ин Уолл, CTC (ред.). Гомологическая теория групп . Серия лекций Лондонского математического общества. Том. 36. Издательство Кембриджского университета . стр. 275–289. ISBN 0-521-22729-1. Збл  0423.20029.

Рекомендации

• Коксетер, HSM ; Мозер, WOJ (1980). Генераторы и соотношения для дискретных групп . Нью-Йорк: Springer-Verlag. ISBN 0-387-09212-9.― В этом полезном справочнике есть таблицы представлений всех малых конечных групп, групп отражений и т. д.
• Джонсон, Д.Л. (1997). Презентации групп (2-е изд.). Кембридж: Издательство Кембриджского университета. ISBN 0-521-58542-2.― метод Шрайера, метод Нильсена, свободные представления, подгруппы и HNN-расширения, теорема Голода–Шафаревича и др.
• Симс, Чарльз К. (1994). Вычисления с конечно представленными группами (1-е изд.). Кембридж: Издательство Кембриджского университета. ISBN 978-0-521-13507-8.― фундаментальные алгоритмы из теоретической информатики, вычислительной теории чисел, вычислительной коммутативной алгебры и т. д.

Внешние ссылки

• де Корнюлье, Ив. «Групповая презентация». Математический мир .
• Малые группы и их презентации по GroupNames