[논문 리뷰] Strange images of profinite groups

Nikolay Nikolov|arXiv (Cornell University)|2009. 01. 02.

Finite Group Theory Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 유한 생성 프로유한군이 무한 유한 생성 영상(image)을 가질 수 있는지 조사하며, 프로솔브블, 반단순, 비일반(profinite) 군의 경우 그러한 이상한 영상이 존재하지 않음을 증명한다. 핵심 결과는 유한 생성 프로유한군의 무한 유한 생성 영상은 반드시 비가산이어야 하며, 이러한 군에서 조밀한 정규부분군은 특정 유한성 조건 하에 열려 있거나 자명하다는 것이다.

ABSTRACT

We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is semisimple or nonuniversal. We also investigate the existense of dense normal subgroups in $G$.

연구 동기 및 목표

• 유한 생성 프로유한군이 위상적으로 닫혀 있지 않은 무한 유한 생성 몫(즉, '이상한 영상')을 가질 수 있는지 확인하는 것.
• 특히 유한 생성성과 영상 구조와 관련하여 프로유한군 내 조밀한 정규부분군의 존재를 조사하는 것.
• 단 세갈의 결과를 더 넓은 범주인 반단순 및 비일반 프로유한군으로 확장하는 것.
• 특히 언어부분군과 자기동형작용의 맥락에서 유한 생성 제약 조건 하에서 정규부분군과 영상의 구조를 특성화하는 것.
• 하위군 생성 및 닫힘 성질을 분석하여 핵심 프로유한군 클래스에 대해 추측 1(Blaubeuren)을 해결하는 것.

제안 방법

• 특히 하향 중심계열과 도함수군에 초점을 맞춰, 유한 생성 프로유한군 내 언어부분군의 구조와 닫힘 성질을 사용한다.
• 단 세갈의 정리에 기반하여, $ G' $ 가 $ G' $ 모듈로 생성자의 공轭들의 곱에 포함됨을 보여, $ N $ 이 적절한 무한 영상일 경우 모순이 발생함을 증명한다.
• 준단순군의 중심곱과 자기동형작용을 분석하여, 교환자들을 통해 전체 군을 생성함을 보이며, 공轭에 의한 생성에 관한 핵심 결과(정리 7)를 활용한다.
• 문제를 단순 영상으로 줄이기 위해 조른의 보조정리(Zorn's lemma)를 사용한 후, 목표 클래스 내에서 무한 유한 생성 단순 영상이 존재하지 않음을 증명한다.
• 유한 영상의 생성을 프로유한 수준으로 올리는 데 프로유한 군 생성 렘마의 버전(예: [8]의 보조정리 2.4)을 사용한다.
• 베르의 분류정리와 위상적 추론을 적용하여, 무한 잔여유한 영상가 반드시 비가산이어야 하므로 가산이 될 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 유한 생성 프로유한군이 프로유한 위상에서 닫혀 있지 않은 무한 유한 생성 영상을 가질 수 있는가?
• RQ2 니콜로프-세갈의 결과에 따르면 유한 몫에 이상한 것이 없지만, 더 넓은 범주에서의 무한 유한 생성 영상으로까지 확장되는가?
• RQ3 어떤 조건에서 프로유한군이 열려 있지 않은 조밀한 정규부분군을 가질 수 없도록 막을 수 있는가?
• RQ4 준단순군의 중심곱에서 자기동형작용 궤적과 교환자 생성의 구조를 이용해 전체 군이 공轭에 의해 생성되도록 유도할 수 있는가?
• RQ5 유한 생성 프로유한군의 조밀한 정규부분군이 반드시 전체 군이 되는 조건은 무엇인가?

주요 결과

• 프로솔브블, 반단순, 비일반 군의 경우, 유한 생성 프로유한군은 무한 유한 생성 영상을 가질 수 없다.
• 반단순 프로유한군(비아벨 유한 단순군의 카르테시안 곱)의 모든 단순 몫은 유한이거나 비가산이므로, 무한 유한 생성 단순 영상은 존재하지 않는다.
• 비일반 프로유한군에서는, 모든 무한 유한 생성 몫의 영상은 반드시 비가산이므로 그러한 영상은 존재하지 않는다.
• 프로유한군 $ G $ 가 유한 아벨화를 가지며, 유한 개의 유한 단순군으로만 몫을 가질 경우, 임의의 조밀한 정규부분군 $ N $ 은 열려 있어야 하므로 $ N = G $ 이다.
• 주요 정리의 조건 하에서, 유한 생성 무한 영상 $ G/N $ 를 가지는 정규부분군 $ N $ 에 대해 도함수군 $ G' $ 는 항상 $ N $ 에 포함된다.
• 핵심 기술적 결과(정리 7)는, 준단순군의 중심곱의 성분들에 대해 자기동형작용이 비자명하게 작용할 경우, 군이 유한 개의 교환자부분군의 곱에 의해 생성되며, 지수는 관련된 대칭군의 랭크에만 의존함을 보여준다.