[논문 리뷰] The enhanced quotient graph of the quotient of a finite group

Luis A. Dupont, Daniel G. Mendoza외 1명|arXiv (Cornell University)|2017. 07. 04.

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

한 줄 요약

이 논문은 유한군 $G$ 의 정규부분군 $H$ 에 대한 개선된 몫그래프 $χ_H(G)$ 를 도입하고 특성화한다. 이 그래프는 코셋 관계와 순환부분군 생성 기반의 인접성으로 정의되며, 주요 기여는 $χ_H(G)$ 가 완전 그래프임과 동시에 $G/H$ 가 순환군임과 동치임을 증명하는 것이다. 또한 $χ_H(G)$ 가 오일러 그래프임과 동시에 $|G/H|$ 가 홀수임과 동치임을 보이며, 이는 강력한 구조적 유사성을 보이는 개선된 거듭제곱 그래프 $χ(G/H)$ 와 관련이 있다. 이 유사성은 클리크 구조와 평면성 조건을 포함한다.

ABSTRACT

For a finite group $G$ with a normal subgroup $H$, the enhanced quotient graph of $G/H$, denoted by $\mathcal{G}_{H}(G),$ is the graph with vertex set $V=(G\backslash H)\cup \{e\}$ and two vertices $x$ and $y$ are edge connected if $xH = yH$ or $xH,yH\in \langle zH angle$ for some $z\in G$. In this article, we characterize the enhanced quotient graph of $G/H$. The graph $\mathcal{G}_{H}(G)$ is complete if and only if $G/H$ is cyclic, and $\mathcal{G}_{H}(G)$ is Eulerian if and only if $|G/H|$ is odd. We show some relation between the graph $\mathcal{G}_{H}(G)$ and the enhanced power graph $\mathcal{G}(G/H)$ that was introduced by Sudip Bera and A.K. Bhuniya (2016). The graph $\mathcal{G}_H(G)$ is complete if and only if $G/H$ is cyclic if and only if $\mathcal{G}(G/H)$ is complete. The graph $\mathcal{G}_H(G)$ is Eulerian if and only if $|G|$ is odd if and only if $\mathcal{G}(G)$ is Eulerian, i.e., the property of being Eulerian does not depend on the normal subgroup $H$.

연구 동기 및 목표

• 코셋 기반의 인접성으로 정의된 새로운 그래프 구조인 개선된 몫그래프 $\mathcal{G}_H(G)$ 를 정의하고 분석한다.
• 연결성, 클리크 구조, 오일러 및 평면 특성 등의 $χ_H(G)$ 의 구조적 성질을 규명한다.
• $\mathcal{G}_H(G)$ 와 개선된 거듭제곱 그래프 $\mathcal{G}(G/H)$ 를 비교함으로써 깊은 대수-그래프이론적 동치성을 드러낸다.
• $\mathcal{G}_H(G)$ 가 오일러, 완전, 또는 평면이 되는 조건을 규명하고, 이러한 성질이 $G/H$ 의 군론적 불변량과 어떻게 연관되는지 분석한다.
• 삭제된 개선된 몫그래프 $\mathcal{G}_H^*(G)$ 의 결과를 확장하여, 중심과 원소의 차수에 기반한 연결성 및 구조적 성질을 분석한다.

제안 방법

