[논문 리뷰] Finding direct product decompositions in polynomial time

James B. Wilson|arXiv (Cornell University)|2010. 05. 04.

Finite Group Theory Research참고 문헌 30인용 수 19

한 줄 요약

이 논문은 이중선형 사상, 가환환, 군 다양체를 활용하여 치환군의 Remak 분해(즉, 직접적으로 분해 불가능한 인자로의 분해)를 결정적 다항시간 알고리즘으로 계산하는 방법을 제시한다. 주요 기여는 $p$-군의 계수 2에 대해 표준 가환환 $C(P)$를 통해 특성화하는 것으로, 이는 브루트 포스 탐색 대신 환론적 방법을 통해 효율적인 분해를 가능하게 한다.

ABSTRACT

A polynomial-time algorithm is produced which, given generators for a group of permutations on a finite set, returns a direct product decomposition of the group into directly indecomposable subgroups. The process uses bilinear maps and commutative rings to characterize direct products of p-groups of class 2 and reduces general groups to p-groups using group varieties. The methods apply to quotients of permutation groups and operator groups as well.

연구 동기 및 목표

• 치환군의 Remak 분해를 다항시간에 계산하는 알고리즘을 개발하기 위해.
• p-군에서 직접 인자를 찾는 데 있어 정규부분군의 지수적 수의로 인해 계산적으로 불가능한 문제를 해결하기 위해.
• 군 다양체와 계산 가능한 정규부분군을 이용해 치환군과 연산자군의 몫에 대한 일반화된 해결책을 제시하기 위해.
• 행렬군 및 기타 계산군 설정에 적용 가능한 프레임워크를 제공하기 위해.
• 정규 표현을 통한 승법표로 주어진 군에 대해 거의 선형시간 해결책을 확립하기 위해.

제안 방법

• 이중선형 사상 $\mathsf{Bi}(P)$와 그에 관련된 가환환 $C(P)$를 사용하여 계수 2의 $p$-군을 특성화하며, 여기서 $C(P \times Q) \cong C(P) \oplus C(Q)$이다.
• $C(P)$의 구조를 이용해 직접적으로 분해 불가능한 $p$-군을 식별한다: $P$는 직접적으로 분해 불가능하다면 $C(P)$가 국소환이고 $\zeta_1(P) \leq \Phi(P)$여야 한다.
• 군 다양체와 문맥적/경계 부분군을 통해 일반 군을 $p$-군으로 환원하여, $p$-군 분석을 통한 분해를 가능하게 한다.
• 가환환에 대한 다항시간 알고리즘(Ronyai [29])을 적용하여 $C(P)$의 완전히 세분화된 분해를 계산하고, 이를 Remak 분해로 올린다.
• Kantor-Luks 몫군 알고리즘을 사용하여 치환군의 몫을 처리하며, 유한 단순군의 분류에 의존한다.
• 격자 기반의 부분군 융합을 통해 부분 분해를 통합하는 병합 알고리즘을 사용해 최종 분해를 구성한다.

실험 결과

연구 질문

• RQ1 p-군에서 정규부분군의 수가 지수적으로 많기 때문에, 치환군의 Remak 분해를 다항시간에 계산할 수 있는가?
• RQ2 이중선형 사상과 가환환은 계수 2의 $p$-군에서 직접곱 분해를 어떻게 특성화할 수 있는가?
• RQ3 군 다양체와 문맥 부분군은 일반 군 분해 문제를 $p$-군으로 환원하는 데 어떤 역할을 하는가?
• RQ4 군이 승법표로 주어졌을 경우, Remak 분해에 대해 거의 선형시간 알고리즘이 존재하는가?
• RQ5 균일한 프레임워크를 사용해 연산자군과 행렬군으로 알고리즘 확장이 가능한가?

주요 결과

• 모든 치환군에 대해 Remak 분해를 계산하는 결정적 다항시간 알고리즘이 존재한다.
• 알고리즘은 개별 직접 인자를 먼저 명시적으로 찾는 대신, 한 번의 통과 과정으로 전체 Remak 분해를 구성한다.
• p-군의 계수 2에 대해 $P$는 직접적으로 분해 불가능하다면 $C(P)$가 국소환이고 $\zeta_1(P) \leq \Phi(P)$여야 하며, $P^p = 1$일 경우 역방향에서도 등호가 성립한다.
• 군 다양체 이론을 통해 치환군과 연산자군의 몫으로 일반화된다.
• 승법표로 주어진 군의 경우 정규 표현을 통한 임bedding을 통해 거의 선형시간 알고리즘이 존재한다.
• 알고리즘은 강건하며, Corollary 6.6에서 보듯 행렬군으로도 확장 가능하며, 동일한 복잡도 보장을 갖는다.