[논문 리뷰] A division Algorithm for the Free Left Distributive Algebra

Richard Laver|arXiv (Cornell University)|1992. 04. 13.

Geometric and Algebraic Topology참고 문헌 3인용 수 15

한 줄 요약

이 논문은 자유 왼쪽 분배 대수(FLDA)의 나눗셈 알고리즘을 제안하며, 복합 연산을 포함하는 더 큰 대수 ${\cal P}$에서 정규형을 확장함으로써 이를 달성한다. 주요 기여는 ${\cal P}$의 모든 원소가 고정된 $p \in {\cal P}$에 대해 유일한 'p-나눗셈 형태' 표현을 갖는다는 것을 증명하는 것으로, 이는 단어 문제의 결정 가능성을 보장하고 ZFC 내에서 왼쪽-사전순서에 의해 선형 순서를 정의하는 데 성공한다. 이 모든 결과는 대규모 기수 공리를 필요로 하지 않는다.

ABSTRACT

The normal form theorem, proved in R. Laver, On the left distributive law and the freeness of an algebra of elementary embeddings, Advances in Mathematics 91 (1992), 209-231, for the free algebra $\Cal A$ on one generator $x$ satisfying the left distributive law $a(bc) = (ab)(ac)$ is extended by showing that members of $\Cal A$ can be put into a "division form."

연구 동기 및 목표

• 자유 왼쪽 분배 대수(FLDA)의 정규형 정리의 범위를, 복합 연산을 갖는 더 큰 대수 ${\cal P}$에서 나눗셈 알고리즘으로 확장한다.
• 모든 ${\cal P}$의 원소가 고정된 $p \in {\cal P}$에 대해 유일한 'p-나눗셈 형태' 표현을 갖는다는 것을 입증하여 알고리즘적 조작을 가능하게 한다.
• 왼쪽-사전순서 $<_{L}$ 가 ${\cal P}$와 ${\cal A}$ 위에서 전순서임을 증명하고, 엄격한 순서 $<$ 와 일치함을 보여, ZFC 내에서 기본적인 순서 이론적 성질을 확립한다.
• 새로운 나눗셈 형태와 정규형 기법을 활용하여 ${\cal A}$와 ${\cal P}$의 단어 문제의 결정 가능성을 입증한다.
• 기존에 큰 기수 공리를 필요로 했던 핵심 결과들—예를 들어 $<_{L}$ 의 비반사성과 선형성—이 ZFC 내에서 증명 가능하다는 것을 보여, Dehornoy의 독립적인 ZFC 증명을 바탕으로 하여 대규모 기수 공리를 제거한다.

제안 방법

• 단일 원소 $x$ 에 의해 생성되는 더 큰 대수 ${\cal P}$를 정의하며, 이는 곱셈 $\cdot$ 와 복합 연산 $\circ$ 를 갖는다. 이 대수는 왼쪽 분배 법칙의 보존적 확장 $\sum$ 를 만족한다.
• ${\cal P}$의 원소에 대해 'p-나눗셈 형태'의 개념을 도입한다. 여기서 항 $w$ 는 $p \cdot a_0 \cdots a_{n-1} \ast a_n$ 의 형태로 표현되며, 각 $a_i$ 는 p-나눗셈 형태에 있고, 사전형 조건이 만족되어야 한다.
• p-나눗셈 형태 위에서 사전순서 $<_{\text{Lex}}$ 를 사용하여 고유한 표현 체계를 정의함으로써, 고유성과 계산 가능성 보장.
• 유도와 보조 보조정리(보조정리 5–7)를 이용하여 $|w|^{pq}$ 와 $|w|^p$ 의 존재성을 귀납법으로 증명한다. 이 과정에서 $<_{L}$ 의 사전형 조건과 순서 성질을 활용한다.
• $<_{L}$ 가 ${\cal P}$와 ${\cal A}$ 위에서 선형 순서임을 Dehornoy가 ZFC 내에서 입증한 바를 활용하여, 추론 규칙의 확장성과 결정 가능성을 보장한다.
• 반복적으로 $p$-정규형($p$-NF) 구조를 적용하며, $|w|_p$ 를 사용하여 $p^{(i)}$ 와 더 작은 원소들의 반복적 표현으로 원소를 고유하게 표현한다. 이는 [5]의 결과를 ${\cal P}$ 로 확장하는 것이다.

실험 결과

연구 질문

• RQ1 자유 왼쪽 분배 대수의 모든 원소는 고정된 생성자 $p$ 에 대해 고유한 '나눗셈 형태'로 표현될 수 있는가?
• RQ2 ${\cal P}$ 위에서의 왼쪽-사전순서 $<_{L}$ 는 엄격한 순서 $<$ 와 일치하는가? 그리고 ZFC 내에서 선형적이고 잘 서麓된 순서인가?
• RQ3 ${\cal A}$ 와 ${\cal P}$ 의 단어 문제는 결정 가능한가? 그리고 대규모 기수 공리를 필요로 하지 않고 이를 입증할 수 있는가?
• RQ4 ${\cal P}$ 에서의 정규형과 나눗셈 형태의 구성은 ${\cal A}$ 에서의 결과를 기반으로 하여 전체 대수 ${\cal P}$ 로 확장될 수 있는가? 이때 고유성과 계산 가능성은 유지되는가?
• RQ5 반복 복합 $p^{(n)}$ 과 순서 구조 $<_{L}$ 사이의 관계는 무엇이며, 이는 나눗셈 형태의 존재를 뒷받침하는 데 어떻게 기여하는가?

주요 결과

• ${\cal P}$ 의 모든 원소 $w$ 는 임의의 $p \in {\cal P}$ 에 대해 고유한 $p$-나눗셈 형태 표현을 갖는다. 이는 캐논리컬 정규형을 보장한다.
• 왼쪽-사전순서 $<_{L}$ 는 ${\cal P}$ 와 ${\cal A}$ 위에서 전순서이며, 엄격한 순서 $<$ 와 일치한다. 이는 순서 유형 $\omega \cdot (1 + \eta)$ 의 선형 순서이다.
• ${\cal A}$ 와 ${\cal P}$ 의 단어 문제는 결정 가능하다. 고유한 정규형과 나눗셈 형태의 존재 덕분에 효과적인 비교와 재작성 가능하다.
• ${\cal A}$ 의 추론 체계는 확장성(Confluence)을 갖는다. 즉, 동일한 항에서 출발한 두 개의 유도가 항상 동일한 정규형으로 수렴한다.
• $|w|^p$ (즉, $w$ 의 $p$-정규형) 는 ${\cal P}$ 의 모든 $p, w$ 에 대해 보장된다. 이는 ${\cal A}$ 에서의 정규형 정리가 ${\cal P}$ 로 확장됨을 의미한다.
• 모든 결과는 ZFC 내에서 증명 가능하며, 이는 이전에 $<_{L}$ 의 비반사성을 증명하는 데 사용되었던 대규모 기수 공리(예: $n$-huge 기수의 존재) 가 필요로 하지 않음을 의미한다.