[논문 리뷰] On subgroup conjugacy separability in the class of virtually free groups

Oleg Bogopolski, Fritz Grunewald|arXiv (Cornell University)|2010. 12. 22.

Japanese History and Culture참고 문헌 33인용 수 5

한 줄 요약

이 논문은 정규화자 조건을 만족하는 유한 군의 유한 트리의 자유군과 기본군이 부분군 쌍대공액 분리 가능성(Separability of Subgroup Conjugacy, SCS)을 가짐을 증명한다. 즉, 공액이 아닌 유한 생성 부분군은 어떤 유한 몫군에서도 여전히 공액이 아님을 의미한다. 또한 이러한 군들에 대해 부분군 내로의 공액 분리 가능성(subgroup into-conjugacy separability)을 도입하고 이를 증명함으로써, 유한체적 군의 성질을 부분군 공액 구조로 확장한다.

ABSTRACT

A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental groups of finite trees of finite groups with some normalizer condition are SCS. We also introduce the subgroup into-conjugacy separability property and prove that the above groups have this property too.

연구 동기 및 목표

• 가상으로 자유인 군과 자유군이 부분군 공액 분리 가능성(SCS) 성질을 만족하는지 조사한다.
• 잔여 유한성 성질을 부분군 공액으로 확장하여, 유한 생성 부분군의 공액 문제의 알고리즘적 해법을 다룬다.
• 가상으로 자유인 군의 맥락에서 부분군 내로의 공액 분리 가능성이라는 새로운 성질을 도입하고 이를 증명한다.
• 3차원 다면체 위상수학과 기하군론 분야의 잠재적 응용을 위한 기초를 마련한다.

제안 방법

• 비공액인 유한 생성 부분군이 어떤 유한 몫군에서도 여전히 비공액임을 보장하는 성질로 부분군 공액 분리 가능성(SCS)을 정의한다.
• 정규화자 조건을 만족하는 유한 군의 유한 트리의 구조에 대해 귀납법을 적용하여 군 복합체에서 곡선의 행동을 분석한다.
• 기하군론 기법을 사용하여, 복합체 $ Z $ 와 $ Y_l $ 를 구성하고, 고리의 수축 가능성과 $ e $-길이를 분석한다.
• 자유면과 수준 $ l $ 의 $ ilde{rak{N}} $-공간이 수축 가능하다는 사실을 활용하여 길이 제약 조건 하에서 고리의 수축 가능성을 증명한다.
• 호모토피적 추론과 상수 $ C $ 를 사용하여 고리의 길이를 유한하게 제한하고, 유한 몫군에서의 공액을 가정할 경우 모순을 이끌어낸다.
• 만약 $ H_2 $ 가 $ H_3 $ 내로 공액이면, $ H_2^g $ 는 반드시 $ H_1^{g_s} $ 내로 공액이어야 하며, 이는 $ H_2 $ 가 $ H_1 $ 내로 공액이 될 수 없다는 초기 가정과 모순된다.

실험 결과

연구 질문

• RQ1 정규화자 조건을 만족하는 유한 군의 유한 트리의 기본군과 자유군은 부분군 공액 분리 가능성(SCS) 성질을 만족하는가?
• RQ2 기하학적 및 귀납적 방법을 활용하여 군 복합체에서 유한체적 군에 대해 SCS 성질을 확립할 수 있는가?
• RQ3 공액 분리 가능성의 의미 있는 일반화가 부분군 공액에 적용 가능하며, 동일한 군의 클래스에 대해 성립하는가?
• RQ4 내부로의 공액 분리 가능성 성질은 자유군과 가상으로 자유인 군에서 성립하는가? 그리고 SCS와의 관계는 어떠한가?
• RQ5 SCS를 활용하여, 이러한 군에서 유한 생성 부분군의 공액 문제를 알고리즘적으로 해결할 수 있는가?

주요 결과

• 자유군은 부분군 공액 분리 가능성(SCS)을 만족한다. 즉, 공액이 아닌 유한 생성 부분군은 어떤 유한 몫군에서도 여전히 공액이 아니다.
• 정규화자 조건을 만족하는 유한 군의 유한 트리의 기본군은 SCS를 만족한다.
• 논문은 자유군과 위의 군 클래스에 대해 부분군 내로의 공액 분리 가능성 성질을 도입하고 이를 증명한다.
• 증명은 기하군론 기법을 활용하며, 복합체 $ Z $ 와 $ Y_l $ 를 사용하고, 길이가 $ C $ 보다 작은 고리는 수축 가능하거나 $ Y_{1,i} $ 에 속해 있음을 보여, 모순 추론을 가능하게 한다.
• 만약 $ H_2 $ 가 $ H_3 $ 내로 공액이면, $ H_2^g $ 는 반드시 $ H_1^{g_s} $ 내로 공액이어야 하며, 이는 $ H_2 $ 가 $ H_1 $ 내로 공액이 될 수 없다는 가정과 모순된다. 따라서 유한 몫군에서의 비공액성을 증명한다.
• 결과적으로, 유한 생성 SCS 군은 유한 생성 부분군의 공액 문제를 해결할 수 있으며, 알고리즘적 해법을 제공한다.