[논문 리뷰] Classification of normally and finitely non-co-Hopfian groups

Wouter van Limbeek|arXiv (Cornell University)|2017. 10. 05.

Geometric and Algebraic Topology참고 문헌 9인용 수 4

한 줄 요약

이 논문은 유한 생성된 군 중에서 자신과 동형인 진정한 정규 부분군의 내림차순 체인이 존재하는 군을 분류하며, 이러한 군들이 자유 아벨 몫으로부터의 끌어올림을 통해 유래됨을 증명한다. 이를 응용하여, 군과 동형인 특성적인 유한지수 부분군이 아벨화로부터 끌어올려져야 한다는 것을 보이고, 정규 부분군에 대한 스케일 불변성 추측의 특수 케이스를 증명한다.

ABSTRACT

A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is isomorphic to G. We prove that up to finite index, these are always obtained by pulling back a chain of subgroups from a free abelian quotient. We give two applications: First, we show any characteristic proper finite-index subgroup isomorphic to G arises by pulling back a finite-index subgroup of the abelianization, and secondly, we prove special cases (for normal subgroups) of conjectures of Benjamini and Nekrashevych--Pete regarding the classification of scale-invariant groups.

연구 동기 및 목표

• 유한 생성된 군 G가 자신과 동형인 진정한 정규 부분군의 내림차순 체인을 포함하는 경우를 분류하는 것.
• 그러한 부분군의 구조적 기원을 아벨화의 부분군과 연결하여 이해하는 것.
• G와 동형인 특성적인 유한지수 부분군이 아벨화로부터의 끌어올림을 통해 유래되어야 한다는 것을 증명하는 것.
• 벤자민니와 네크라셰비치–피트가 제기한 스케일 불변성 군에 대한 추측의 특수 케이스를 정규 부분군에 대해 증명하는 것.

제안 방법

• G와 동형인 진정한 정규 부분군의 내림차순 체인을 분석한다.
• G의 아벨화의 구조를 이용하여 자유 아벨 몫으로부터 부분군의 끌어올림을 구성한다.
• 군론적 기법을 적용하여 이러한 체인이 아벨화의 부분군에 의해 유한 지수까지 결정됨을 보인다.
• 임의의 특성적인 유한지수 부분군이 G와 동형인 경우, 그 부분군은 아벨화의 유한지수 부분군의 끌어올림이어야 한다는 것을 증명한다.
• 구조적 결과를 응용하여 정규 부분군에 대한 스케일 불변성 추측의 특수 케이스를 검증한다.
• 공호프성과 유한지수 부분군 성질을 활용하여 가능한 군의 구조를 제약한다.

실험 결과

연구 질문

• RQ1 유한 생성된 군 G가 자신과 동형인 진정한 정규 부분군의 내림차순 체인을 갖는다면, 그 구조적 기원은 무엇인가?
• RQ2 G의 특성적인 진유한지수 부분군 중에서 G와 동형인 것들이 아벨화로부터의 끌어올림으로서 실현될 수 있는가?
• RQ3 이러한 군들이 벤자민니와 네크라셰비치–피트의 추측한 스케일 불변성 성질을 어느 정도 만족하는가?
• RQ4 아벨화의 성질은 G 내의 동형 유한지수 정규 부분군의 존재성과 분류에 어떻게 영향을 미치는가?

주요 결과

• 자신과 동형인 진정한 정규 부분군의 내림차순 체인을 갖는 임의의 유한 생성 군 G는, G의 자유 아벨 몫으로부터의 부분군 끌어올림을 통해 유한 지수까지 유도된다.
• G의 특성적인 진유한지수 부분군 중에서 G와 동형인 것들은 모두 아벨화의 유한지수 부분군의 끌어올림으로서 나타난다.
• 논문은 벤자민니와 네크라셰비치–피트의 스케일 불변성 군에 대한 추측의 특수 케이스를 증명하며, 특히 정규 부분군에 대해 적용한다.
• 이러한 군의 분류는 자유 아벨 몫의 부분군 구조에 의해 결정되며, 유한 지수까지 정확히 결정된다.