Проблема сопряженности
редактировать
В абстрактной алгебре, проблема сопряженности для группы G с заданным представлением - это проблема принятия решения, заключающаяся в определении, учитывая два слова x и y в G, представляют ли они сопряженные элементы G. То есть проблема состоит в том, чтобы определить, существует ли такой элемент z группы G, что
Проблема сопряжения также известна как проблема преобразования .
Проблема сопряженности была определена Максом Деном в 1911 г. как одна из фундаментальных проблем в теории групп; два других - это проблема со словом и проблема изоморфизма. Проблема сопряженности содержит проблему слов как частный случай: если x и y - слова, определение того, являются ли они одним и тем же словом, эквивалентно определению того, - это идентификатор, который аналогичен решению, сопряжен ли он с идентификатором. В 1912 году Ден дал алгоритм, который решает как проблему слова, так и проблему сопряженности для фундаментальных групп замкнутых ориентируемых двумерных многообразий рода, большего или равного 2 (род 0 и случаи рода 1 тривиальны).
Известно, что проблема сопряженности неразрешима для многих классов групп. Классы представлений групп, для которых известно, что они разрешимы, включают:
- свободные группы (без определяющих отношений отношения)
- группы с одним соотношением с кручением
- группы кос
- группы узлов
- конечно представлены сопряженно-разделимые группы
- конечно порожденные абелевы группы (в относительные элементы входят все коммутаторы)
- Громовско-гиперболические группы
- биавтоматические группы
- CAT (0) группы
- Фундаментальные группы геометризуемых 3-многообразий
Ссылки
- Magnus, Wilhelm ; Авраам Каррасс; Дональд Солитэр (1976). Комбинаторная теория групп. Представления групп в терминах образующих и отношений. Dover Publications. п. 24. ISBN 0-486-63281-4.
- Джонсон, Д.Л. (1990). Презентации групп. Издательство Кембриджского университета. п. 49. ISBN 0-521-37203-8.
- Коэн, Дэниел Э. (1989). Комбинаторная теория групп: топологический подход. Издательство Кембриджского университета. ISBN 0-521-34936-2.
- Ден, Макс (1911). "Uber unendliche diskontinuierliche Gruppen". Математика. Аня. 71 (1): 116–144. doi : 10.1007 / BF01456932.
- Ден, Макс (1912). "Transformation der Kurven auf zweiseitigen Flächen" (PDF). Математика. Аня. 72 (3): 413–421. doi : 10.1007 / BF01456725.
- Ньюман, Б. Б. (1968). «Некоторые результаты по группам с одним родителем». Бык. Амер. Математика. Soc. 74 (3): 568–571. doi : 10.1090 / S0002-9904-1968-12012-9.
- Бридсон, Мартин; Андре Хефлигер (1999). Метрические пространства неположительной кривизны. Springer-Verlag. ISBN 978-3-540-64324-1.
- Пре, Жан-Филипп (2006). «Проблема сопряженности в группах ориентированных геометрических трехмерных многообразий». Топология. 45 (1): 171–208. arXiv : 1308.2888. doi :10.1016/j.top.2005.06.002.
.