Теорема Магнуса¶

Теорема Магнуса — это фундаментальный результат в теории групп, устанавливающий, что любая конечно порождённая группа, имеющая одно определяющее соотношение (односвязная группа), обладает свойством финитной аппроксимируемости (residually finite). Теорема была доказана немецким математиком Вильгельмом Магнусом в 1932 году и является одним из краеугольных камней комбинаторной теории групп.

¶История

В начале XX века активно развивалась комбинаторная теория групп, изучающая группы, заданные образующими и соотношениями. Одной из центральных проблем было выяснение того, насколько «хорошо» устроены группы с одним определяющим соотношением. В 1932 году Вильгельм Магнус, ученик Макса Дена, опубликовал работу «Über diskontinuierliche Gruppen mit einer definierenden Relation» (О дискретных группах с одним определяющим соотношением), в которой доказал, что все такие группы являются финитно аппроксимируемыми. Это открытие стало важным шагом в понимании структуры групп, заданных одним соотношением, и позволило решить ряд других проблем, включая проблему тождества слов для этого класса групп.

¶Формулировка

Теорема Магнуса (в современной формулировке):

Пусть \( G \) — группа, заданная конечным набором образующих и одним определяющим соотношением. Тогда \( G \) является финитно аппроксимируемой (residually finite). То есть для любого нетривиального элемента \( g \in G \) существует гомоморфизм \( \varphi: G \to H \) на конечную группу \( H \) такой, что \( \varphi(g) \neq 1 \).

Другими словами, пересечение всех нормальных подгрупп конечного индекса в \( G \) тривиально.

¶Следствия и значение

¶Проблема тождества слов

Из финитной аппроксимируемости групп с одним соотношением следует разрешимость для них проблемы тождества слов (word problem). Это означает, что существует алгоритм, позволяющий за конечное число шагов определить, является ли данное слово в образующих группы единичным элементом. Магнус построил такой алгоритм, используя индукцию по сложности соотношения.

¶Свойства групп с одним соотношением

• Кручение: В группах с одним соотношением кручение (элементы конечного порядка) может существовать, но его структура хорошо изучена.
• Подгруппы: Любая подгруппа конечного индекса в группе с одним соотношением сама является группой с одним соотношением.
• Проблема изоморфизма: Для групп с одним соотношением проблема изоморфизма (определение, изоморфны ли две такие группы) в общем случае неразрешима, но для некоторых частных случаев (например, для гиперболических групп) она разрешима.

¶Связь с другими областями

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

¶Классификация групп с одним соотношением

Группы с одним соотношением делятся на два основных типа в зависимости от вида определяющего соотношения:

¶Свободные группы

Если соотношение тривиально (например, \( a = 1 \)), то группа является свободной. Свободные группы также финитно аппроксимируемы, что является частным случаем теоремы Магнуса.

¶Группы с нетривиальным соотношением

Пусть \( G = \langle a_1, \dots, a_n \mid r = 1 \rangle \), где \( r \) — непустое циклически редуцированное слово. Основные подклассы:

• Конечные группы: Известно, что группа с одним соотношением конечна тогда и только тогда, когда она является циклической (например, \( \langle a \mid a^n = 1 \rangle \)) или тривиальной.
• Бесконечные циклические группы: \( \langle a \mid \rangle \cong \mathbb{Z} \).
• Группы с кручением: Например, \( \langle a, b \mid a^2 = 1 \rangle \) — бесконечная группа, содержащая элемент порядка 2.
• Группы без кручения: Например, \( \langle a, b \mid a^2 b^3 = 1 \rangle \) — бесконечная группа без элементов конечного порядка.
• Гиперболические группы: Если соотношение не содержит степеней (то есть не является степенью другого слова), то группа является гиперболической.

¶Доказательство (схема)

Доказательство Магнуса использует метод индукции по длине определяющего соотношения и технику, известную как «метод Магнуса» (или «Magnus expansion»). Основные шаги:

1. Сведение к случаю свободной группы: Если соотношение тривиально, группа свободна, и финитная аппроксимируемость очевидна.
2. Индукция по длине: Пусть \( r \) — циклически редуцированное слово длины \( n \). Если \( n = 1 \), то \( r \) — образующий, и группа является свободной или циклической.
3. Разложение по образующим: Используется представление группы как HNN-расширения или свободного произведения с объединением.
4. Построение гомоморфизмов: Для каждого нетривиального элемента строится гомоморфизм в конечную группу, не аннулирующий этот элемент.

Современные доказательства часто используют теорию башен (tower theory) или методы геометрической теории групп.

¶Примеры

¶Пример 1: Циклическая группа

\( G = \langle a \mid a^n = 1 \rangle \). Эта группа конечна, а значит, финитно аппроксимируема.

¶Пример 2: Группа Баумслага — Солитера

\( G = \langle a, b \mid a^{-1} b a = b^2 \rangle \). Эта группа является группой с одним соотношением. Она финитно аппроксимируема, что следует из теоремы Магнуса.

¶Пример 3: Группа узла

Группа трилистника (трилистного узла) имеет представление \( \langle a, b \mid a^2 = b^3 \rangle \). Это группа с одним соотношением, финитно аппроксимируемая.

¶Интересные факты

• Теорема Магнуса не распространяется на группы с двумя и более соотношениями: существуют конечно порождённые группы с двумя соотношениями, которые не являются финитно аппроксимируемыми (например, группа Баумслага — Солитера \( \langle a, b \mid a^{-1} b a = b^2, b^{-1} a b = a^2 \rangle \)).
• В 1960-х годах Г. Хигман доказал, что любая конечно порождённая группа, имеющая разрешимую проблему тождества слов, может быть вложена в группу с одним соотношением. Это показывает, что класс групп с одним соотношением универсален в некотором смысле.
• Теорема Магнуса была обобщена на случай групп с одним соотношением в многообразиях (например, в многообразии разрешимых групп).

¶Критика и ограничения

Несмотря на свою фундаментальность, теорема Магнуса имеет ограничения:

• Она не даёт полной классификации групп с одним соотношением.
• Для групп с одним соотношением и кручением проблема тождества слов может быть сложной для практического решения.
• Некоторые вопросы, такие как проблема изоморфизма для групп с одним соотношением, остаются открытыми.

¶Источники

1. Magnus, W. (1932). Über diskontinuierliche Gruppen mit einer definierenden Relation. Journal für die reine und angewandte Mathematik, 163, 141–165.
2. Lyndon, R. C., & Schupp, P. E. (1977). Combinatorial Group Theory. Springer-Verlag.
3. Baumslag, G. (1993). Topics in Combinatorial Group Theory. Birkhäuser.
4. Stillwell, J. (1993). Classical Topology and Combinatorial Group Theory. Springer-Verlag.