[논문 리뷰] A translation of G. S. Makanin's 1966 Ph.D. thesis "On the Identity Problem for Finitely Presented Groups and Semigroups"

Carl‐Fredrik Nyberg‐Brodda|arXiv (Cornell University)|2021. 02. 01.

Geometric and Algebraic Topology참고 문헌 4인용 수 4

한 줄 요약

이 논문은 소작소멸 이론과 단어 감소 분석을 통해 특수한 유한생성 군 클래스인 $K_{2/11}$에 대해 항등원 문제(단어 문제)의 결정 가능성을 확립한다. 막킨은 덴 알고리즘의 일반화된 버전을 개발하여, 주어진 단어가 항등원으로 감소하는지 여부를 판단할 수 있는 결정 절차가 존재함을 증명한다. 이 과정에서 중간 단계의 단어 길이에 대한 상한도 제시한다.

ABSTRACT

This is an English translation of the thesis written by G. S. Makanin for the degree of Candidate of Physical and Mathematical Sciences (equivalent to a Ph.D.), originally submitted to the Steklov Mathematical Institute in 1966. The original language is Russian. The named supervisors are A. A. Markov and S. I. Adian.

연구 동기 및 목표

• 특정 소작소멸 조건을 만족하는 유한생성 군 클래스인 $K_{2/11}$에 대해 단어 문제를 해결하는 것.
• 이러한 군에서 주어진 단어가 항등원과 동일한지 여부를 판단할 수 있는 알고리즘의 존재를 입증하는 것.
• 정의 관계에 따라 단어의 구조와 감소 과정을 분석하며, 특히 감소 과정에서의 흔적과 부분단어의 행동에 초점을 맞추는 것.
• 감소 과정 중 중간 단어의 길이에 대한 명시적 상한을 제공하여 알고리즘이 종료됨을 보장하는 것.
• 현대적 형식주의가 없음에도 불구하고 여전히 영향력 있는 소작소멸 이론의 기초 기법을 마련하는 것.

제안 방법

• 단어 감소, 정의 관계에 부합하는 더 긴 단어를 더 짧은 것으로 대체, 겹치는 부분에서 동시에 대체하는 것을 포함한 덴 알고리즘의 일반화.
• 곱 $\prod_{i=1}^{w} \overline{T_i} R_i T_i$ 에서의 '흔적' 개념을 도입하고 분석하며, 여기서 $R_i$ 는 부분단어이고 $T_i$ 는 연결 세그먼트이다.
• 소작소멸 조건을 적용하여 변환 과정에서 얼마나 많은 부분이 감소하거나 흡수될 수 있는지 제어하며, 특히 부분 흡수에 대한 $\frac{17}{22}$-규칙에 초점한다.
• 최종 감소된 단어의 길이 $e$ 와 정의 관계의 최대 길이 $d$ 를 기반으로 $T_i$ 의 길이에 대한 재귀적 상한을 설정한다.
• 이러한 $T_i$ 세그먼트의 수가 $3e\{2 + e(d+1)^{3e}\}$ 이하로 유한함을 증명하여 유한한 탐색 공간을 확보한다.
• 감소 과정 중 중간 단어의 길이에 대한 최종 상한 $27e^3(d+1)^{6e}$ 를 유도하여 알고리즘의 종료를 보장한다.

실험 결과

연구 질문

• RQ1 주어진 $K_{2/11}$ 군에서 단어가 항등원으로 감소하는지 여부를 판단할 수 있는 알고리즘이 존재하는가?
• RQ2 알고리즘의 종료를 보장하기 위해 이러한 군에서의 단어 감소 과정이 어떻게 유한한 상한으로 제어될 수 있는가?
• RQ3 소작소멸 조건은 감소 과정 중 중간 단어의 구조와 길이에 어떤 제약을 가하는가?
• RQ4 초기 단어 길이와 정의 관계 길이의 함수로서 감소 시퀀스의 단어 길이를 효과적으로 상한으로 제시할 수 있는가?
• RQ5 '흔적'과 '감소 세그먼트'는 이러한 군에서 단어 문제의 복잡도를 어떻게 제어하는가?

주요 결과

• 막킨은 일반화된 덴 감소 기반의 종료 가능한 알고리즘을 구성하여, 모든 $K_{2/11}$ 군에서 항등원 문제의 결정 가능성을 입증하였다.
• 항등원으로 감소하는 임의의 단어 $Q$ 는 형태 $\prod_{i=1}^{w} \overline{T_i} R_i T_i$ 의 중간 감소 경로를 가지며, 이 경로에서 단어 길이가 $27e^3(d+1)^{6e}$ 이하로 유한함을 보였다. 여기서 $e$ 는 최종 감소된 단어의 길이이고 $d$ 는 정의 관계의 최대 길이다.
• 이러한 곱에 포함된 세그먼트 수 $w$ 는 $3e\{2 + e(d+1)^{3e}\}$ 이하로 유한함을 보였으며, 이는 알고리즘이 유한하고 효과적임을 보장한다.
• 길이 $e$ 의 임의의 단어 $Q$ 에 대해, 곱 $\prod \overline{T_i} R_i T_i$ 에서 각 연결 세그먼트 $T_j$ 의 길이는 $e(d+1)^{3e}$ 이하로 유한함을 보였으며, 이는 중간 표현의 성장에 대한 제어를 가능하게 한다.
• 증명은 소작소멸 규칙 하에서 이웃 세그먼트에 의해 얼마나 많은 부분이 흡수될 수 있는지에 대한 세밀한 분석에 기반하며, 특히 한 이웃에 의해 세그먼트가 최대 $\frac{17}{22}$ 의 문자를 잃을 수 있음을 보였다.
• 이 결과는 현대적 기법이 없음에도 불구하고 막킨이 비트리비얼한 군 클래스에서 단어 문제를 철저하고 자가 포함된 방법으로 해결한 바를 보여주며, 조합론적 군론에서 기초적인 기법을 확립하였다.