그룹에서 유도된 퀀들들의 자동동형 및 반자동동형 구조 분석

초록

본 논문은 그룹의 자동동형·반자동동형이 m‑공액 퀀들, 코어 퀀들, 일반화 알렉산더 퀀들 등 다양한 퀀들에 어떻게 전이되는지를 조건별로 규명하고, 그룹에서 유도되지 않은 새로운 퀀들 자동동형을 구성한다.

상세 분석

논문은 먼저 퀀들 이론의 기본 개념을 정리하고, 그룹 G 에서 정의되는 여러 퀀들—특히 m‑공액 퀀들 Conjₘ(G), 코어 퀀들 Core(G), 일반화 알렉산더 퀀들 Alex(G,ϕ)—에 대해 자동동형군 Aut(Q(G))와 반자동동형집합 AAut(Q(G))를 조사한다. 핵심 결과는 다음과 같다.

1. Conjₘ(G)와 자동동형: 중앙원소들의 곱셈으로 이루어진 정규군 H와 Aut(G)의 반직접곱 H ⋊ Aut(G) 가 Aut(Conjₘ(G))에 포함됨을 보인다(명제 2.1). 이는 기존 결과를 일반화한 것으로, m 값에 관계없이 성립한다.

2. Conjₘ(G)와 반자동동형: 반자동동형 ψ∈AAut(G) 가 Conjₘ(G) 의 자동동형이 되려면 모든 y∈G에 대해 y^{2m}∈Z(G) 이어야 함을 증명한다(정리 2.2 (a)). 특히 비자명군에서는 Conjₘ(G) 에 반자동동형이 존재하지 않으며, 중심이 자명한 경우(예: 대칭군 Σₙ, 자유군) 전혀 존재하지 않는다(정리 2.2 (b), 코롤라리 2.3).

3. Alex(G,ϕ)와 자동·반자동동형: ϕ가 중앙자동동형이면 AAut(G) 의 원소 ψ가 Alex(G,ϕ) 의 자동동형이 된다(정리 2.6 (a)). 반대로 ψ가 Alex(G,ϕ) 의 반자동동형이 되려면 G가 아벨 군이어야 함을 보인다(정리 2.6 (b)). 이는 알렉산더 퀀들의 구조가 그룹의 비가환성에 민감함을 보여준다.

4. Core(G)와 자동·반자동동형: 모든 AAut(G) 원소가 Core(G) 의 자동동형이 되며, 반자동동형이 존재하려면 G 가 지수 3인 군이어야 함을 증명한다(정리 3.1 (a),(b)). 이는 코어 퀀들이 x*y = y x⁻¹ y 라는 형태 때문에, 삼차식 (x⁻¹y)³=1 을 만족하는 경우에만 반자동동형이 가능함을 의미한다.

5. 다이헤드랄 퀀들 Rₙ: n이 3이 아닌 경우 Rₙ 은 반자동동형이 전혀 없으며, 자동동형군은 ℤₙ ⋊ ℤₙ^× (정리 3.6)와 일치한다.

6. 새로운 퀀들 자동동형: 기존 그룹 자동동형에서 유도되지 않은 자동동형을 구성하기 위해 F = {f_{a,b}(x)=axb} 와 그 정규부분군 H을 이용한다. 특히 G^{op} ⋊ C_{Aut(G)}(ϕ) 이 Alex(G,ϕ) 의 자동동형군에 포함됨을 보이며(명제 2.8), 이는 ‘반대군’ 구조가 퀀들 자동동형에 기여함을 시사한다.

7. 다양한 파라미터 퀀들 P_i: 한 파라미터 c∈G 에 의해 정의된 P_i (정의 1.4) 에 대해, 자동동형이 존재하려면 c^{-1}ϕ^{-1}(c)∈Z(G) 이어야 하고, 반자동동형은 c∈Fix(ϕ) 와