[논문 리뷰] Metabelian Wreath Products Are LERF

Roger C. Alperin|ArXiv.org|2006. 09. 21.

Geometric and Algebraic Topology참고 문헌 2인용 수 5

한 줄 요약

이 논문은 유한 생성 아벨 군 $A$ 및 $Q$에 대해 메타아벨 와일러 곱 $A \wr Q$가 LERF (국소적으로 확장된 잔여 유한성)임을 증명한다. 증명은 아벨 핵을 가진 군의 확장에서 부분군에 대한 강화된 분리성 보조정리와 유한 지수 부분군 축소, 프로파일 위상론적 추론을 조합한다. 주요 결과는 이전의 $A \wr \mathbb{Z}$에 대한 연구를 일반화하며, 매그너 임bedding을 통해 자유 메타아벨 군이 LERF임을 시사한다.

ABSTRACT

We show that a wreath product of two finitely generated abelian groups is LERF. Consequently the free metabelian groups are LERF.

연구 동기 및 목표

• 와일러 곱 $A \wr Q$가 LERF가 되는 조건을 규명하는 것, 특히 메타아벨 경우에 대해.
• 유한 생성 아벨 군 $A$에 대해 $A \wr \mathbb{Z}$가 LERF임이 알려진 결과를 일반적인 유한 생성 아벨 군 $Q$로 확장하는 것.
• 매그너 임베딩을 통해 자유 메타아벨 군이 $A \wr Q$에 포함됨을 이용하여 자유 메타아벨 군이 LERF임을 입증하는 것.
• 유한 지수 축소와 프로파일 위상론을 이용한 메타아벨 와일러 곱에서 부분군 분리성에 대한 일반적 프레임워크를 제공하는 것.

제안 방법

• de C의 분리성 보조정리의 수정된 버전을 사용하여, $f: \Gamma \to Q$가 아벨 핵을 가지며 $f(S)$가 $Q$에서 유한 지수인 부분군 $S \leq \Gamma$가 $\Gamma$에서 강하게 분리 가능하다는 것을 보이는 것.
• 분리 문제를 $f(S) = Q$이고 $S \cap K = \{1\}$인 경우로 축소하여, $\Gamma = K \rtimes S$이고 $K = A^Q$가 되도록 하는 것.
• 군 $\Gamma$에서 $S$의 프로파일 클로처 $\bar{S}$가 $K$와 자명하게만 만난다는 것을 증명하여, $S$가 프로파일 위상에서 닫혀 있음을 이끌어내는 것.
• $\Gamma^{(1)}_{R_2}$와 $\Gamma^{(2)}_{R_1}$가 유한 생성이자 잔여 유한성임을 (그룬버그 정리에 의해) 이용하여, 유한 몫군을 통해 원소들을 분리하는 것.
• 유한 지수 부분군 축소 기법 적용: 만약 $S$가 $\Gamma$의 유한 지수 부분군에서 분리 가능하면, $S$는 $\Gamma$에서 분리 가능하므로, 문제를 $Q = R_1 \times R_2$인 경우로 축소할 수 있다.
• 매그너 임베딩을 사용하여 자유 메타아벨 군을 $A \wr Q$에 포함시키며, $A$, $Q$가 유한 생성 아벨 군임을 이용하고, LERF 성질이 부분군으로도 유지된다는 점을 이용하여, 자유 메타아벨 군이 LERF임을 결론짓는 것.

실험 결과

연구 질문

• RQ1 유한 생성 아벨 군 $A$, $Q$일 때 와일러 곱 $A \wr Q$가 LERF가 되는 조건은 무엇인가?
• RQ2 $A \wr \mathbb{Z}$가 LERF임이 알려져 있는데, 이 결과를 임의의 유한 생성 아벨 군 $Q$에 대해 $A \wr Q$로 일반화할 수 있는가?
• RQ3 유한 생성 아벨 군 $A$, $Q$에 대해 $A \wr Q$의 부분군 분리성이 자유 메타아벨 군이 LERF임을 의미하는가?
• RQ4 유한 생성 아벨 군 $A$, $Q$일 때, $A \wr Q$의 프로파일 위상에서 유한 생성 부분군을 유한 몫군을 통해 분리할 수 있는가?

주요 결과

• 유한 생성 아벨 군 $A$ 및 $Q$일 때, 와일러 곱 $A \wr Q$는 항상 LERF이다.
• 증명은 $f: \Gamma \to Q$가 아벨 핵을 가지며 $f(S)$가 $Q$에서 유한 지수인 부분군 $S \leq \Gamma$가 $\Gamma$에서 강하게 분리 가능하다는 강화된 분리성 보조정리를 기반으로 한다.
• 유한 지수 축소 기법을 통해 문제를 $f(S) = Q$인 경우로 축소할 수 있으며, 이는 프로파일 클로처 추론을 단순화한다.
• $\Gamma$에서 $S$의 프로파일 클로처 $\bar{S}$는 $\bar{S} \cap K = \{1\}$를 만족하며, 이는 $S$가 프로파일 위상에서 닫혀 있음을 의미한다.
• $\Gamma^{(1)}_{R_2}$와 $\Gamma^{(2)}_{R_1}$는 유한 생성이자 잔여 유한성임을 이용하여, 원소들을 유한 몫군을 통해 분리할 수 있다.
• 결과적으로 자유 메타아벨 군은 LERF이다. 왜냐하면 $A$, $Q$가 유한 생성 아벨 군인 $A \wr Q$에 포함되며, LERF 성질이 부분군으로도 유지되기 때문이다.