[논문 리뷰] On the cyclic subgroup separability of free products of two groups with amalgamated subgroup

E. V. Sokolov|ArXiv.org|2007. 08. 21.

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

한 줄 요약

이 논문은 순환 부분군이 순환 부분군을 공유하는 자유곱에서 $p$-분리 가능성에 대한 충분조건을 확립한다. 만약 자유 요소들이 자유이거나 유한 생성 잔여 $p$-유한 노름군이라면, 자유곱의 잔여 $p$-유한성은 모든 $p'$-고립 순환 부분군의 $p$-분리 가능성으로 이어지며, 이는 암시적 자유곱에서 부분군 분리 가능성에 관한 기존 결과를 일반화한다.

ABSTRACT

Let $G$ be a free product of two groups with amalgamated subgroup, $π$ be either the set of all prime numbers or the one-element set \{$p$\} for some prime number $p$. Denote by $Σ$ the family of all cyclic subgroups of group $G$, which are separable in the class of all finite $π$-groups. Obviously, cyclic subgroups of the free factors, which aren't separable in these factors by the family of all normal subgroups of finite $π$-index of group $G$, the subgroups conjugated with them and all subgroups, which aren't $π^{\prime}$-isolated, don't belong to $Σ$. Some sufficient conditions are obtained for $Σ$ to coincide with the family of all other $π^{\prime}$-isolated cyclic subgroups of group $G$. It is proved, in particular, that the residual $p$-finiteness of a free product with cyclic amalgamation implies the $p$-separability of all $p^{\prime}$-isolated cyclic subgroups if the free factors are free or finitely generated residually $p$-finite nilpotent groups.

연구 동기 및 목표

• 자유곱에서 순환 부분군이 순환 합성부분군을 공유하는 경우, 모든 $p'$-고립 순환 부분군이 $p$-분리 가능해지는 조건을 규명하는 것.
• 자유곱에서 순환 부분군 분리 가능성에 관한 기존 결과를 합성부분군이 있는 경우로 확장하는 것.
• 그러한 합성부분군 내에서 유한 $p$-군의 계열에서 분리 가능한 순환 부분군의 가족을 특성화하는 것.
• 전체 군의 $p$-유한성과 그 $p'$-고립 순환 부분군의 $p$-분리 가능성 간의 관계를 조사하는 것.
• 분리 가능성에 대한 충분조건을 확립하기 위해 $H$-필터링과 $K$-필터링의 개념을 일반화하는 것.

제안 방법

• 논문은 자유곱 $G = A*_H B$ 에서의 분리 가능성 분석을 위해 자유 요소 $A$ 와 $B$ 에서의 $H$-필터링과 $K$-필터링 개념을 사용한다.
• $(H,K,\varphi)$-호환성인 유한 지수의 정규부분군의 가족 $\Omega_A$ 와 $\Omega_B$ 를 정의하고, 이를 통해 순환 부분군의 분리 가능성 특성화를 한다.
• 증명은 특히 교환자와 중심화자를 중시하며, 유한 $p$-군으로의 모든 군 준동형사상에 대해 항등원으로 보내지 않는 원소를 분석하는 데 의존한다.
• 부분군이 유한 $p$-군의 계열에서 분리 가능하지 않다면, 모든 그러한 준동형사상에 대해 부분군 안으로 보내지는 원소가 존재한다는 성질을 적용한다.
• 구조적으로 $G$ 의 순환 부분군, 특히 $A$ 나 $B$ 의 부분군에 쌍대형이 되는 부분군의 행동을 분석하고, 유한 $p$-군으로의 준동형사상에서의 행동을 조사한다.
• 특히 $p'$-고립 부분군은 그 순서가 $p$ 와 서로소라는 사실을 이용하여 잔여 $p$-유한성에 위배되는 비자명한 교환자를 배제한다.

실험 결과

연구 질문

• RQ1 자유곱에서 순환 합성부분군을 공유하는 경우, 모든 $p'$-고립 순환 부분군이 $p$-분리 가능해지는 조건은 무엇인가?
• RQ2 합성부분군의 잔여 $p$-유한성과 그 $p'$-고립 순환 부분군의 $p$-분리 가능성 간의 관계는 어떻게 되는가?
• RQ3 자유 요소에서의 $H$-필터링과 $K$-필터링이 합성부분군에서 순환 부분군의 분리 가능성 확보에 어떤 역할을 하는가?
• RQ4 자유 요소들이 자유이거나 유한 생성 잔여 $p$-유한 노름군이라면, $p'$-고립 순환 부분군의 $p$-분리 가능성은 보장될 수 있는가?
• RQ5 모든 $p$-군 준동형사상에서 비자명한 교환자가 항상 항등원으로 보내지 않도록 하기 위한 합성부분군과 자유 요소의 구조적 제약 조건은 무엇인가?

주요 결과

• 자유 요소 $A$ 와 $B$ 가 자유이거나 유한 생성 잔여 $p$-유한 노름군이라면, $G$ 의 잔여 $p$-유한성은 모든 $p'$-고립 순환 부분군의 $p$-분리 가능성으로 이어진다.
• 모든 $p$-분리 가능 $p'$-고립 순환 부분군의 가족은 $\Lambda_A^p \cup \Lambda_B^p$ 와 쌍대형이 되지 않는 모든 부분군의 가족과 일치한다. 여기서 $\Lambda_A^p$ 와 $\Lambda_B^p$ 는 각각 $\Omega_A^p$ 와 $\Omega_B^p$ 의 부분군에 의해 분리되지 않는 순환 부분군의 가족이다.
• 만약 $\Omega_A$ 가 $H$-필터링이고 $\Omega_B$ 가 $K$-필터링이라면, $\Lambda_A^p \cup \Lambda_B^p$ 와 쌍대형이 되지 않는 모든 $p'$-고립 순환 부분군의 $p$-분리 가능성에 충분한 조건이 되며, 이는 이전의 잔여 유한성 결과를 일반화한다.
• 만약 $G$ 의 순환 부분군 $\langle u \rangle$ 가 $p'$-고립이지만 $p$-분리 가능하지 않다면, 모든 유한 $p$-군으로의 준동형사상 $\psi$ 에 대해 $v\psi \in \langle u\psi \rangle$ 를 만족하는 원소 $v$ 는 $u$ 와 교환되어야 하며, 이는 $u$ 가 $A$ 나 $B$ 의 부분군에 쌍대형이 되지 않는 한 모순을 일으킨다.
• 논문은 $b \in B \setminus K$ 이면 $b^{-1}Kb \cap K \neq 1$ 이라면, 모든 $p$-군 준동형사상에 대해 항등원으로 보내지는 비자명한 교환자 $g = [b^{-1}f_n b, f_n]$ 을 구성할 수 있음을 보이며, 이는 잔여 $p$-유한성에 위배된다.
• 증명의 결론은 $b^{-1}Kb \cap K = 1$ 이며, 이는 $G$ 의 $p'$-고립 순환 부분군의 $p$-분리 가능성에 필수적인 조건이다.