• 정점 집합이 $(G \setminus H) \cup \{e\}$ 인 $\mathcal{G}_H(G)$ 를 정의하며, 정점들이 같은 코셋에 속하거나 $G/H$ 의 순환부분군에 포함될 경우 간선이 존재한다.
• 조건 $\{a,b\} \in E(\mathcal{G}_H(G))$ iff $aH = bH$ 또는 $\{aH, bH\} \in E(\mathcal{G}(G/H))$ 를 사용하여 $\mathcal{G}_H(G)$ 와 개선된 거듭제곱 그래프 $\mathcal{G}(G/H)$ 를 연결한다.
• 순환부분군과 원소의 차수에 관한 군론적 결과를 적용하여 클리크 수 $\omega(\mathcal{G}_H(G)) = |H|^{s-1} + 1$ 을 도출한다. 여기서 $s$ 는 $G/H$ 에서 순환부분군의 최대 차수이다.
• 쿠라토우스키 정리를 활용하여 평면성 결정: $\mathcal{G}_H(G)$ 는 비평면임이 $|H| \geq 4$, 또는 $|H|=1$ 이고 $s \geq 5$, 또는 $|H|=2$ 이고 $s \geq 3$, 또는 $|H|=3$ 이고 $s \geq 2$ 인 경우에 해당한다.
• 항등원 정점을 제거한 삭제 그래프 $\mathcal{G}_H^*(G)$ 를 분석하고, $G/H$ 의 최소부분군의 유일성과 중심 구조에 기반한 연결성 조건을 유도한다.
• $\mathcal{G}_H(G)$ 가 $k$-색깔 가능임과 $G/H$ 의 모든 원소 $aH$ 에 대해 $|aH| \leq 2$ 라는 조건이 동치임을 이용하여, 원형이 $|H|$ 인 경우에만 $G/H \cong \mathbb{Z}_2^k$ 라는 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 개선된 몫그래프 $\mathcal{G}_H(G)$ 가 언제 완전 그래프가 되며, 이는 $G/H$ 의 순환성과 어떻게 관련되는가?
• RQ2 $\mathcal{G}_H(G)$ 가 오일러 그래프가 되는 조건은 무엇이며, 이 성질은 정규부분군 $H$ 의 선택에 의존하는가?
• RQ3 $\mathcal{G}_H(G)$ 의 구조가 완전성과 오일러 성질 측면에서 개선된 거듭제곱 그래프 $\mathcal{G}(G/H)$ 와 어떻게 관련되는가?
• RQ4 $\mathcal{G}_H(G)$ 가 평면이 되는 필수 및 필요조건은 무엇이며, $H$ 의 크기와 $G/H$ 의 지수는 이에 어떻게 영향을 미치는가?
• RQ5 삭제된 개선된 몫그래프 $\mathcal{G}_H^*(G)$ 에 대해 어떤 특성들이 성립하는가? 특히 $k$-색깔 가능성과 원형에 관해 설명하라.

주요 결과

• $\mathcal{G}_H(G)$ 는 $G/H$ 가 순환군임과 동시에 동치이며, 이는 개선된 거듭제곱 그래프 $\mathcal{G}(G/H)$ 가 완전임과 동치이다.
• $\mathcal{G}_H(G)$ 는 $|G/H|$ 가 홀수임과 동시에 동치이며, 이 성질은 정규부분군 $H$ 의 선택과 무관하다.
• $\mathcal{G}_H(G)$ 의 클리크 수는 $|H|^{s-1} + 1$ 이며, 여기서 $s$ 는 $G/H$ 에서 순환부분군의 최대 차수이다.
• $\mathcal{G}_H(G)$ 는 최소 $|H|^{[G:H]-1}$ 개의 $\mathcal{G}(G/H)$ 와 동형인 부분그래프를 포함한다. 이는 코셋 기반의 구성 방식을 반영한다.
• $\mathcal{G}_H(G)$ 는 비평면임이 $|H| \geq 4$, 또는 $|H|=1$ 이고 $s \geq 5$, 또는 $|H|=2$ 이고 $s \geq 3$, 또는 $|H|=3$ 이고 $s \geq 2$ 인 경우에 해당한다.
• 삭제된 개선된 몫그래프 $\mathcal{G}_H^*(G)$ 는 각 코셋에 대해 정점 수가 1인 $k$-색깔 가능 그래프임과 동시에 동치이며, 이는 원형이 $|H|$ 인 경우에만 성립한다.