[논문 리뷰] The full automorphism group of the power (di)graph of a finite group

Min Feng, Xuanlong Ma외 1명|arXiv (Cornell University)|2014. 06. 11.

Finite Group Theory Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 임의의 유한군의 거듭제곱 방향그래프 및 거듭제곱 그래프의 전체 자기동형군을 결정하여, 2013년 두스타바디, 에르파니안, 자파르자데에 의한 추측을 해결한다. 자기동형군은 순환부분군 생성자 위의 대칭군들의 준직접곱과 순환부분군 구조를 유지하는 군의 합성으로 구성되며, $ n $ 이 소수의 거듭제곱이 아닐 경우 추측이 확인된다.

ABSTRACT

We describe the full automorphism group of the power (di)graph of a finite group. As an application, we solve a conjecture proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.

연구 동기 및 목표

• 임의의 유한군에 대해 거듭제곱 (방향)그래프의 전체 자기동형군을 결정하는 것.
• Doostabadi, Erfanian, Jafarzadeh 가 2013년 제기한 $ \mathbb{Z}_n $ 의 거듭제곱 그래프 자기동형군에 대한 추측을 해결하는 것.
• 자기동형군의 구조를 순환부분군과 그 생성자들에 따라 기술하는 것.
• 특히 $ n $ 이 소수의 거듭제곱이 아닐 경우 추측이 성립하는 조건을 설정하는 것.

제안 방법

• 모든 순환부분군의 집합을 $ \mathcal{C}(G) $ 로 정의하고, 각 순환부분군 $ C \in \mathcal{C}(G) $ 의 생성자 집합을 $ [C] $ 로 정의한다.
• $ \mathcal{C}(G) $ 에서 순서, 포함관계 및 비포함관계를 유지하는 치환들의 군인 $ P(G) $ 를 도입한다.
• 거듭제곱 방향그래프의 자기동형군을 $ \left(\prod_{i=1}^{k} S_{[C_i]}\right) \rtimes P(G) $ 로 구성하며, 여기서 $ S_{[C_i]} $ 는 $ C_i $ 의 생성자들 위에 작용한다.
• 닫힌 이웃이 같은 관계 $ N[x] = N[y] $ 에 의한 동치류 $ \overline{x} $ 를 정의하고, 이를 사용하여 거듭제곱 그래프의 자기동형군을 $ \left(\prod_{i=1}^{l} S_{\overline{u_i}}\right) \rtimes P(G) $ 로 기술한다.
• 초등 아벨 $ p $-군의 자기동형군을 기술하기 위해 와퍼프 곱 구조 $ S_{p-1} \wr S_m $ 를 사용한다.
• 부분군 격자와 자기동형군 작용을 이용하여 순환군, 초등 아벨군, 딜레하르군, 일반화된 퀼러터니언 군에 대해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 유한군의 거듭제곱 방향그래프의 전체 자기동형군은 무엇인가요?
• RQ2 유한군의 거듭제곱 그래프의 전체 자기동형군은 무엇인가요?
• RQ3 $ n $ 이 소수의 거듭제곱이 아닐 경우, 2013년의 $ \mathrm{Aut}(\mathcal{P}_{Z_n}) $ 추측은 성립하는가요?
• RQ4 거듭제곱 그래프에서 닫힌 이웃에 의해 정의된 동치류 위에서 자기동형군은 어떻게 작용하는가요?
• RQ5 디릴레하르군과 일반화된 퀄러터니언 군의 자기동형군의 구조는 무엇인가요?

주요 결과

• 유한군 $ G $ 의 거듭제곱 방향그래프의 자기동형군은 $ \left(\prod_{i=1}^{k} S_{[C_i]}\right) \rtimes P(G) $ 와 동형이며, 여기서 $ P(G) $ 는 순환부분군의 구조를 유지한다.
• 유한군 $ G $ 의 거듭제곱 그래프의 자기동형군은 $ \left(\prod_{i=1}^{l} S_{\overline{u_i}}\right) \rtimes P(G) $ 와 동형이며, 여기서 $ \overline{u_i} $ 는 동일한 닫힌 이웃을 가진 정점들의 동치류이다.
• 2013년의 $ \mathrm{Aut}(\mathcal{P}_{Z_n}) $ 추측은 $ n $ 이 소수의 거듭제곱이 아닐 경우 확인되며, $ \mathrm{Aut}(\mathcal{P}_{Z_n}) \cong S_{\varphi(n)+1} \times \prod_{d \in D(n)\setminus\{1,n\}} S_{\varphi(d)} $ 로 기술된다.
• 초등 아벨 $ p $-군 $ \mathbb{Z}_p^n $ 의 경우 자기동형군은 $ S_{p-1} \wr S_m $ 이며, 여기서 $ m = \frac{p^n - 1}{p - 1} $ 이다.
• 디릴레하르군 $ D_{2n} $ 에 대해 $ n $ 이 소수의 거듭제곱이 아닐 경우 $ \mathrm{Aut}(\mathcal{P}_{D_{2n}}) \cong \prod_{d \mid n} S_{\varphi(d)} \times S_n $ 이고, $ n $ 이 소수의 거듭제곱일 경우 $ S_{n-1} \times S_n $ 이다.
• 일반화된 퀄러터니언 군 $ Q_{4n} $ 에 대해 $ n $ 이 2의 거듭제곱이 아닐 경우 거듭제곱 그래프의 자기동형군은 $ \prod_{d \mid 2n} S_{\varphi(d)} \times (S_2 \wr S_n) $ 이며, $ n $ 이 2의 거듭제곱일 경우 $ S_2 \times S_{2n-2} \times (S_2 \wr S_n) $ 이다.