Every finite group admits a just finite presentation

기술적 요약: 모든 유한군은 정당한 유한 표현을 허용한다

문제 진술
본 논문은 Barnea가 제기한 Kourovka Notebook 의 문제 21.10 을 다룬다. 이 문제는 모든 유한군이 '정당한 유한 (just finite)' 표현을 허용하는지 여부를 묻는다. 유한군 $G$의 유한 표현 $\langle X \mid R \rangle$은 $R$ 내의 임의의 단일 관계식 $r$을 제거할 때 무한군에 대한 표현이 되는 경우, '정당한 유한 (just finite)'으로 정의된다. '정당한 무한 (just infinite)'군 (모든 진부분 몫군이 유한인 무한군) 의 이론은 잘 정립되어 있으나, 유한군에 대한 이 이중 개념은 열린 질문으로 남아 있었다.

방법론 및 구성
저자는 Serre 의 성질 (FA) 을 가진 군에 관한 더 강력한 결과를 증명함으로써 이 추측을 해결한다. 군이 성질 (FA) 을 가진다는 것은 나무 (tree) 에 대한 모든 작용이 고정점을 가진다는 것을 의미하며, 유한 생성군의 경우 이는 군이 비자명한 자유곱 (amalgamated free product) 이거나 HNN 확장이 아니라는 것과 동치이다. 모든 유한군이 성질 (FA) 을 가지므로, 성질 (FA) 을 가진 임의의 유한 표현 군에 대해 '정당한-(FA) (just-(FA))' 표현의 존재를 증명하는 것만으로도 원래 문제를 해결할 수 있다.

핵심 구성은 군 $G$ (여기서 $G$는 순환군이 아님) 의 기존 비축약적 유한 표현 $\langle X \mid R \rangle$을 새로운 표현 $P' = \langle X' \mid R' \rangle$으로 수정하는 것이다:

1. 생성자 확장: 모든 관계식 $r \in R$에 대해 새로운 생성자 $b_r$을 도입한다.
2. 관계식 치환: 각 원래 관계식 $r$은 두 개의 새로운 관계식 쌍으로 대체된다:
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. 이론적 근거: 이 치환은 B.H. Neumann 의 보조정리 4 에 의존하는데, 이는 원소 $u, v$가 $u^{-1}vu = v^2$와 $v^{-1}uv = u^2$를 만족하면 $u=v=1$임을 명시한다. 결과적으로 새로운 표현 $P'$에서 관계식들은 모든 $r$에 대해 $b_r = 1$과 $r = 1$을 강제하여, $P'$이 여전히 원래 군 $G$를 표현하도록 보장한다.

정당한-(FA) 성질의 증명
$P'$이 정당한-(FA) 임을 보여주기 위해 저자는 $R'$에서 임의의 단일 관계식을 제거하면 성질 (FA) 을 결여한 군이 얻어짐을 보인다. 증명은 원래 관계식 $r$에 대응하는 특정 관계식 쌍에 대해 두 가지 경우를 분석한다:

• 사례 1 ($b_r^{-1} r b_r = r^2$ 제거): 결과적으로 얻어진 군 $K_1$은 비자명한 자유곱임이 입증된다. 구체적으로, 이는 $H_r *_{\langle r \rangle} B'$로 분해되는데, 여기서 $H_r = \langle X \mid R \setminus \{r\} \rangle$이고 $B'$은 반직접곱 (또는 $r$의 위수가 무한인 경우 Baumslag-Solitar 군) 이다. 결합 부분군의 지수는 3 이상임이 보여지며, 이는 $H_r$이 순환군이 아닌 한 곱이 비자명함을 보장한다. 저자는 $H_r$이 순환군이라면 $G$( $H_r$의 몫군) 도 순환군이 되어 $G$가 순환군이 아니라는 가정에 모순된다고 주장한다. 따라서 $K_1$은 비자명한 자유곱이며 성질 (FA) 을 결여한다.
• 사례 2 ($r^{-1} b_r r = b_r^2$ 제거): 결과적으로 얻어진 군 $K_2$는 무한 순환군 $\mathbb{Z}$로 가는 전사 준동형사상을 허용한다. 모든 원래 생성자를 항등원으로, 특정 생성자 $b_r$을 $\mathbb{Z}$의 생성자로 매핑하면 나머지 관계식은 자명하게 만족된다. $K_2$가 무한군으로 사상되므로 성질 (FA) 을 가질 수 없다.

주요 결과
본 논문은 다음과 같은 정리를 확립한다:

• 정리 1: 모든 유한군은 유한한 정당한 유한 표현을 허용한다.
• 정리 2: 성질 (FA) 을 가진 모든 유한 표현 군은 유한한 정당한-(FA) 표현을 허용한다.
• 정리 3: Kazhdan 의 성질 (T) 을 가진 모든 유한 표현 군은 유한한 정당한-(T) 표현 (임의의 관계식을 제거하면 성질 (T) 이 파괴되는 표현) 을 허용한다.
• 정리 6: 성질 (FA) 을 가진 비순환군의 임의의 유한 비축약적 표현에 대해, 동일한 결손 (생성자 수에서 관계식 수를 뺀 값) 을 가진 정당한-(FA) 표현이 존재한다.

의의 및 맥락
본 논문은 Kourovka Notebook 에서 제기된 열린 질문을 긍정적으로 해결했다고 주장한다. 그 의의는 유한성을 유지하는 데 관계식이 중복되지 않는다는 의미에서 유한군에 대한 최소 표현의 존재를 확립하는 데 있다.

방법론 노트
본 논문은 Google DeepMind AI 공동 수학자 도구의 사용을 명시적으로 인정한다. AI 는 초기 해결 구조와 핵심 증명 전략을 제안했으나, 사례 1 에서 $H_r = \langle r \rangle$인 특정 경우에 관한 결함을 겪었다. 인간 저자는 논리적 간극을 식별하고 필요한 수정 (순환 몫군에 관한 논증) 을 제공했으며, 정당한-(FA) 및 정당한-(T) 표현과 같은 더 넓은 개념을 포함하도록 표현을 정교화했다. 최종 텍스트는 AI 도구에 의해 검증 및 수정되었다.