[논문 리뷰] The Congruence Subgroup Property does not imply Invariable Generation

Tsachik Gelander, Chen Meiri|arXiv (Cornell University)|2015. 05. 26.

semigroups and automata theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 [KLS14]에서 제기한 추측을 반박한다. 즉, 산술군에서 합동부분군 성질이 비틀림 없는 생성을 암시한다는 추측이다. 특정 산술군들에 대한 반례를 구성함으로써, 저자들은 합동부분군 성질이 비틀림 없는 생성을 함의하지 않음을 입증하며, 제안된 동치성도 부정한다.

ABSTRACT

It was suggested in [KLS14] that for arithmetic groups, the Congruence Subgroup Property is equivalent to Invariable Generation. In this paper we dismiss this conjecture by proving that certain arithmetic groups which possess the first property do not posses the later one.

연구 동기 및 목표

• 산술군에서 합동부분군 성질과 비틀림 없는 생성 간의 관계를 조사하는 것.
• [KLS14]에서 제안한 두 군론적 성질 간의 동치성에 대한 추측의 타당성을 검증하는 것.
• 합동부분군 성질을 만족하는 산술군이 반드시 비틀림 없는 생성을 만족하는지 여부를 규명하는 것.

제안 방법

• 합동부분군 성질를 만족하는 것으로 알려진 특정 산술군의 클래스를 분석한다.
• 이들 군의 구조를 검토하여, 어떤 군자기동형사상에 대해 항상 생성자로 남는 원소들로 생성 가능한지 평가한다.
• 군론적 기법을 사용하여, 합동부분군 성질이 존재하는 바에도 불구하고 비틀림 없는 생성에 실패하는 경우를 규명한다.
• 논증은 산술군의 구조적 성질과 그 자동형사상에 관여하는 생성집합의 성질에 기반한다.

실험 결과

연구 질문

• RQ1 합동부분군 성질은 산술군에서 비틀림 없는 생성을 암시하는가?
• RQ2 합동부분군 성질을 만족하지만 비틀림 없는 생성이 되지 않는 산술군이 존재하는가?
• RQ3 [KLS14]에서 제안한 두 성질 간의 동치성에 대한 추측은 실제로 타당한가?

주요 결과

• 논문은 합동부분군 성질를 갖지만 비틀림 없는 생성이 되지 않는 산술군의 명시적 예를 구성한다.
• 이 예들은 합동부분군 성질가 비틀림 없는 생성을 암시하지 않는다는 것을 입증한다.
• 비틀림 없는 생성의 실패는 생성집합의 자동형사상 궤도 내부의 구조적 제약 때문이었다.
• 결과적으로, [KLS14]의 추측은 반례를 제시함으로써 반박된다.