동형 사상으로 구분되지 않는 단어들의 이미지 동등성 연구

초록

이 논문은 자유군의 두 단어가 모든 유한군에서 동일한 이미지 집합을 가질 때, 그들이 서로 엔도모픽하게 동등한지 여부를 조사한다. ‘약한 프로피니트 강직성(weak profinite rigidity)’이라는 개념을 도입하고, 원시 단어와 표면 단어의 거듭제곱이 이 성질을 만족함을 증명한다. 또한 테스트 단어에 대해서는 약한 강직성과 기존의 프로피니트 강직성이 동등함을 보인다.

상세 분석

논문은 먼저 자유군 (F_n)에서 정의되는 단어 (w)에 대해, 모든 유한군 (G)에 대해 단어 사상 (w:G^n\to G)의 이미지 집합 (G_w)가 동일한 두 단어가 존재한다면 이 두 단어가 엔도모픽하게 서로 변환될 수 있는지를 질문한다. 이를 위해 ‘엔도모픽 동등성(endomorphic equivalence)’을 정의하고, 두 원소가 모든 유한군에서 같은 이미지 집합을 가질 필요충분조건을 보이는 핵심 보조정리(Lemma 1.4, Lemma 2.1)를 증명한다. 이 결과는 자유군뿐 아니라 임의의 유한 생성 그룹에도 적용될 수 있음을 보이며, 프로피니트 완성 (\widehat P)에서의 엔도모픽 동등성과 유한군 이미지 동등성 사이의 동치성을 정리(Theorem 2.4)로 정리한다.

다음으로 ‘약한 프로피니트 강직성(weak profinite rigidity)’을 정의한다. 이는 같은 이미지 집합을 갖는 모든 단어가 원래 단어와 엔도모픽하게 동등해야 함을 의미한다. 기존 연구에서 원시 단어와 표면 단어가 ‘프로피니트 강직성(profinite rigidity)’을 만족한다는 결과가 있었지만, 약한 강직성에 대한 체계적인 연구는 없었다. 저자는 원시 단어의 거듭제곱이 약한 강직성을 만족함을 보이며, 이는 원시 단어 자체가 강직한 경우를 일반화한다. 또한 테스트 단어(test word)의 경우, 약한 강직성과 기존 강직성이 동치임을 증명한다(정리 3.x). 이는 테스트 단어가 어떤 연속적인 엔도모픽을 받아도 결국 자동동형이 된다는 사실과 연결된다.

주요 응용으로는 표면 단어 ((x_1^2\cdots x_n^2)^d)와 ((