그룹의 가짜 중심: 구조와 무한성의 새로운 탐구

초록

1973년 Wiegold가 정의한 가짜 중심 P(G)는 각 원소의 중심자들의 정규폐쇄의 교집합이다. 저자들은 P(G)가 유한군에서는 항상 비자명하지만, 일반군에서는 매우 복잡하고 예측 불가능한 행동을 보인다는 사실을 다양한 예시와 정리를 통해 보여준다. 특히 용해군에서는 P(G)=G이면 반드시 아벨 군이며, 다항식, 피라미드, 브랜치 그룹, Thompson 군 등에서 P(G)의 구조를 정확히 계산한다. 또한, 직접곱·자유곱·워프곱 등 기본적인 군 구성에 대한 가짜 중심의 거동을 체계적으로 정리한다.

상세 분석

논문은 먼저 가짜 중심 P(G)=⋂_{g∈G}⟨C_G(g)⟩^G 의 정의와 기본 성질을 정리한다. 여기서 ⟨C_G(g)⟩^G는 원소 g의 중심자 C_G(g) 의 정규폐쇄를 의미한다. P(G)는 언제나 G의 중심 Z(G) 를 포함하지만, 일반적으로는 파생군 G′ 과도 깊은 연관을 가진다. 핵심 정리는 다음과 같다.

1. 최소 정규 부분군 포함 – 모든 최소 정규 부분군은 P(G)에 포함된다(Thm 2.1). 따라서 최소 조건(MC)이나 최소 정규 조건을 만족하는 군은 P(G)≠1이다. 이는 특히 체르니코프 군, BFC‑군, 그리고 유한 지수 군에서 바로 비자명성을 얻는다.

2. 정규 아벨 부분군과 차수 관계 – 정상 아벨 부분군 A 에 대해, 원소 g 가 C_G(A) 에 대해 차수 n 을 갖는다면 A^n ⊆ C_G(g)^G. 이 결과는 주기군에서 모든 정규 가분 아벨 부분군이 P(G)에 포함된다는 결론을 낳으며, 따라서 nilpotent‑by‑finite 군은 항상 비자명한 가짜 중심을 가진다(Cor 3.11).

3. 파생군과의 관계 – Thm 2.14는 P(G)′⊆G″이며, G′‑중심 섹션은 모두 P(G)로 중앙화된다는 것을 보인다. 이로부터 (i) 용해군에서 P(G)=G이면 G는 아벨 군, (ii) G′가 초중심이면 P(G)도 초중심, (iii) 유한군에서 사이클릭 실리코프 군은 사이클릭 가짜 중심을 갖는다 등 여러 파생군‑중심 결과가 도출된다.

4. 직접곱과 지역성 – Lemma 2.6은 P(G×H)=P(G)×P(H)임을 보여, 가짜 중심이 직접곱에 대해 분배적임을 확인한다. 또한, “P(G)=G”인 군들의 클래스는 지역적(local)이며, 부분군에 대해서도 동일한 성질이 유지된다(Thm 2.25).

5. 특정 군들의 가짜 중심 – 저자들은 다양한 클래스를 조사한다.

   • 대칭군: 유한 대칭군 S_n의 가짜 중심은 교대군 A_n이며, 무한 대칭군은 자체와 동일(P(G)=G).
   • 다항식 행렬군: 모든 체 F 위의 상삼각 행렬군 T_1(n,F)에서 P(G)는 상위 중심열 중 아벨인 가장 큰 항이다(Thm 4.2).
   • McLain 군: 임의의 선형 순서집합에 대한 McLain 군의 가짜 중심은 해당 순서집합이 조밀(dense)할 때와 그렇지 않을 때를 정확히 구분한다(Thm 4.4, Cor 4.5).
   • 폴리사이클 군: Hirsch 길이 3인 폴리사이클 군이 가짜 중심이 트리비얼임을 보이며, 이는 피보나치 수와 연결된 새로운 추측을 제시한다(Example 3.2, Remark 3.3).
   • Baumslag–Solitar 군: BS(1,n) (|n|≥2)은 가짜 중심이 트리비얼이다(Thm 3.4).
   • 자유곱: 자유곱은 항상 가짜 중심이 트리비얼(Thm 6.9)하지만, 합동 자유곱에서는 비자명한 경우가 존재한다(예: acylindrically hyperbolic 군).
   • 브랜치 군: 약한 정규 브랜치 군, 특히 Grigorchuk 군은 가짜 중심이 트리비얼(Thm 8.2).
   • Thompson 군: Thompson 군 F의 가짜 중심은 파생군 F′와 일치한다(Thm 9.3).
   • 워프곱: 워프곱을 이용해 임의의 군을 가짜 중심으로 만들 수 있다. 특히, 무한 워프곱은 종종 전체 군과 동일한 가짜 중심을 갖으며, G≅P(G)≅G/P(G)인 비자명 군도 구성 가능(Thm 5.26).

6. 응용과 열린 문제 – 논문 말미에서는 가짜 중심이 “가짜 적분성(pseudo‑integrability)” 개념과 연결되는지, 그리고 어떤 군이 자신의 가짜 중심과 동형이 되는지 등 여러 열린 질문을 제시한다.

전반적으로 저자들은 가짜 중심이 단순히 중심 Z(G) 의 확장이라기보다, 정규폐쇄와 파생군 사이의 복합적인 상호작용을 반영한다는 점을 강조한다. 이를 통해 기존 군 이론에서 간과되던 구조적 정보를 새롭게 포착하고, 무한군, 비가환군, 그리고 복합적인 군 구성에 대한 깊은 통찰을 제공한다.