구간 교환 변환에서 초단순 가환 아민 서브그룹의 새로운 전개

초록

본 논문은 유리 구간 교환 변환과 회전을 유한히 조합해 만든 그룹 (H_{A,Q})를 연구한다. 이들 그룹이 초단순 가환( elementary amenable)이며, 가환성, 가상 nilpotency, 가상 solvability 등을 판정하는 기준을 제시하고, 아벨리안화와 램프라이터 군과의 동형 관계를 분석한다. 결과적으로 무한히 많은 비가상 solvable·비선형 그룹과, 임의의 파생 길이를 갖는 solvable 그룹을 구축한다.

상세 분석

논문은 먼저 회전군 (R_{A})와 유리 IET 군 (G_{1,q})의 유한 생성 부분군 (Q)를 결합해 (H_{A,Q}= \langle R_{\alpha_1},\dots,R_{\alpha_s}, g_1,\dots,g_m\rangle)을 정의한다. 여기서 (\alpha_i)는 (\mathbb{R}/\mathbb{Z})의 무리수이며, 서로 (\mathbb{Q})-독립이다. 핵심 도구는 두 개의 사상이다. 첫 번째는 (\theta:H_{A,Q}\to \mathbb{R}/\mathbb{Z})로, 각 원소의 비유리 부분을 추출한다. (\theta)의 핵은 전적으로 유리 변환으로 이루어진 부분, 즉 torsion 원소들의 집합 (T(H_{A,Q}))와 일치한다. 두 번째는 “지역 순열”(local permutations)이라 불리는 사상으로, (\ker\theta)의 원소들을 (S_q)에 사상한다. 이는 구간의 이산적 분할에 따라 점들을 어떻게 순열하는지를 기록한다. 이 두 사상을 이용해 다음과 같은 구조적 결과를 얻는다.

1. 초단순 가환성: (\ker\theta)가 유리 IET이므로 locally finite이며, 따라서 전체 그룹은 Chou의 초단순 가환 클래스 (EG_2)에 속한다. 이는 가상 nilpotent이 될 수 없고, 자유 반군을 포함해 지수적 성장성을 가진다.

2. 가상 nilpotency와 가상 solvability 판정: (\ker\theta)가 비가환이면 (H_{A,Q})는 가상 nilpotent이 아니다. 가상 solvable 여부는 (\langle S(Q),\sigma\rangle) (여기서 (\sigma)는 (q)-사이클) 의 구조에 귀속된다. 특히 (\langle S(Q),\sigma\rangle)가 교대군 (A_q)를 포함하면 (H_{A,Q})는 가상 solvable가 아니며, 선형군도 될 수 없다.

3. (p)-solvability: 모든 소수 (p)에 대해 (H_{A,Q})가 (p)-solvable인지 여부는 (\langle S(Q),\sigma\rangle)의 (p)-solv성에 정확히 일치한다. 따라서 원하는 파생 길이를 갖는 solvable 그룹을 (\langle S(Q),\sigma\rangle)를 적절히 선택해 만들 수 있다.

4. 아벨리안화와 토션 부분: (T(H_{A,Q}))는 정규 부분군이며, (H_{A,Q}/T(H_{A,Q})\cong A\cong\mathbb{Z}^s)이다. 아벨리안화는 (F\times A) 형태이며, 여기서 (F)는 (S(Q))의 특정 정규 부분을 몫낸 유한 아벨 군이다. 경우에 따라 (F)는 완전히 사라지거나, (S(Q)^{ab})와 동형이 된다.

5. 램프라이터 군과의 동형: (\langle S(Q),\sigma\rangle)가 순환적인 경우, 즉 (\sigma)가 (S(Q)) 안에 있으면 (H_{A,Q})는 유한한 램프라이터 군 (L\wr\mathbb{Z}^k)와 동형이 된다. 이는 (V:={\sigma^p S(Q)\sigma^{-p}\mid p=0,\dots,q-1})가 아벨리안일 때 성립한다.

이러한 결과들을 바탕으로 저자들은 (i) 교대군을 포함하는 경우 무한히 많은 비가상 solvable·비선형 그룹을, (ii) (S(Q))를 적절히 선택해 임의의 파생 길이를 갖는 solvable 그룹을 각각 무한히 많이 구축한다. 또한 아벨리안화와 토션 구조를 이용해 서로 동형이 아닌 사례들을 구분한다.