Проблема со словами для групп

редактировать

В математике, особенно в области абстрактной алгебры, известной как комбинаторная теория групп, проблема слов для конечно порожденной группы G - это алгоритмическая проблема определения того, представляют ли два слова в генераторах один и тот же элемент. Точнее, если A - конечный набор образующих для G, то проблема слов - это проблема принадлежности для формального языка всех слов в A и формального набора обратных, которые отображают в тождество при естественном отображении свободного моноида с инволюцией на A в группу G. Если B - другое конечное порождающее множество для G, то проблема слов над порождающим множеством B эквивалентна слову проблема над порождающим множеством A. Таким образом, можно однозначно говорить о разрешимости проблемы слов для конечно порожденной группы G.

Родственная, но отличная равномерная проблема слов для класса K группы рекурсивно представленные группы - это алгоритмическая проблема решения, заданного в качестве входных данных презентации P для группы G в классе K и двух слов в образующих G, представляют ли слова один и тот же элемент группы G. авторы требуют, чтобы класс K определялся с помощью рекурсивно перечислимого набора представлений.

Содержание

1 История
2 Более конкретное описание
3 Примеры
4 Частичное решение проблемы слов
- 4.1 Пример
5 Неразрешимость проблемы единообразных слов
- 5.1 Доказательство того, что не существует универсальной решаемой группы проблем со словами
6 Алгебраическая структура и проблема со словами
7 См. Также
8 Примечания
9 Ссылки

История

На протяжении всей истории испытуемого, вычисления в группах проводились с использованием различных нормальных форм. Обычно они неявно решают проблему слов для рассматриваемых групп. В 1911 году Макс Ден предположил, что проблема слов была важной областью исследования сама по себе, вместе с проблемой сопряженности и проблемой группового изоморфизма. В 1912 году он дал алгоритм, который решает как проблему слова, так и проблему сопряженности для фундаментальных групп замкнутых ориентируемых двумерных многообразий рода больше или равного 2. Последующие авторы значительно расширили алгоритм Дена. и применил его к широкому кругу теоретико-групповых задач принятия решений.

В 1955 году Петр Новиков показал, что существует конечно представленная группа G такая, что проблема слов для G неразрешимый. Отсюда сразу следует, что проблема единообразного слова также неразрешима. Другое доказательство было получено Уильямом Бун в 1958 году.

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

Важно понимать, что проблема слов на самом деле разрешима для многих групп G. Например, полициклические группы имеют разрешимые проблемы со словами, поскольку нормальная форма произвольного слова в полициклическом представление легко вычислимо; другие алгоритмы для групп могут, при подходящих обстоятельствах, также решить проблему слов, см. алгоритм Тодда – Кокстера и алгоритм завершения Кнута – Бендикса. С другой стороны, тот факт, что конкретный алгоритм не решает проблему слов для определенной группы, не показывает, что у группы есть неразрешимая проблема слов. Например, алгоритм Дена не решает проблему слов для фундаментальной группы тора . Однако эта группа является прямым произведением двух бесконечных циклических групп и поэтому имеет разрешимую проблему слов.

Более конкретное описание

В более конкретных терминах проблема единообразия слов может быть выражена как переписывание вопроса для буквальных строк. Для представления P группы G, P задает определенное количество образующих

x, y, z,...

для G. Нам нужно ввести одну букву для x и другую (для удобства) для элемент группы, представленный x. Назовите эти буквы (вдвое больше, чем образующих) алфавитом $Σ {\ displaystyle \ Sigma}$ $\ Sigma$ для нашей задачи. Тогда каждый элемент в G каким-либо образом представлен произведением

abc... pqr

символов из $Σ {\ displaystyle \ Sigma}$ $\ Sigma$ некоторой длины, умноженных на G. Строка длины 0 (нулевая строка ) обозначает элемент идентичности e группы G. Суть всей проблемы состоит в том, чтобы распознать все способы, которыми может быть e. представлены, учитывая некоторые отношения.

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

В качестве простого примера рассмотрим презентацию {a | а}. Написав A вместо символа a, мы получим возможные строки, объединяющие любое количество символов a и A. Когда мы видим aaa, aA или Aa, мы можем вычеркнуть их. Мы также должны не забыть вычеркнуть AAA; это говорит о том, что, поскольку куб для a является единичным элементом G, то же самое и с кубом, обратным к a. В этих условиях проблема слова становится легкой. Сначала сократите строки до пустой строки, a, aa, A или AA. Затем обратите внимание, что мы также можем умножить на aaa, чтобы мы могли преобразовать A в aa и преобразовать AA в a. В результате проблема слов для циклической группы третьего порядка разрешима.

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

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

