일반화 자유곱의 잔여 가용성 연구

초록

본 논문은 가환이 아닌 두 종류의 군, 즉 닐포텐트 군과 가용 군, 혹은 두 개의 가용 군이 사이클릭 부분군을 통해 결합된 일반화 자유곱이 잔여 가용성(residually solvable) 특성을 갖는지를 조사한다. 주요 결과로는 (1) 닐포텐트 군과 가용 군의 일반화 자유곱은 완전군이 아니며, (2) 사이클릭 부분군으로 결합된 두 가용 군의 자유곱은 잔여 가용성을 가진다, (3) 유한 개의 가용 군이 중심 부분군을 통해 결합된 경우에도 잔여 가용성이 유지되고, (4) 동일한 가용 군들의 이중 구조에서도 잔여 가용성이 보장되며, (5) 유한 생성 무한 차수 자유 아벨리안 군과 가용 군의 결합 역시 잔여 가용성을 가진다.

상세 분석

논문은 먼저 잔여성(residual property)의 일반적 정의를 상기하고, 일반화 자유곱(generalized free product)과 그 구조적 특징을 정리한다. 여기서 핵심은 부분군 H가 각 인덱스 λ에 대해 동형사상 φλ를 통해 Gλ에 삽입되는 방식이며, 이때 자유곱은 각 Gλ를 최대한 자유롭게 결합하되, φλ에 의해 지정된 Hλ들을 동일시한다는 점이다. 저자들은 기존 연구에서 닐포텐트 군에 대한 잔여 유한성(residual finiteness) 결과가 풍부함을 언급하고, 잔여 가용성(residually solvable)에 대한 연구는 아직 초기 단계임을 강조한다.

첫 번째 정리(Theorem 1)는 닐포텐트 군 A와 가용 군 B가 적절한 부분군 C_A, C_B를 통해 결합된 경우, 전체 군 G가 완전군(perfect)이 아님을 보인다. 증명은 A와 B의 아벨리제이션을 이용해 G^{ab}가 비자명함을 보여주는 방식이다. 여기서 히르시(Hirsch)의 정리(δ₂A ≤ Φ(A))를 활용해 C_A가 A/δ₂A의 비자명한 부분군임을 확인하고, 결국 G^{ab}≠1임을 도출한다. 이는 G가 완전군이 아니므로, 잔여 가용성 논의에 있어 비자명한 아벨리제이션이 존재함을 시사한다.

두 번째 정리(Theorem 2)는 두 가용 군 A, B가 사이클릭 부분군 ⟨a⟩=⟨b⟩을 통해 결합된 경우를 다룬다. 저자들은 각각의 군에 대해 적절한 유도 사슬(derived series) 단계 m, n을 선택해 a∈δ_mA\δ_{m+1}A, b∈δ_nB\δ_{n+1}B임을 보인다. 그런 다음 A/δ_{m+1}A와 B/δ_{n+1}B의 중심 자유곱을 구성하고, 원래 군 G와의 자연 사상 φ를 정의한다. 핵심은 커널 K가 A와 B의 부분군과 교차가 없으며, Neumann의 정리(일반화 자유곱의 부분군은 HNN‑확장 형태)와 결합해 K가 자유군임을 보이는 것이다. 자유군은 잔여 가용성을 가지므로, K가 잔여 가용성이고 G는 K에 의해 확장된 가용 군이므로 전체가 잔여 가용성을 만족한다.

세 번째 정리(Theorem 3)는 유한 개의 가용 군 {A_i}가 공통 중심 부분군 C를 통해 결합된 경우를 다룬다. 여기서는 각 A_i의 중심 자유곱 S를 구성하고, G→S의 사상을 정의한다. 사상의 핵심은 각 인덱스 i에 대해 μ|_{A_i}가 단사이며, 커널 K가 A_i와 교차가 없다는 점이다. Neumann 정리를 다시 적용해 K가 자유군임을 얻고, S가 가용군이므로 G는 가용 확장으로서 잔여 가용성을 갖는다.

네 번째 정리(Theorem 4)는 동일한 가용 군들의 이중 구조(double)를 일반화한 것으로, 모든 A_i가 서로 동형이며 공통 부분군 C가 각 A_i의 동일한 부분군이라고 가정한다. 여기서는 임의의 i를 선택해 G→A_i의 사상을 만들고, Lemma 11을 이용해 사상의 핵이 자유군임을 확인한다. 따라서 G는 자유군에 대한 가용 확장으로서 잔여 가용성을 유지한다.

다섯 번째 정리(Theorem 5)는 유한 생성 무한 차수 자유 아벨리안 군 A와 가용 군 B가 결합된 경우를 다룬다. A가 무한 차수 자유 아벨리안이므로 C는 A의 유한 지수 부분군 A₁의 직접곱으로 표현될 수 있다. A를 A₁의 코셋들로 분할하고, G에서 A₁에 대한 자연 사상을 통해 핵 K를 구한다. K는 B와 A₁의 자유곱 구조를 포함하고, 앞서 증명된 Theorem 4에 의해 K가 잔여 가용성을 가진다. 최종적으로 G는 K에 대한 아벨리안 확장으로서 전체가 잔여 가용성을 만족한다.

전반적으로 논문은 Neumann의 일반화 자유곱에 대한 구조 정리와, 중심·사이클릭·유한 지수 부분군을 이용한 사상 구축을 핵심 도구로 삼아, 다양한 결합 형태에서 잔여 가용성을 보장한다는 일관된 전략을 제시한다. 특히, 자유군이 잔여 가용성을 갖는다는 사실과, 가용 군들의 유도 사슬을 적절히 선택해 부분군이 높은 단계에 놓이게 하는 기법이 핵심적인 통찰을 제공한다.