[논문 리뷰] On generalised Paley graphs and their automorphism groups

Tian Khoon Lim, Cheryl E. Praeger|arXiv (Cornell University)|2006. 05. 10.

Finite Group Theory Research참고 문헌 14인용 수 6

한 줄 요약

이 논문은 일반화된 펠레 그래프의 자기동형군을 특성화하며, 연결이고 비해밍인 경우 그 군이 애매한 유형의 단순군임을 증명하고, 이러한 그래프가 해밍 그래프와 동형일 조건을 정확히 규명한다. 이는 기저이 되는 순환 체계의 단순성에 대한 정확한 기준을 설정하고, 자기동형군이 일차원 애매한 군과 일치할 조건을 규명한다.

ABSTRACT

The generalised Paley graphs are, as their name suggests, a generalisation of the Paley graphs, first defined by Paley in 1933 (see \cite{Paley}). They arise as the relation graphs of symmetric cyclotomic association schemes. However, their automorphism groups may be much larger than the groups of the corresponding schemes. We determine the parameters for which the graphs are connected, or equivalently, the schemes are primitive. Also we prove that generalised Paley graphs are sometimes isomorphic to Hamming graphs and consequently have large automorphism groups, and we determine precisely the parameters for this to occur. We prove that in the connected, non-Hamming case, the automorphism group of a generalised Paley graph is a primitive group of affine type, and we find sufficient conditions under which the group is equal to the one-dimensional affine group of the associated cyclotomic association scheme. The results have been applied in \cite{LLP} to distinguish between cyclotomic schemes and similar twisted versions of these schemes, in the context of homogeneous factorisations of complete graphs.

연구 동기 및 목표

• 일반화된 펠레 그래프가 연결될 조건을 규명함으로써, 이는 기저이 되는 순환 연관 체계가 단순함을 의미한다.
• 일반화된 펠레 그래프가 해밍 그래프와 동형일 정확한 조건을 규명함으로써, 이는 훨씬 더 큰 자기동형군을 암시한다.
• 연결되어 있고 해밍 그래프가 아닌 경우 일반화된 펠레 그래프의 자기동형군을 특성화하며, 이 군이 애매한 유형의 단순군임을 보인다.
• 일반화된 펠레 그래프의 자기동형군이 관련 순환 체계의 일차원 애매한 군과 일치할 조건을 확보한다.
• 완전 그래프의 동차 분해의 맥락에서 순환 체계의 자기동형군과 그 관계 그래프의 자기동형군 간의 모순을 해결한다.

제안 방법

• 유한체 $\mathbb{F}_q$ 위에서 곱법적 부분군 $S$를 사용하여 일반화된 펠레 그래프를 정의하며, $\mathbb{F}_q^*$ 내에서 인덱스 $k$를 가진다. 간선은 $S$에 속하는 차이로 정의된다.
• 대칭 순환 연관 체계 $\mathrm{Cyc}(q,k)$의 구조를 이용하여 관계 그래프와 그 자기동형군을 분석한다.
• 나눗셈 조건을 바탕으로 $q-1$과 $p^a - 1$에 대한 $R$의 적절한 약수 $a$를 포함하는 조건을 이용해 체계의 단순성을 판단하기 위한 군론적 기준을 적용한다.
• McConnel(1963)의 결과인 $\mathrm{Aut}(\mathrm{Cyc}(q,k)) \leq \mathrm{A\Gamma L}(1,q)$를 기본적인 경계로 사용한다.
• 특히 $\mathrm{AGL}(R,p)$와 $\mathrm{A\Gamma L}(1,q)$의 맥락에서 표현 이론과 최대 부분군을 이용해 자기동형군의 구조를 분석한다.
• 유한군의 아틀라스를 활용하여 단순군의 자기동형군 내 원소의 차수를 경계함으로써 분류에서 모순을 이끌어내는 데 사용한다.

실험 결과

연구 질문

• RQ1 대칭 순환 체계 $\mathrm{Cyc}(q,k)$는 어떤 조건에서 단순한가?
• RQ2 일반화된 펠레 그래프가 해밍 그래프와 동형일 때는 언제인가?
• RQ3 일반화된 펠레 그래프가 연결되어 있고 해밍 그래프가 아닐 경우 자기동형군의 구조는 어떠한가?
• RQ4 일반화된 펠레 그래프의 자기동형군이 일차원 애매한 군 $\mathrm{A\Gamma L}(1,q)$와 일치할 때는 언제인가?
• RQ5 일반화된 펠레 그래프의 자기동형군은 그 기저이 되는 순환 체계의 자기동형군과 어떻게 관련이 있는가?

주요 결과

• 순환 체계 $\mathrm{Cyc}(q,k)$는 $k$가 $R$의 적절한 약수 $a$에 대해 $\frac{q-1}{p^a - 1}$로 나누어지지 않을 때에만 단순하다. 여기서 $q = p^R$이다.
• 일반화된 펠레 그래프 $\mathrm{GPaley}(q, \frac{q-1}{k})$는 어떤 적절한 약수 $a$에 대해 $k = \frac{a(q-1)}{R(p^a - 1)}$일 때에만 해밍 그래프와 동형이다.
• 연결되어 있고 해밍 그래프가 아닐 경우 일반화된 펠레 그래프의 자기동형군은 $\mathrm{AGL}(R,p)$의 단순 부분군이며, 이는 이동군 $\mathbb{Z}_p^R$를 포함한다.
• 만약 $k$가 $p-1$을 나눈다면 $\mathrm{Aut}(\Gamma) = \mathrm{Aut}(\mathrm{Cyc}(q,k)) < \mathrm{A\Gamma L}(1,q)$가 되어 자기동형군이 전체 애매한 군보다 엄격히 작아진다.
• 모든 경우에 대해 순환 체계 $\mathrm{Cyc}(q,k)$의 자기동형군은 $\mathrm{A\Gamma L}(1,q)$에 포함되며, 이는 McConnel의 결과를 확인한다.
• 최대 부분군의 분류와 아틀라스에서의 원소 차수 경계를 사용하여 불가능한 경우를 제거하였고, 이는 모순을 통한 주요 정리의 증명에 사용되었다.