Примеры

Следующие группы имеют разрешимую проблема со словами:

Автоматические группы, в том числе:
Конечно порожденные свободные группы
Конечно порожденные свободные абелевы группы
Полициклические группы
Конечно порожденные рекурсивно абсолютно представленные группы, в том числе:
- Конечно определенные простые группы.
Конечно определенные аппроксимируемые конечные группы
Группы с одним соотношением (это теорема Магнуса), включая:
- Фундаментальные группы замкнутых ориентируемые двумерные многообразия.
Комбинируемые группы
Автономные группы

Также известны примеры неразрешимых словесных проблем:

Дано рекурсивно перечислимое множество A натуральные числа с неразрешимой проблемой принадлежности, a, b, c, d | aba = cdc: n ∈ A⟩ - конечно порожденная группа с рекурсивно перечислимым представлением, чья словесная проблема неразрешима
Каждая конечно порожденная группа с рекурсивно перечислимым представлением и неразрешимой словесной проблемой является подгруппой конечно представленной группы с неразрешимой проблемой слов
Число соотносителей в конечно представленной группе с неразрешимой проблемой слов может быть от 14 до 12 или даже 12 на.
Явный пример разумного короткого представления с неразрешимая проблема слов дана в Collins 1986:

⟨a, b, c, d, e, p, q, r, t, k | p 10 a = ap, pacqr = rpcaq, ra = ar, p 10 b = bp, p 2 adq 2 r = rp 2 daq 2, rb = br, p 10 c = cp, p 3 bcq 3 r = rp 3 cbq 3, rc = cr, p 10 d = dp, p 4 bdq 4 r = rp 4 dbq 4, rd = dr, p 10 e = ep, p 5 ceq 5 r = rp 5 ecaq 5, re = er, aq 10 = qa, p 6 deq 6 r = rp 6 edbq 6, pt = tp, bq 10 = qb, p 7 cdcq 7 r = rp 7 cdceq 7, qt = tq, cq 10 = qc, p 8 ca 3 q 8 r знак равно rp 8 a 3 q 8, dq 10 = qd, p 9 da 3 q 9 r = rp 9 a 3 q 9, eq 10 = qe, a - 3 ta 3 k = ka - 3 ta 3⟩ {\ displaystyle { \ begin {array} {lllll} \ langle a, b, c, d, e, p, q, r, t, k | \\ p ^ {10} a = ap, pacqr = rpcaq, ra = ar, \\ p ^ {10} b = bp, p ^ {2} adq ^ {2} r = rp ^ {2} daq ^ {2}, rb = br, \\ p ^ {10} c = cp, p ^ {3} bcq ^ {3} r = rp ^ {3} cbq ^ {3}, rc = cr, \\ p ^ {10} d = dp, p ^ {4} bdq ^ {4} r = rp ^ {4} dbq ^ {4}, rd = dr, \\ p ^ {10} e = ep, p ^ {5} ceq ^ {5} r = rp ^ {5} ecaq ^ {5 }, re = er, \\ aq ^ {10} = qa, p ^ {6} deq ^ {6} r = rp ^ {6} edbq ^ {6}, pt = tp, \\ bq ^ { 10} = qb, p ^ {7} cdcq ^ {7} r = rp ^ {7} cdceq ^ {7}, qt = tq, \\ cq ^ {10} = qc, p ^ {8} ca ^ {3} q ^ {8} r = rp ^ {8} a ^ {3} q ^ {8}, \\ dq ^ {10} = qd, p ^ {9} da ^ {3} q ^ {9} r = rp ^ {9} a ^ {3} q ^ {9}, \\ eq ^ {10} = qe, a ^ {- 3} ta ^ {3} k = ka ^ {- 3} ta ^ { 3} \ rangle \ end {array}}}

