WikiSort.ru - Не сортированное

Свобо́дная гру́ппа в теории групп — группа ${\displaystyle G}$ , для которой существует подмножество ${\displaystyle S\subset G}$ такое, что каждый элемент ${\displaystyle G}$ записывается единственным образом как произведение конечного числа элементов ${\displaystyle S}$ и их обратных. (Единственность понимается с точностью до тривиальных комбинаций наподобие ${\displaystyle st=su^{-1}ut}$ .) Говорят, что ${\displaystyle G}$ (свободно) порождена ${\displaystyle S}$ и пишут: ${\displaystyle F_{S}}$ или ${\displaystyle F_{n},}$ если ${\displaystyle S}$ есть множество из ${\displaystyle n}$ элементов.

Близкое, но отличное понятие: свободная абелева группа (которая не является, вообще говоря, свободной группой).

Конструктивное определение

Возможно предъявить явную конструкцию свободных групп, доказав тем самым их существование^[1][2]. Будем считать элементы множества ${\displaystyle S}$ «символами» и для каждого символа ${\displaystyle s}$ из ${\displaystyle S}$ введём символ ${\displaystyle s^{-1}}$ ; множество последних обозначим ${\displaystyle S^{-1}}$ . Пусть

${\displaystyle T=S\cup S^{-1}}$ .

Определим слово над ${\displaystyle S}$ как конечную цепочку (возможно, повторяющихся) символов из ${\displaystyle T}$ , записанных друг за другом. Вместе с операцией конкатенации (склейки, приписывания) множество слов над ${\displaystyle S}$ становится полугруппой. Будем считать, что во множестве слов имеется пустое слово ${\displaystyle \varepsilon }$ , которое не содержит символов. Таким образом получается моноид слов над ${\displaystyle S.}$

Например, для ${\displaystyle S=\{a,b,c\}}$ . ${\displaystyle T=\{a,a^{-1},b,b^{-1},c,c^{-1}\}}$ , два слова:

${\displaystyle \alpha =abc^{-1}a,~~\beta =b^{-1}ba^{-1}}$ ,

и их конкатенация:

${\displaystyle \gamma =\alpha \beta =abc^{-1}ab^{-1}ba^{-1}}$ .

Например, ${\displaystyle \alpha \varepsilon =\alpha =abc^{-1}a}$ .

Далее вводится правило редукции слов. Если в некотором слове за символом (символу) из ${\displaystyle S}$ следует (предшествует) соответствующий ему символ из ${\displaystyle S^{-1},}$ то удаление этой пары символов назовём редукцией. Слово называется редуцированным, если в нём больше нельзя провести редукцию. Полной редукцией называется последовательное применение редукции к данном слову до тех пор, пока оно не станет редуцированным. Например, из слова ${\displaystyle \gamma }$ (см. пример выше) после полной редукции получается редуцированное слово: ${\displaystyle abc^{-1}.}$

Свободной группой ${\displaystyle F_{S}}$ , порождённой множеством ${\displaystyle S}$ (или свободной группой над ${\displaystyle S}$ ) называется группа редуцированных слов над ${\displaystyle S}$ с операцией конкатенации (за которой следует полная редукция результата при необходимости).

Свойства

• Все свободные группы, порождённые равномощными множествами, изоморфны. При этом мощность множества, порождающего данную свободную группу, называется её рангом.
• Свободная группа ${\displaystyle F_{n}}$ изоморфна свободному произведению ${\displaystyle n}$ копий ${\displaystyle \mathbb {Z} }$ .
• Теорема Нильсена — Шрайера: любая подгруппа свободной группы свободна.
• Любая группа ${\displaystyle G}$ есть факторгруппа некоторой свободной группы ${\displaystyle F_{S}}$ по некоторой её подгруппе H. За ${\displaystyle S}$ могут быть взяты образующие ${\displaystyle G}$ . Тогда существует естественный эпиморфизм ${\displaystyle f:\;F_{S}\to G}$ . Ядро H этого эпиморфизма является множеством соотношений задания ${\displaystyle G=\langle S,H\rangle }$ .
• Коммутант свободной группы конечного ранга имеет бесконечный ранг. Например, коммутант порождённой двумя элементами свободной группы ${\displaystyle F(a,b)}$  — это свободная группа, порождённая всеми коммутаторами ${\displaystyle [a^{n},b^{m}],\,m,n\neq 0}$ .

Универсальное свойство

Свободная группа ${\displaystyle F_{S}}$  — это в некотором смысле наиболее общая группа, порождённая множеством ${\displaystyle S.}$ А именно, для любой группы ${\displaystyle G}$ и любого отображения множеств ${\displaystyle f\colon S\to G}$ существует единственный гомоморфизм групп ${\displaystyle \varphi \colon F_{S}\to G,}$ для которого следующая диаграмма коммутативна:

Таким образом, существует взаимно однозначное соответствие между множествами отображений ${\displaystyle S\to G}$ и гомоморфизмов ${\displaystyle F_{S}\to G}$ . Для несвободной группы соотношения в группе накладывали бы ограничения на возможные образы образующих элементов группы.

Это свойство можно принять за определение свободной группы^[3], при этом она определена лишь с точностью до изоморфизма, как и любой универсальный объект. Это свойство называется универсальностью свободных групп. Порождающее множество ${\displaystyle S}$ называется базисом группы ${\displaystyle F_{s}}$ . Одна и та же свободная группа может иметь разные базисы.

С точки зрения теории категорий свободная группа — это функтор из категории множеств ${\displaystyle \mathbf {Set} }$ в категорию групп ${\displaystyle \mathbf {Grp} }$ , являющийся левым сопряжённым для забывающего функтора ${\displaystyle \mathbf {Grp} \to \mathbf {Set} }$ .

Примечания

Литература

• Мельников О. В., Ремесленников В. Н., Романьков В. А.  Глава II. Группы // Общая алгебра / Под общ. ред. Л. А. Скорнякова. — М.: Наука, 1990. — Т. 1. — С. 66—290. — 592 с. — (Справочная математическая библиотека). — 30 000 экз. — ISBN 5-02-014426-6.