[논문 리뷰] Transitive permutation groups of prime-squared degree

Edward Dobson, Dave Witte|arXiv (Cornell University)|2000. 12. 19.

graph theory and CDMA systems인용 수 11

한 줄 요약

이 논문은 소수 $p$에 대해 차수 $p^2$인 전이치 순열군을 분류하며, Sylow $p$-부분군이 $ℤ_p \wr \u2124_p$와 동형이 아닌 경우를 명시적으로 규명하고, 나머지 경우에 대해 일반적인 구성법을 제공한다. 주요 기여는 대부분의 소수 $p$에 대해 완전한 분류를 제공하며, Cayley Isomorphism 문제, Cayley 그래프의 자기동형군, 차수 $p^2$인 비정규 Cayley 그래프의 분류에 응용한다. 결과적으로 아벨 군의 차수 $p^2$에 대한 순열군 이론과 대수적 그래프 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We explicitly determine all of the transitive groups of degree p-squared, p a prime, whose Sylow p-subgroup is not the wreath product of two cyclic groups of order p. Furthermore, we provide a general description of the transitive groups of degree p-squared whose Sylow p-subgroup is such a wreath product, and explicitly determine most of them. As applications, we solve the Cayley Isomorphism problem for Cayley objects of an abelian group of order p-squared, explicitly determine the full automorphism group of Cayley graphs of abelian groups of order p-squared, and find all nonnormal Cayley graphs of order p-squared.

연구 동기 및 목표

• Sylow $p$-부분군이 $ℤ_p \wr \u2124_p$와 동형이 아닌 모든 차수 $p^2$의 전이치 순열군을 분류한다.
• Sylow $p$-부분군이 $ℤ_p \wr \u2124_p$와 동형인 차수 $p^2$의 전이치 군에 대해 일반적인 구성법을 제공하고, 대부분의 경우를 명시적으로 규명한다.
• 분류 결과를 바탕으로 아벨 군의 차수 $p^2$에 대한 Cayley Isomorphism 문제를 해결한다.
• 아벨 군의 차수 $p^2$에 대한 Cayley 그래프의 전체 자기동형군을 명시적으로 규명한다.
• 차수 $p^2$에 대한 모든 비정규 Cayley 그래프를 규명한다.
• Sylow 부분군 분석과 군 작용 이론을 통해 차수 $p^2$의 전이치 군의 구조를 해결한다.
• Sylow $p$-부분군과 정규 부분군 구조에 기반한 전이치 군 분류 프레임워크를 수립한다.

제안 방법

• 소수 차수에 대한 Burnside 정리를 기초로 삼고, 정리 1.5를 통해 차수 $p^2$로 확장한다. 이 정리는 전이치 군을 세 가지 경우로 분류한다: 이중 전이치, Sylow $p$-부분군이 정규, 또는 Sylow $p$-부분군이 $ℤ_p \times \u2124_p$, $P_{p-1}'$, 또는 $ℤ_p \wr \u2124_p$와 동형인 경우.
• 정규화자 계산, 모듈러 작용, 준직접곱 구성과 같은 군론적 기법을 사용하여 $ℤ_p \wr \u2124_p$와 동형인 Sylow $p$-부분군을 가진 군의 구조를 분석한다.
• 2-폐쇄 군과 와이어드 곱의 개념을 사용하여 $G = G_1 \wr G_2$인 군 $G$를 묘사한다. 여기서 $G_1$과 $G_2$는 차수 $p$인 2-폐쇄 군이다.
• H-모듈러 이론과 자기동형군 이론을 활용하여 Cayley 그래프의 자기동형군의 구조를 분석하고, 정규성 조건을 규명한다.
• 이중 전이치 군과 단순 군의 분류 결과를 적용하여 $G = S_{p^2}$ 또는 $G \leq \mathop{\rm P\Gamma L}\nolimits(d,q)$인 경우를 식별한다. 여기서 $(q^n - 1)/(q - 1) = p^2$이다.
• 블록 체계와 안정자 분석을 사용하여 비이행성 Cayley 그래프의 자기동형군을 특성화하고, 비정규성 조건을 유도한다.

실험 결과

연구 질문

• RQ1 Sylow $p$-부분군이 $ℤ_p \wr \u2124_p$와 동형이 아닌 차수 $p^2$의 전이치 순열군의 완전한 분류는 무엇인가?
• RQ2 Sylow $p$-부분군이 $ℤ_p \wr \u2124_p$와 동형인 차수 $p^2$의 모든 전이치 군을 어떻게 명시적으로 구성할 수 있는가?
• RQ3 아벨 군의 차수 $p^2$에 대한 Cayley 디그래프가 비정규가 되는 조건은 무엇인가?
• RQ4 아벨 군의 차수 $p^2$에 대한 Cayley 그래프의 자기동형군은 연결 집합과 군 구조에 따라 어떻게 달라지는가?
• RQ5 아벨 군의 차수 $p^2$에 대한 모든 비정규 Cayley 디그래프는 무엇인가?
• RQ6 차수 $p^2$의 전이치 군이 이중 전이치이거나 단순한 조건은 무엇인가?

주요 결과

• 논문은 모든 소수 $p$에 대해 차수 $p^2$의 전이치 순열군을 완전히 분류한다. 단, $p \notin \{11, 23\}$ 이고, 어떤 소수 거듭제곱 $q$와 자연수 $d$에 대해 $(q^d - 1)/(q - 1) \neq p$인 경우에 국한된다.
• Sylow $p$-부분군이 $ℤ_p \wr \u2124_p$와 동형이 아닌 차수 $p^2$의 전이치 군은 다섯 가지 경우로 명시적으로 분류된다: 이중 전이치, 단순히 전이치, 정규 Sylow $p$-부분군을 가진 비이행성, 또는 Sylow $p$-부분군이 $ℤ_p \times \u2124_p$ 또는 $P_{p-1}'$과 동형인 경우.
• Sylow $p$-부분군이 $ℤ_p \wr \u2124_p$와 동형인 경우, 논문은 $G = L \ltimes P$ 형태의 일반적 구성법을 제시하며, $L \leq S_p \times \mathop{\rm AGL}\nolimits(1,p)$ 이고, 대부분의 경우를 명시적으로 규명한다.
• 아벨 군의 차수 $p^2$에 대한 Cayley Isomorphism 문제는 해결되었으며, 두 Cayley 그래프가 동형이 되는 것은 그 연결 집합이 군의 자기동형군에 의해 동치일 때에만 성립함을 보였다.
• 아벨 군의 차수 $p^2$에 대한 Cayley 그래프의 전체 자기동형군은 연결 집합의 구조와 군의 구조(즉, $ℤ_{p^2}$ 또는 $ℤ_p^2$)에 따라 명시적으로 규명되었다.
• 모든 비정규 Cayley 디그래프의 차수 $p^2$는 분류되었다: $p \geq 3$이면 완전 그래프 $K_{p^2}$이거나, $p=2$이고 $G=\mathbb{Z}_4$이거나, 두 개의 $ℤ_p$에 대한 Cayley 디그래프의 와이어드 곱이거나, $ℤ_p^2$의 Cayley 디그래프이면서 특정 대칭성과 블록 조건을 만족하는 연결 집합을 가진 경우이다.