[논문 리뷰] Splitting theorems for pro-$p$ groups acting on pro-$p$ trees and 2-generated subgroups of free pro-$p$ products with procyclic amalgamations

Wolfgang Herfort, Pavel Zalesskii외 1명|arXiv (Cornell University)|2011. 03. 15.

Advanced Topology and Set Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유한 생성된 프로-$p$ 군이 프로-$p$ 트리에 거의 자유롭게 작용할 때, 그 군이 암시적으로 암시된 자유 프로-$p$ 곱 또는 프로-$p$ HNN-확장으로 분해됨을 증명한다. 핵심 기여는 바움슬라그의 정리의 프로-$p$ 판본으로, 프로순환적 합성에 대한 자유 프로-$p$ 곱에서, 각 성분의 모든 2차생성 부분군이 자유 또는 아벨 자유일 경우, 전체 군의 모든 2차생성 부분군 역시 자유 프로-$p$임을 보여준다.

ABSTRACT

Let G be a finitely generated infinite pro-p group acting on a pro-p tree such that the restriction of the action to some open subgroup is free. Then we prove that G splits as a pro-p amalgamated product or as a pro-p HNN-extension over an edge stabilizer. Using this result we prove under certain conditions that free pro-p products with procyclic amalgamation inherit from its free factors the property of each 2-generated subgroup being free pro-p. This generalizes known pro-p results, as well as some pro-p analogs of classical results in abstract combinatorial group theory.

연구 동기 및 목표

• 프로-$p$ 트리에 작용하는 군에 대한 고전적 바스-세르 이론 결과의 프로-$p$ 판본을 수립하기 위해.
• 콤���티드니스 문제로 인해 기본 프로-$p$ 군이 항상 간선 안정자에서 분해되지 않는다는 점에서 발생하는 장애를 해결하기 위해.
• 유한 생성된 프로-$p$ 군이 프로-$p$ 트리에 거의 자유롭게 작용할 경우, 그 군이 암시된 자유 프로-$p$ 곱 또는 프로-$p$ HNN-확장으로 분해됨을 증명하기 위해.
• 바움슬라그의 고전적 결과(자유 곱에서의 2차생성 부분군)를 프로-$p$ 설정으로 일반화하기 위해.
• 프로순환적 합성에 대한 자유 프로-$p$ 곱에서 2차생성 부분군이 자유 프로-$p$가 되는 조건을 설정하기 위해.

제안 방법

• 무한한 유한 생성 프로-$p$ 군이 프로-$p$ 트리에 거의 자유롭게 작용할 경우의 분해 정리를 증명하기 위해 조합론적 프로-$p$ 군 방법을 사용하기 위해.
• 행동에 기반하여 $G\backslash T$가 아니라 수정된 트리 구성(보조정리 3.4)을 통해 유한 $p$-군의 유한 연결 그래프를 구성하기 위해.
• 쌍 $(L_n, T_n)$의 역극한 기법을 사용하여 2차생성 부분군과 그들이 프로-$p$ 트리에 작용하는 방식을 분해하기 위해.
• 정규화자 구조 분석을 위해 프라티니 몫을 사용하여 2차생성 부분군이 아벨일 수 있는 경우를 제거하기 위해.
• 합성된 프로순환 부분군의 중심화자들이 자유 아벨이며, $C$를 직접 인자로 포함한다는 가정을 활용하기 위해.
• 부분군의 구조 결론을 뒷받침하기 위해 알려진 프로-$p$ Kurosh 및 Grushko 정리의 판본을 적용하기 위해.

실험 결과

연구 질문

• RQ1 유한 생성 프로-$p$ 군이 프로-$p$ 트리에 거의 자유롭게 작용할 때, 어떤 조건에서 간선 안정자에서 분해되는가?
• RQ2 유한 $p$-군의 유한 그래프에서의 기본 프로-$p$ 군은 군이 프로-$p$ 트리 작용에 거의 자유롭게 작용할 경우 안정자로부터 재구성될 수 있는가?
• RQ3 프로순환적 합성에 대한 자유 프로-$p$ 곱에서 2차생성 부분군이 자유 프로-$p$로 남는 조건은 무엇인가?
• RQ4 합성된 프로순환 부분군의 중심화자의 구조는 2차생성 부분군의 자유성에 어떤 영향을 미치는가?
• RQ5 고전적 조합론적 군론 결과의 프로-$p$ 판본이 프로-$p$ 설정에서 어느 정도 유지되는가?

주요 결과

• 무한한 유한 생성 프로-$p$ 군이 프로-$p$ 트리에 거의 자유롭게 작용할 경우, 간선 안정자에서 분해되며, 이는 암시된 자유 프로-$p$ 곱 또는 프로-$p$ HNN-확장로 이루어진다.
• 그 군은 정점과 간선 군이 트리에서 정점과 간선의 안정자와 동형인 유한 연결 그래프의 기본 프로-$p$ 군과 동형이다.
• 만약 $G = A \amalg_C B$가 프로순환적 합성에 대한 자유 프로-$p$ 곱이고, $C$가 그 중심화자에서 직접 인자로 포함되어 있다면, $A$와 $B$에서 동일한 성질이 성립할 경우, $G$의 모든 2차생성 프로-$p$ 부분군은 자유 프로-$p$이다.
• 이 결과는 바움슬라그의 고전적 정리(자유 곱에서의 2차생성 부분군)를 프로-$p$ 설정으로 일반화한다.
• 이전 결과가 다루지 못한 경우, 예를 들어 비해소적 데무시킨 군에서 합성 부분군이 최대 프로순환일 경우를 포함한다.
• 증명은 쌍 $(L_n, T_n)$의 역극한과 프라티니 몫 분석을 사용하여, 비자유 아벨 2차생성 부분군의 가능성을 배제함으로써, 극한에서의 자유성을 확인한다.