[논문 리뷰] On some residual properties of Baumslag -- Solitar groups

Д. И. Молдаванский|arXiv (Cornell University)|2013. 10. 14.

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

한 줄 요약

이 논문은 Baumslag-Solitar 군 $G(m,n) = \langle a,b \mid a^{-1}b^m a = b^n \rangle$의 잔여 성질을 조사하며, 유한군 또는 유한 $\pi$-군의 집합 $Φ$에 대한 $Φ$-잔여성 및 코너지에 의한 $Φ$-분리성의 기준을 수립한다. 주요 결과로는 $G(1,n)$이 $n \equiv 1 \pmod{p}$를 만족할 때만 $Φ$-잔여성이지만, $|n| \neq 1$일 경우 코너지에 의한 $Φ$-분리성이 아님을 보이며, 반면 $|n| = m$인 $G(m,n)$는 임의의 $\pi$-군 클래스에 대해 $Φ$-잔여성과 코너지에 의한 $Φ$-분리성 모두를 만족함을 보인다.

ABSTRACT

A survey of results on the residual properties of Baumslag -- Solitar groups which have been obtained to date.

연구 동기 및 목표

• Baumslag-Solitar 군 $G(m,n)$에서의 잔여 유한성, 코너지 분리성, 부분군 분리성에 관한 기존 결과를 체계적으로 조사하기 위해.
• 유한 $\pi$-군에 대해 $G(m,n)$이 잔여 유한성, 잔여 $p$-군, 또는 코너지 분리성인 조건을 명확히 하기 위해.
• 특히 $G(1,n)$과 $|n| = m$인 $G(m,n)$에 대해 $Φ$-잔여성과 코너지에 의한 $Φ$-분리성 간의 관계에 대한 열린 문제를 해결하기 위해.
• 특히 원본 자료가 접근하기 어려운 경우나 증명이 간소화된 경우에 대해 핵심 정리의 접근 가능한 증명을 제공하기 위해.

제안 방법

• HNN 확장을 이용하여 $G(m,n)$을 $\langle b \rangle \cong \mathbb{Z}$의 확장으로 표현하고, 안정 문자 $a$와 관련된 부분군 $\langle b^m \rangle$, $\langle b^n \rangle$을 사용하기 위해.
• 잔여성을 시험하기 위해 유한 준동형 상 $H_n(k,l) = \langle a,b \mid a^{-1}ba = b^n, a^k = b^l = 1 \rangle$를 구성하기 위해.
• Euler의 총합 함수 $\varphi(l)$를 적용하여 자동형의 차수가 $k$로 나누어지게 하여 유한 $p$-군 몫을 보장하기 위해.
• 집합 $U = \{ n \in \mathbb{Z} \mid \exists x, x^{-1}gx = gc^n \}$와 그 부분군 $V$를 이용한 코너지 상승 기법을 사용하여 코너지 분리성을 분석하기 위해.
• 정규 순환 부분군 $C = \langle c \rangle$에 대해 $C^r$ 모듈로에서의 코너지 문제를 줄이기 위해 $V = m\mathbb{Z}$와 $r$의 선택을 통해 $k \in U$를 피하기 위해.
• 구조적으로 $|n| = m$인 $G(m,n)$의 성질을 활용하여, 중심이 자명하지 않은 한 개의 관계를 가진 군에 관한 기존 결과를 바탕으로 부분군 분리성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $G(m,n)$이 잔여 유한성(즉, $\Cal{F}$-잔여성)인가?
• RQ2 소수 $p$에 대해 $G(m,n)$이 $\Cal{F}_p$-잔여성인가? 이에 필요한 필요충분 조건은 무엇인가?
• RQ3 $\pi$를 소수의 집합으로 할 때, $G(1,n)$은 $\Cal{F}_\pi$-분리성인가? 이는 $\Cal{F}_\pi$-잔여성과 어떻게 관련되는가?
• RQ4 $\Cal{F}_\pi$-잔여성이 $G(m,n)$에 대해 코너지에 의한 $\Cal{F}_\pi$-분리성을 유도하는가? 만약 그렇다면 어떤 조건에서인가?
• RQ5 $|n| = m$일 때 $G(m,n)$은 부분군 분리성인가? 이는 어떤 구조적 성질에서 유추되는가?

주요 결과

• $|n| \geq m > 0$ 조건 하에서, 군 $G(m,n)$은 $m=1$ 또는 $|n|=m$일 때에만 $\Cal{F}$-잔여성이다.
• 소수 $p$에 대해, $G(m,n)$은 $m=1$이고 $n \equiv 1 \pmod{p}$이거나, $|n| = m = p^r$이며 $n = -m$이면 $p=2$여야 $\Cal{F}_p$-잔여성이다.
• $|n| \neq 1$일 경우, $G(1,n)$은 일부 두 원소로 이루어진 소수 집합 $\pi$에 대해 $\Cal{F}_\pi$-잔여성일 수 있지만, 절대 코너지에 의한 $\Cal{F}_\pi$-분리성이 아니다.
• $|n| = m$이면, $G(m,n)$은 $\Cal{F}_\pi$-잔여성일 경우 언제나 코너지에 의한 $\Cal{F}_\pi$-분리성이 된다. 이는 임의의 소수 집합 $\pi$에 대해 성립한다.
• $|n| = m$일 때, $G(m,n)$은 부분군 분리성이며, 중심이 자명하지 않은 한 개의 관계를 가진 군에 관한 이전 결과를 일반화한다.
• $G(1,n)$의 순환 부분군 $\langle b \rangle$는 코너지의 성질로 인해 $b$와 $b^n$이 서로 코너지가 되므로, 모든 유한지수 정규부분군 $N$에 대해 $g = aba^{-1} \in BN$이 되어야 하므로 $\Cal{F}$-분리성이 아니다.