\ begin {array} {lllll} \ langle a, b, c, d, e, p, q, r, t, k | \\ p ^ {10} a = ap, pacqr = rpcaq, ra = ar, \\ p ^ {10} b = bp, p ^ 2adq ^ 2r = rp ^ 2daq ^ 2, rb = br, \\ p ^ {10} c = cp, p ^ 3bcq ^ 3r = rp ^ 3cbq ^ 3, rc = cr, \\ p ^ {10} d = dp, p ^ 4bdq ^ 4r = rp ^ 4dbq ^ 4, rd = dr, \\ p ^ {10} e = ep, p ^ 5ceq ^ 5r = rp ^ 5ecaq ^ 5, re = er, \\ aq ^ {10} = qa, p ^ 6deq ^ 6r = rp ^ 6edbq ^ 6, pt = tp, \\ bq ^ {10} = qb, p ^ 7cdcq ^ 7r = rp ^ 7cdceq ^ 7, qt = tq, \\ cq ^ {10} = qc, p ^ 8ca ^ 3q ^ 8r = rp ^ 8a ^ 3q ^ 8, \\ dq ^ {10} = qd, p ^ 9da ^ 3q ^ 9r = rp ^ 9a ^ 3q ^ 9, \\ eq ^ {10} = qe, a ^ {- 3} ta ^ 3k = ka ^ {- 3} ta ^ 3 \ rangle \ end {array}

Частичное решение проблемы слов

Проблема слов для рекурсивно представленной группы может быть частично решена в следующем смысле:

Учитывая рекурсивную представление P = ⟨X | R⟩ для группы G, определим:

S = {⟨u, v⟩: u и v - слова в X и u = v в G} {\ displaystyle S = \ {\ langle u, v \ rangle: u {\ text {и}} v {\ text {- слова в}} X {\ text {и}} u = v {\ text {in}} G \ \}}

{\ displaystyle S = \ {\ langle u, v \ rangle: u {\ text {и}} v {\ text {- слова в}} X {\ text {и}} u = v {\ text {in}} G \ \}}

тогда существует частично рекурсивная функция f P такая, что:

