[논문 리뷰] On maximal subgroups of infinite index in branch and weakly branch groups

Dominik Francoeur|arXiv (Cornell University)|2020. 04. 03.

Finite Group Theory Research참고 문헌 19인용 수 13

한 줄 요약

이 논문은 Pervova의 Grigorchuk 및 GGS 군에 대한 최대부분군에 관한 기술적 도구를 자연스러운 조건을 만족하는 모든 약한 분지군으로 일반화하여, 분지군에서 무한지수를 가진 모든 최대부분군이 스스로가 분지군임을 증명한다. 주요 응용으로, 분지군은 아니지만 약한 분지군인 Basilica 군은 무한지수를 가진 최대부분군을 가지지 않으며, 이는 모든 최대부분군이 유한지수임을 의미한다. 이는 이 성질을 갖는 첫 번째 알려진 약한 분지군이다.

ABSTRACT

We generalise a technical tool, originally developed by Pervova for the study of maximal subgroups in Grigorchuk and GGS groups, to all weakly branch groups satisfying a natural condition, and in particular to all branch groups. We then use this tool to prove that every maximal subgroup of infinite index of a branch group is also a branch group. As a further application of this result, we show that every maximal subgroup of the Basilica group is of finite index.

연구 동기 및 목표

• Pervova의 Grigorchuk 및 GGS 군에 대한 정점 안정자 사영에 관한 기술적 도구를 자연스러운 조건을 만족하는 모든 약한 분지군으로 일반화한다.
• 분지군에서 무한지수를 가진 모든 최대부분군이 스스로가 분지군임을 증명한다.
• Basilica 군—약한 분지지만 분지군은 아닌 군—의 최대부분군을 분석하여, 무한지수를 가질 수 있는지 여부를 규명한다.
• Basilica 군이 무한지수를 가진 최대부분군을 가지지 않음을 입증함으로써, 모든 최대부분군이 유한지수임을 의미한다.
• Basilica 군이 무한지수를 가진 최대부분군을 가지지 않는 첫 번째 알려진 약한 분지군(분지군은 아님)임을 보여준다.

제안 방법

• Pervova의 Grigorchuk 및 GGS 군에 대한 기술적 보조정리 중 일부를 자연스러운 조건을 만족하는 모든 약한 분지군, 특히 루트 트리의 첫 번째 수준에서 정규적이고 원시적인 작용을 하는 군들로 일반화한다.
• 일반화된 도구를 사용하여, 분지군에서 무한지수를 가진 최대부분군의 사영이 해당 정점군에서 무한지수를 가진 최대부분군임을 보인다.
• 만약 분지군에서 무한지수를 가진 최대부분군이 존재한다면, 그 정점 안정자 역시 무한지수를 가진 최대부분군이어야 하며, 이는 부분군이 스스로가 분지군이 아니면 모순이 된다는 것을 의미한다.
• Basilica 군에 일반화된 도구를 적용하기 위해, 프로덴스 부분군과 그 정점군으로의 사영을 분석한다.
• Basilica 군의 모든 진부분군이 유한지수 최대부분군을 가진 군의 클래스(MF)에 속한다는 사실을 이용하여, 무한지수를 가진 최대부분군이 존재한다면 사영 결과와 모순됨을 보인다.
• 사영 결과와 Basilica 군의 구조를 조합하여, 무한지수를 가진 최대부분군이 존재할 수 없음을 결론짓는다.

실험 결과

연구 질문

• RQ1 Grigorchuk 및 GGS 군에서 최대부분군을 연구하는 Pervova의 방법을 자연스러운 조건을 만족하는 모든 약한 분지군으로 일반화할 수 있는가?
• RQ2 분지군에서 무한지수를 가진 모든 최대부분군이 스스로가 분지군이어야 하는가?
• RQ3 약한 분지지만 분지군은 아닌 Basilica 군은 무한지수를 가진 최대부분군을 가질 수 있는가?
• RQ4 Basilica 군의 프로덴스 부분군은 특히 정점군으로의 사영에 관해 어떤 구조적 성질을 가지는가?
• RQ5 일반화된 사영 기법을 사용하여 Basilica 군에서 무한지수를 가진 최대부분군이 존재하지 않음을 입증할 수 있는가?

주요 결과

• 논문은 자연스러운 조건을 만족하는 모든 약한 분지군, 특히 모든 분지군을 포함하여 Pervova의 기술적 도구를 일반화한다.
• 분지군에서 무한지수를 가진 모든 최대부분군이 스스로가 분지군임을 증명하여, 이러한 부분군의 구조적 특성화를 제공한다.
• Basilica 군은 무한지수를 가진 최대부분군을 가지지 않으며, 이는 모든 최대부분군이 유한지수임을 의미한다.
• 이는 무한지수를 가진 최대부분군을 가지지 않는 첫 번째 알려진 약한 분지군(하지만 분지군은 아님)임을 보여준다.
• 이 결과는 무한지수를 가진 최대부분군이 없는 군의 클래스가 오직 무한지수를 가진 분지군에만 국한되지 않고, 예를 들어 토크셔이스럽고 무한지수를 가진 군이 아닌 다른 대수적 성질을 가진 일부 약한 분지군으로까지 확장됨을 보여준다.