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

Не следует путать со Свободная абелева группа.

Свобо́дная гру́ппа в теории групп — группа, для которой существует такое её подмножество, называемое базисом, что каждый элемент группы может быть единственным образом записан в виде несократимого слова в элементах базиса и их обратных. Является центральным понятием комбинаторной теории групп.

Граф Кэли свободной группы с базисом $\{a,b\}$$\{a,b\}$.

Любые две группы, обладающие равномощными базисами, изоморфны. Мощность базиса свободной группы называется её рангом. В частности, для каждого $n\in <!--\; \in \; -->\mathbb{N}$$n\in \mathbb {N}$ определена свободная группа ранга $n$$n$, которая обозначается $F_n$$F_{n}$. Например, группа $F_1$$F_{1}$ изоморфна бесконечной циклической группе.

Абелианизация любой свободной группы изоморфна свободной абелевой группе того же ранга.

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

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

$T=S\cup <!--\; \cup \; -->S^{-<!--\; -\; -->1}$$T=S\cup S^{{-1}}$ .

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

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

$\mathrm{\alpha <!--\; \alpha \; -->}=ab{c}^{-<!--\; -\; -->1}a,\mathrm{\beta <!--\; \beta \; -->}=b^{-<!--\; -\; -->1}b{a}^{-<!--\; -\; -->1}$$\alpha =abc^{{-1}}a,~~\beta =b^{{-1}}ba^{{-1}}$ ,

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

$\mathrm{\gamma <!--\; \gamma \; -->}=\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}=ab{c}^{-<!--\; -\; -->1}a{b}^{-<!--\; -\; -->1}b{a}^{-<!--\; -\; -->1}$$\gamma =\alpha \beta =abc^{{-1}}ab^{{-1}}ba^{{-1}}$ .

Например, $\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\epsilon <!--\; \epsilon \; -->}=\mathrm{\alpha <!--\; \alpha \; -->}=ab{c}^{-<!--\; -\; -->1}a$$\alpha \varepsilon =\alpha =abc^{{-1}}a$ .

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

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

СвойстваПравить

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

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

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

 

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

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

С точки зрения теории категорий свободная группа — это функтор из категории множеств $\mathbf{S}\mathbf{e}\mathbf{t}$${\mathbf {Set}}$  в категорию групп $\mathbf{G}\mathbf{r}\mathbf{p}$${\mathbf {Grp}}$ , являющийся левым сопряжённым для забывающего функтора $\mathbf{G}\mathbf{r}\mathbf{p}\to <!--\; \to \; -->\mathbf{S}\mathbf{e}\mathbf{t}$${\mathbf {Grp}}\to {\mathbf {Set}}$ .

ЛитератураПравить

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