f P (⟨u, v⟩) = {0, если ⟨u, v⟩ ∈ S undefined / не останавливается, если ⟨u, v⟩ ∉ S {\ displaystyle f_ {P} (\ langle u, v \ rangle) = {\ begin {cases} 0 {\ text {if}} \ \ langle u, v \ rangle \ in S \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ \ langle u, v \ rangle \ notin S \ end {cases}}}

{\ displaystyle f_ {P} (\ langle u, v \ rangle) = {\ begin {cases} 0 {\ text {if}} \ \ langle u, v \ rangle \ in S \\ {\ text {undefined / не останавливается}} \ {\ text {if} } \ \ langle u, v \ rangle \ notin S \ end {cases}}}

Более неформально, существует алгоритм, который останавливается, если u = v, но не делает иначе.

Отсюда следует, что для решения проблемы слов для P достаточно построить рекурсивную функцию g такую, что:

g (⟨u, v⟩) = {0, если ⟨u, v⟩ ∉ S undefined / не останавливается, если ⟨u, v⟩ ∈ S {\ displaystyle g (\ langle u, v \ rangle) = {\ begin {cases} 0 {\ text {if}} \ \ langle u, v \ rangle \ notin S \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ \ langle u, v \ rangle \ in S \ end {case}}

{\ displaystyle g (\ langle u, v \ rangle) = {\ begin {cases} 0 {\ text {if}} \ \ langle u, v \ rangle \ notin S \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ \ langle u, v \ rangle \ in S \ end {case}}}

Однако u = v в G тогда и только тогда, когда uv = 1 в G. Отсюда следует, что для решения проблемы слов для P достаточно построить рекурсивную функцию h такую, что:

h (x) = {0, если x ≠ 1 в G undefined / не останавливается, если x = 1 в G {\ displaystyle h (x) = {\ begin {cases} 0 {\ text {if}} \ x \ neq 1 \ {\ text {in}} \ G \\ { \ text {undefined / не останавливается}} \ {\ text {if}} \ x = 1 \ {\ text {in}} \ G \ end {cases}}}

{\ displaystyle h (x) = {\ begin {cases} 0 {\ text {if}} \ x \ neq 1 \ {\ text {in}} \ G \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ x = 1 \ { \ text {in}} \ G \ end {cases}}}

Пример

В качестве примера использования этой техники будет доказано следующее:

Теорема: Конечно представимая финитно аппроксимируемая группа имеет разрешимую проблему слов.

Доказательство: предположим, что G = ⟨X | R⟩ конечная представленная финитно аппроксимируемая группа.

Пусть S будет группой всех перестановок N, натуральных чисел, которая фиксирует все числа, кроме конечного, тогда:

S является локально конечным и содержит копию каждой конечной группы.
Проблема слов в S разрешима путем вычисления произведений перестановок.
Существует рекурсивное перечисление всех отображений конечного множества X в S.
Поскольку G финитно аппроксимируема, если w - слово в образующих X группы G, то w ≠ 1 в G тогда и только тогда, когда некоторое отображение X в S индуцирует гомоморфизм такой, что w ≠ 1 в S.

Учитывая эти факты, алгоритм определяется следующим псевдокодом:

Для каждое отображение X в S Если, каждый относитель в R удовлетворяется в S Если w ≠ 1 в S return 0 End if End if End for

определяет рекурсивную функцию h такую, что:

h (x) = {0, если x ≠ 1 в G undefined / не останавливается, если x = 1 в G {\ displaystyle h (x) = {\ begin {cases} 0 {\ text {if}} \ x \ neq 1 \ {\ текст {in}} \ G \\ {\ tex t {undefined / не останавливается}} \ {\ text {if}} \ x = 1 \ {\ text {in}} \ G \ end {cases}}}

{\ displaystyle h (x) = {\ begin {cases} 0 {\ text {if}} \ x \ neq 1 \ {\ text {in}} \ G \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ x = 1 \ { \ text {in}} \ G \ end {cases}}}

Это показывает, что G имеет решаемую проблему со словами.

Неразрешимость проблемы единого слова

Приведенный выше критерий разрешимости проблемы слова в одной группе может быть расширен простым аргументом. Это дает следующий критерий равномерной разрешимости проблемы слов для класса конечно представленных групп:

Для решения равномерной проблемы слов для класса групп K достаточно найти рекурсивную функцию

f ( P, w) {\ displaystyle f (P, w)}

f (P, w)

, который принимает конечное представление P для группы G и слово

w {\ displaystyle w}

w

в генераторы G, такие, что всякий раз, когда G ∈ K:

f (P, w) = {0, если w ≠ 1 в G undefined / не останавливается, если w = 1 в G {\ displaystyle f (P, w) = {\ begin {case} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ G \\ {\ text {undefined / не останавливается}} \ {\ text {if} } \ w = 1 \ {\ text {in}} \ G \ end {cases}}}

{ \ displaystyle f (P, w) = {\ begin {cases} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ G \\ {\ text {undefined / не останавливается} } \ {\ text {if}} \ w = 1 \ {\ text {in}} \ G \ end {cases}}}

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

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

Следствие: Не существует универсальной решаемой группы словесных задач. То есть, если G - конечно определенная группа, которая содержит изоморфную копию каждой конечно определенной группы с разрешимой проблемой слов, то сама G должна иметь неразрешимую проблему слов.

Замечание: Предположим, что G = ⟨X | R⟩ - конечно определенная группа с разрешимой проблемой слов, а H - конечное подмножество в G. Пусть H = ⟨H⟩, - группа, порожденная H. Тогда проблема слов в H разрешима: даны два слова h, k в образующих H группы H, запишите их как слова в X и сравните их, используя решение проблемы слов в G. Легко подумать, что это демонстрирует равномерное решение проблемы слов для класса K (скажем) конечно порожденных групп, которые может быть вложено в G. Если бы это было так, то несуществование универсальной разрешимой группы проблем со словами легко вытекало бы из Бун-Роджерса. Однако только что представленное решение проблемы слов для групп из K не является однородным. Чтобы убедиться в этом, рассмотрим группу J = ⟨Y | T⟩ ∈ K; Чтобы использовать приведенный выше аргумент для решения проблемы слов в J, сначала необходимо показать отображение e: Y → G, которое продолжается до вложения e: J → G.Если бы существовала рекурсивная функция, отображающая (конечно порожденная) представления групп из K вложения в G, то действительно может быть построено равномерное решение проблемы слов в K. Но в общем случае нет оснований предполагать, что такая рекурсивная функция существует. Однако оказывается, что, используя более изощренный аргумент, проблема слов в J может быть решена без использования вложения e: J → G. Вместо этого используется перечисление гомоморфизмов, и, поскольку такое перечисление может быть построено единообразно, оно приводит к единообразному решению проблемы слов в K.

Доказательство того, что не существует универсальной разрешимой группы проблем со словами

Предположим, G была универсальной разрешимой группой проблем со словами. Учитывая конечное представление P = ⟨X | R⟩ группы H, можно рекурсивно перечислить все гомоморфизмы h: H → G, сначала перечислив все отображения h: X → G. Не все эти отображения продолжаются до гомоморфизмов, но, поскольку h (R) конечно, можно различать гомоморфизмы и негомоморфизмы, используя решение проблемы слов в G. «Отсечение» негомоморфизмов дает требуемое рекурсивное перечисление: h 1, h 2,..., h n,....

Если H имеет разрешимую проблему слов, то хотя бы один из этих гомоморфизмов должен быть вложением. Итак, дано слово w в образующих H:

Если w ≠ 1 в H, hn (w) ≠ 1 в G для некоторого hn {\ displaystyle {\ text {If}} \ w \ neq 1 \ {\ text {in}} \ H, \ h_ {n} (w) \ neq 1 \ {\ text {in}} \ G \ {\ text {для некоторых}} \ h_ {n}}

{\ displaystyle {\ text {If}} \ w \ neq 1 \ {\ text {in}} \ H, \ h_ {n} (w) \ neq 1 \ {\ text {in}} \ G \ {\ text {для некоторых}} \ h_ {n}}

Если w = 1 в H, hn (w) = 1 в G для всех hn {\ displaystyle {\ text {If}} \ w = 1 \ {\ text {in}} \ H, \ h_ {n} (w) = 1 \ {\ text {in}} \ G \ {\ text {для всех}} \ h_ {n}}

{\ displaystyle {\ text {If}} \ w = 1 \ {\ text {in}} \ H, \ h_ {n } (w) = 1 \ {\ text {in}} \ G \ {\ text {для всех}} \ h_ {n}}

Рассмотрим алгоритм, описанный псевдокодом:

Пусть n = 0 Пусть repeatable = TRUE в то время как (повторяемый) увеличивает n на 1, если (решение проблемы слов в G показывает h n (w) ≠ 1 в G) Пусть repeatable = FALSE вывод 0.

Это описывает рекурсивную функцию:

f (w) = {0, если w ≠ 1 в H undefined / не останавливается, если w = 1 в H. {\ displaystyle f (w) = {\ begin {cases} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ H \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ w = 1 \ {\ text {in}} \ H. \ end {cases}}}

{\ displaystyle f (w) = {\ begin {cases} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ H \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ w = 1 \ {\ text {in}} \ H. \ end {cases}}}

Функция f явно зависит от представления P. Рассматривая ее как функцию из двух переменных была построена рекурсивная функция $f (P, w) {\ displaystyle f (P, w)}$ $f (P, w)$ , которая принимает конечное представление P для группы H и слово w в генераторах группы G, такой, что всякий раз, когда G имеет разрешимую проблему слов:

f (P, w) = {0, если w 1 в H, undefined / не останавливается, если w = 1 в H. {\ displaystyle f (P, w) = {\ begin {cases} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ H \\ {\ text {undefined / не останавливается }} \ {\ text {if}} \ w = 1 \ {\ text {in}} \ H. \ end {ases}}}

{\ displaystyle f (P, w) = {\ begin {cases} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ H \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ w = 1 \ {\ text {in}} \ H. \ end {cases}}}

Но это единообразно решает проблему слов для класса всех конечно представленных группы с разрешимой проблемой слов, противоречащие Буну-Роджерсу. Это противоречие доказывает, что G не может существовать.

Алгебраическая структура и проблема слов

Существует ряд результатов, которые связывают разрешимость проблемы слов и алгебраическую структуру. Наиболее важным из них является следующее:

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

Широко распространено мнение, что можно построить такую конструкцию, чтобы сама простая группа была конечно представимой. Если это так, можно было бы ожидать, что это будет трудно доказать, поскольку отображение представлений в простые группы должно быть нерекурсивным.

Следующее было доказано Бернхардом Нойманом и Ангусом Макинтайром :

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

Что примечательно в этом, так это то, что алгебраически замкнутые группы настолько дикие, что ни одна из них не имеет рекурсивного представления.

Самым старым результатом, связывающим алгебраическую структуру с разрешимостью проблемы слов, является теорема Кузнецова:

Рекурсивно представленная простая группа S имеет разрешимую проблему слов.

Чтобы доказать это, пусть ⟨X | R⟩ будет рекурсивное представление для S. Выберем a ∈ S так, чтобы a ≠ 1 в S.

Если w - слово на образующих X слова S, то пусть:

S w = ⟨X | R ∪ {w}⟩. {\ displaystyle S_ {w} = \ langle X | R \ cup \ {w \} \ rangle.}

S_w = \ langle X | R \ cup \ {w \} \ rangle.

Существует рекурсивная функция $f ⟨X | R ∪ {w}⟩ {\ displaystyle f _ {\ langle X | R \ cup \ {w \} \ rangle}}$ $f _ {\ langle X | R \ cup \ {w \} \ rangle}$ такой, что:

f ⟨X | R ∪ {w}⟩ (x) = {0, если x = 1 в S w undefined / не останавливается, если x ≠ 1 в S w. {\ displaystyle f _ {\ langle X | R \ cup \ {w \} \ rangle} (x) = {\ begin {cases} 0 {\ text {if}} \ x = 1 \ {\ text {in}} \ S_ {w} \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ x \ neq 1 \ {\ text {in}} \ S_ {w}. \ End {case }}}

{\ displaystyle f _ {\ langle X | R \ cup \ {w \} \ rangle} (x) = { \ begin {case} 0 {\ text {if}} \ x = 1 \ {\ text {in}} \ S_ {w} \\ {\ text {undefined / не останавливается}} \ {\ text {if }} \ x \ neq 1 \ {\ text {in}} \ S_ {w}. \ end {cases}}}

Запишите:

g (w, x) = f ⟨X | R ∪ {w}⟩ (х). {\ displaystyle g (w, x) = f _ {\ langle X | R \ cup \ {w \} \ rangle} (x).}

g (w, x) = f _ {\ langle X | R \ чашка \ {ш \} \ rangle} (х).

Тогда, поскольку конструкция f была равномерной, это рекурсивная функция две переменные.

Отсюда следует, что: $h (w) = g (w, a) {\ displaystyle h (w) = g (w, a)}$ ${\ displaystyle h (w) = g (w, a)}$ является рекурсивным. По построению:

h (w) = {0, если a = 1 в S w undefined / не останавливается, если a 1 в S w. {\ displaystyle h (w) = {\ begin {cases} 0 {\ text {if}} \ a = 1 \ {\ text {in}} \ S_ {w} \\ {\ text {undefined / не останавливается }} \ {\ text {if}} \ a \ neq 1 \ {\ text {in}} \ S_ {w}. \ end {cases}}}

{\ displaystyle h (w) = {\ begin {cases} 0 { \ text {if}} \ a = 1 \ {\ text {in}} \ S_ {w} \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ a \ neq 1 \ {\ text {in}} \ S_ {w}. \ end {case}}}

Поскольку S - простая группа, ее единственное частное группы - это сама и тривиальная группа. Поскольку a 1 в S, мы видим a = 1 в S w тогда и только тогда, когда S w тривиально тогда и только тогда, когда w ≠ 1 в S. Следовательно:

h (w) = {0, если w ≠ 1 в S undefined / не останавливается, если w = 1 в S. {\ displaystyle h (w) = {\ begin {cases} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ S \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ w = 1 \ {\ text {in}} \ S. \ end {ases}}}

{\ di splaystyle h (w) = {\ begin {cases} 0 {\ text {if}} \ w \ neq 1 \ {\ text {in}} \ S \\ {\ text {undefined / не останавливается}} \ {\ text {if}} \ w = 1 \ {\ text {in}} \ S. \ end {cases}}}

Существования такой функции достаточно, чтобы доказать, что проблема слов разрешима для S.

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

Проблема слов равномерно разрешима для класса конечно определенных простых групп.

См. Также

Комбинаторика слов
SQ-универсальная группа
Проблема со словами (математика)
Проблема достижимости
Вложенные стековые автоматы (использовались для решения задачи со словами для групп)

Примечания

^Ден 1911.
^Ден 1912.
^Гриндлингер, Мартин (июнь 1959 г.), «Алгоритм Дена для словесной проблемы», Коммуникации по чистой и прикладной математике, 13 (1): 67–83, doi : 10.1002 / cpa.3160130108.
^Линдон, Роджер К. (сентябрь 1966 г.), «По алгоритму Дена», Mathematische Annalen, 166 (3): 208–228, doi : 10.1007 / BF01361168, hdl : 2027.42 / 46211.
^Шупп, Пол Э. (июнь 1968 г.), «Об алгоритме Дена и проблеме сопряжения», Mathematische Annalen, 178 (2): 119–130, doi : 10.1007 / BF01350654.
^Новиков, ПС (195 5), «Об алгоритмической неразрешимости проблемы слова в теории групп», Труды Математического института им. В.А. Стеклова, 44 : 1–143, Zbl 0068.01301
^Бун, Уильям У. (1958), «Проблема слова» (PDF), Proceedings of the National Academy of Sciences, 44 (10): 1061–1065, doi : 10.1073 / pnas.44.10.1061, PMC 528693, PMID 16590307, Zbl 0086.24701
^JA Тодд и Х.С.М. Кокстер. «Практический метод перечисления смежных классов конечной абстрактной группы», Proc, Edinburgh Math Soc. (2), 5, 25 --- 34. 1936
^Д. Кнут и П. Бендикс. «Простые словесные задачи в универсальных алгебрах». Вычислительные проблемы в абстрактной алгебре (ред. Дж. Лич), стр. 263-297, 1970.
^Ротман 1994.
^Х. Симмонс, "Проблема слов для абсолютных представлений". J. London Math. Soc. (2) 6, 275-280 1973
^Роджер К. Линдон, Пол Э. Шупп, Комбинаторная теория групп, Springer, 2001
^Collins Zieschang 1990, p. 149.
^Collins Zieschang 1993, Cor. 7.2.6. sfn error: no target: CITEREFCollinsZieschang1993 (help )
^Collins 1969.
^Borisov 1969.
^Collins 1972.
^Collins 1986.
^Мы используем исправленную версию из Каталога алгебраических языков Джона Педерсена Системы

Ссылки

«Проблема со словами». PlanetMath.
У.В. Бун, Ф. Б. Каннонито и Р. К. Линдон. Проблемы со словами: проблема принятия решения в теории групп. Нидерланды: Северная Голландия. 1973.
Бун, У.В.; Хигман, Г. (1974). «Алгебраическая характеристика разрешимости проблемы слов». J. Austral. Math. Soc. 18 : 41–53. doi : 10.1017 / s1446788700019108.
Бун, WW; Роджерс-младший, Х. (1966). «О проблеме Дж. Х. К. Уайтхеда. и проблема Алонсо Черча ». Math. Scand. 19 : 185–192. doi : 10.7146 / math.scand.a-10808.
Борисов, В.В. (1969), "Простые примеры групп с неразрешимой проблемой слов", Академия Наук СССР, Математические заметки, 6 : 521–532, ISSN 00 25-567X, MR 0260851
Коллинз, Дональд Дж. (1969), «Проблемы слова и сопряжения в группах только с несколькими определяющими отношениями», Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 15 (20–22): 305–324, doi : 10.1002 / malq.19690152001, MR 0263903
Коллинз, Дональд Дж. (1972), «О теореме группового вложения В.В. Борисов », Вестник Лондонского математического общества, 4(2): 145–147, doi : 10.1112 / blms / 4.2.145, ISSN 0024-6093, MR 0314998
Коллинз, Дональд Дж. (1986), «Простое представление группы с неразрешимой проблемой слов», Illinois Journal of Mathematics, 30 ( 2): 230–234, doi : 10.1215 / ijm / 1256044631, ISSN 0019-2082, MR 0840121
Коллинз, Дональд J.; Цишанг Х. (1990), Комбинаторная теория групп и фундаментальные группы, Берлин, Нью-Йорк: Springer-Verlag, p. 166, MR 1099152
Ден, Макс (1911), "Über unndliche diskontinuierliche Gruppen", Mathematische Annalen, 71(1): 116–144, doi : 10.1007 / BF01456932, ISSN 0025-5831, MR 1511645
Ден, Макс (1912), " Transformation der Kurven auf zweiseitigen Flächen ", Mathematische Annalen, 72(3): 413–421, doi : 10.1007 / BF01456725, ISSN 0025-5831, MR 1511705
А. В. Кузнецов, "Алгоритмы как операции в алгебраических системах", Известия Акад. АН СССР Сер мат (1958)
С. Ф. Миллер. "Решение проблемы для группы - обзор и размышления". В «Алгоритмах и классификации в комбинаторной теории групп», страницы 1–60. Springer, 1991.
Ротман, Джозеф (1994), Введение в теорию групп, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-0 -387-94285-8
Стиллвелл, Дж. (1982). «Проблема слова и проблема изоморфизма для групп». Бюллетень АПП. 6 : 33–56. doi :10.1090/s0273-0979-1982-14963-1.