[논문 리뷰] A criterion for residual $p$-finiteness of arbitrary graphs of finite $p$-groups

Gareth Wilkes|arXiv (Cornell University)|2018. 10. 31.

Finite Group Theory Research참고 문헌 2인용 수 1

한 줄 요약

이 논문은 유한 p군의 임의의 그래프(유한 또는 무한)의 기본군의 잔여 p유한성에 대한 새로운 기준을 제시한다. 이 기준은 정점 및 간선 군에 대한 주요 시리즈 조건을 사용한다. 증명은 Bass–Serre 이론을 활용하여 나무 위의 군 작용을 분석함으로써 문제를 더 단순한 주요 시리즈를 가진 인덱스-p 정규부분군으로 환원하며, 귀납법과 그래프의 군의 기본군의 보편성질을 통해 잔여 p유한성을 최종적으로 증명한다.

ABSTRACT

Abstract We establish conditions under which the fundamental group of a graph of finite p -groups is necessarily residually p -finite. The technique of proof is independent of previously established results of this type, and the result is also valid for infinite graphs of groups.

연구 동기 및 목표

• . 이 논문은 임의의 그래프의 유한 p군의 기본군에 대한 잔여 p유한성에 대한 일반적인 기준을 수립하고자 한다.
• 이전 결과들이 유한 그래프에만 적용되거나 와이어드 프로덕트 구성에 의존하는 한계를 해결하고자 한다.
• 유한 및 무한 그래프의 군에 대해 모두 유효한 통합적이고 직접적인 증명을 제공하고자 한다.
• Higman과 Chatzidakis의 병합된 곱과 HNN 확장을 위한 결과를 임의의 그래프의 군으로 일반화하고자 한다.
• 기본군의 군 작용에 대해 불변인 주요 시리즈 조건을 통해 잔여 p유한성을 특성화하고자 한다.

제안 방법

• . 증명은 Bass–Serre 이론을 사용하여 주요 시리즈 조건을 이중 Bass–Serre 나무 위의 작용으로 번역한다.
• 나무에서 각 점 안정자군에 대해 군 코너에 대한 불변성을 만족하는 주요 시리즈를 정의한다 (조건 I').
• 모든 간선 사상과 코너 작용과 가환하는 일족의 포함사상 ψ(k)_z: γ(k)(G(z)) → F_p 를 도입한다 (조건 II').
• 기본군 G 는 군 준동형사상 Φ: G → F_p 를 통해 F_p 로 사상되며, 그 핵 H 는 인덱스 p 의 정규부분군이다.
• H 가 나무 위에서 작용함으로써, 주요 시리즈 길이가 한 단계 줄어든 새로운 그래프의 군 분해가 유도되며, 이를 통해 귀납법을 적용할 수 있다.
• 주요 시리즈 길이에 대한 귀납법을 통해, Lemma 2 를 사용하여 H 에서 G 로의 잔여 p유한성을 이행한다.

실험 결과

연구 질문

• RQ1 . 임의의 그래프의 유한 p군의 기본군이 언제 잔여 p유한성을 갖는가?
• RQ2 와이어드 프로덕트 구성에 의존하지 않고도 정점 및 간선 군에 대한 주요 시리즈 조건이 잔여 p유한성을 보장할 수 있는가?
• RQ3 그래프의 군 이론을 유한하지 않은 그래프로 확장하면서도 잔여 p유한성을 유지할 수 있는가?
• RQ4 이중 Bass–Serre 나무는 잔여 p유한성에 대한 통일된 기준을 수립하는 데 어떤 역할을 하는가?
• RQ5 정점 및 간선 군의 주요 몫에 대한 F_p 로의 호환 가능한 준동형사상의 측면에서 잔여 p유한성을 특성화할 수 있는가?

주요 결과

• . 임의의 그래프의 유한 p군의 기본군이 잔여 p유한성을 갖는 것은, 정리 4 의 조건 (I) 및 (II)를 만족하는 모든 정점 및 간선 군에 대해 호환 가능한 주요 시리즈가 존재할 때이고, 그 때에만 성립한다.
• 증명은 와이어드 프로덕트 구성에 의존하지 않으며, 유한 및 무한 그래프의 군에 모두 적용 가능하다.
• 기준은 이중 Bass–Serre 나무에서 G-불변 주요 시리즈로 재구성되며, 주요 몫에 대한 F_p 로의 호환 가능한 사상이 포함된다.
• 준동형사상 Φ: G → F_p 의 핵은 인덱스 p 의 정규부분군 H 이며, 이에 의해 유도된 그래프의 군 분해는 길이가 한 단계 줄어든 동일한 주요 시리즈 조건을 만족한다.
• 주요 시리즈 길이에 대한 귀납법을 통해 H 는 잔여 p유한성임이 보장되며, H ⊳p G 이므로 Lemma 2 에 의해 G 도 잔여 p유한성임을 유추할 수 있다.
• 모든 비자명 원소 g ∈ G 에 대해, 유한 부분그래프와 G(N)_x 에 대한 몫을 취함으로써 유한 경우로 환원되며, 이 경우 기준이 적용된다.