일반화된 고르사 정리와 다중 직적곱 군의 구조 분석

초록

본 논문은 고전적인 고르사 정리를 n개의 군 직적곱 (A_{1}\times\cdots\times A_{n}) 에 대해 확장한다. 대칭 버전 대신 비대칭 형태를 도입해 귀납적으로 (3n‑2)‑튜플을 이용해 모든 부분군을 완전히 기술한다. 이후 프로피니트 군, 순환군, 그리고 Sylow‑p‑부분군에 대한 구체적인 적용 사례를 제시한다.

상세 분석

고르사 정리는 두 군 (A)와 (B)의 직적곱 (A\times B) 안의 부분군 (G)를 네 개의 서브그룹과 하나의 동형사상으로 완전히 기술한다는 고전적 결과이다. 이 논문은 먼저 기존의 대칭적 서술이 n ≥ 3인 경우에 복잡한 교차 조건을 야기함을 지적하고, 이를 극복하기 위해 비대칭 버전을 도입한다. 비대칭 정리(정리 2.3)는 (G\le A\times B)와 ({G_{1},G_{2},G_{2},\theta_{1}})라는 사중항 사이에 일대일 대응을 설정한다. 여기서 (\theta_{1}:G_{1}\to G_{2}/G_{2})는 전사 사상이며, 핵은 (G_{1})와 동일하게 정의된다. 이 구조는 (\Gamma_{2})와 (Q_{2})라는 상호역함수를 통해 명시적으로 재구성 가능하다.

다음 단계에서는 귀납적 정의를 통해 (\Lambda_{i})와 (\theta_{i})를 차례로 구축한다. (\Lambda_{1}=G_{1})에서 시작해 (\Lambda_{i+1}=\Gamma_{2}({\Lambda_{i},G_{i+1},G_{(i+1|1,\dots,i)},\theta_{i}})) 로 정의함으로써 (\Lambda_{i})가 실제로 (\Pi_{i}(G))와 일치함을 보인다. 여기서 (\Pi_{i})는 앞 i개의 좌표에 대한 투사이다. 핵심은 (\theta_{i})가 (\Lambda_{i})의 각 원소 ((a_{1},\dots,a_{i}))에 대해 (a_{i+1})의 코셋을 할당한다는 점이다. 전사성은 (G)가 전체 직적곱에 투사될 때 보장되며, 코셋의 정의는 선택된 대표가 달라져도 동일함을 검증한다. 이렇게 하면 ((3n-2))‑튜플
\