[논문 리뷰] Normal Subgroup Based Power Graph of a finite Group

A. K. Bhuniya, Sudip Bera|arXiv (Cornell University)|2016. 01. 18.

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

한 줄 요약

이 논문은 유한군 G의 정규부분군 H를 기반으로 하는 정규부분군 기반 거듭제곱 그래프 Γₕ(G)를 제안하며, 코셋 거듭제곱 관계에 따라 간선을 정의한다. Γₕ(G)의 그래프 성질과 G/H의 군 성질 사이의 핵심적 연관성을 규명하여, Γₕ(G)가 완전 그래프임과 동시에 G/H가 자명군이거나 p^m의 순서를 가질 때이고, 평면 그래프임과 동시에 |H| ∈ {2,3}이며 G/H가 기본 아벨 2군일 때이며, 올레라안 그래프임과 동시에 |G| ≡ |H| (mod 2)일 때임을 증명한다.

ABSTRACT

For a finite group $G$ with a normal subgroup $H$, the normal subgroup based power graph of $G$, denoted by $Γ_H(G)$ whose vertex set $V(Γ_H(G))=(G\setminus H)\bigcup \{e\}$ and two vertices $a$ and $b$ are edge connected if $aH=b^mH$ or $bH=a^nH$ for some $m, n \in \mathbb{N}$. In this paper we obtain some fundamental characterizations of the normal subgroup based power graph. We show some relation between the graph $Γ_H(G)$ and the power graph $Γ(\frac{G}{H})$. We show that $Γ_H(G)$ is complete if and only of $\frac{G}{H}$ is cyclic group of order $1$ or $p^m$, where $p$ is prime number and $m\in \mathbb{N}$. $Γ_H(G)$ is planar if and only if $|H|=2$ or $3$ and $\frac{G}{H}\cong \mathbb{Z}_2 imes \mathbb{Z}_2 imes \cdots imes \mathbb{Z}_2$. Also $Γ_H(G)$ is Eulerian if and only if $|G|\equiv |H|$ mod$ 2$.

연구 동기 및 목표

• 정규부분군을 기반으로 한 새로운 그래프 구성법을 도입하여 거듭제곱 그래프 개념을 일반화하기.
• Γₕ(G)의 그래프 이론적 성질이 몫군 G/H의 군 이론적 성질과 어떻게 관련되어 있는지 조사하기.
• Γₕ(G)의 기본 성질, 즉 완전성, 평면성, 올레라안 성격, 연결성 등을 특성화하기.
• Γₕ(G)의 클리크 수, 색수, 정점 연결성과 같은 주요 불변량을 계산하기.

제안 방법

• 정규부분군 H를 기반으로 하는 Γₕ(G)를 정의하며, 정점 집합은 (G \ H) ∪ {e}이며, 여기서 e는 항등원이다.
• 코셋 거듭제곱 관계를 통해 인접성을 설정: a ~ b iff aH = b^m H 또는 bH = a^n H for some m,n ∈ ℕ.
• G/H의 몫군을 사용하여 Γₕ(G)의 구조적 성질을 분석하며, 특히 동형사상과 코셋 역학을 통해 분석한다.
• Γₕ(G)가 카일리 그래프임과 동시에 G/H가 순환 p군임을 증명한다.
• 간선 수, 클리크 수 w(Γₕ(G)) = |H|(M−1)+1 (여기서 M = w(Γ(G/H))) 및 색수 χ(Γₕ(G)) = w(Γₕ(G))에 대한 공식을 유도한다.
• 전체 코셋을 제거하는 정점 연결성의 고려를 통해 κ(Γₕ(G)) = |H|(k−1)+1 (여기서 k = κ(Γ(G/H)))임을 보인다.

실험 결과

연구 질문

• RQ1 정규부분군 기반 거듭제곱 그래프 Γₕ(G)가 언제 완전 그래프가 되며, G/H에 대한 군 이론적 조건은 무엇인가?
• RQ2 Γₕ(G)가 언제 평면 그래프가 되며, H와 G/H의 구조는 이에 어떻게 영향을 미치는가?
• RQ3 Γₕ(G)가 올레라안 그래프가 되는 필수 및 필요조건은 무엇인가?
• RQ4 Γₕ(G)의 클리크 수와 색수는 G/H의 거듭제곱 그래프의 성질과 어떻게 관련되어 있는가?
• RQ5 Γₕ(G)의 정점 연결성은 무엇이며, Γ(G/H)의 연결성에 의해 어떻게 결정되는가?

주요 결과

• Γₕ(G)는 G/H가 자명군이거나 어떤 소수 p와 m ∈ ℕ에 대해 p^m의 순서를 가질 때에만 완전 그래프이다.
• Γₕ(G)는 |H| ∈ {2,3}이며 G/H ≅ ℤ₂ × ℤ₂ × ⋯ × ℤ₂일 때에만 평면 그래프이다.
• Γₕ(G)는 |G| ≡ |H| (mod 2)일 때에만 올레라안 그래프이다.
• Γₕ(G)의 클리크 수는 w(Γₕ(G)) = |H|(M−1)+1이며, 여기서 M = w(Γ(G/H))이다.
• Γₕ(G)의 색수는 클리크 수와 같으며, 따라서 χ(Γₕ(G)) = |H|(M−1)+1이다. 이는 Γₕ(G)가 완전 그래프임을 증명한다.
• Γₕ(G)의 정점 연결성은 |H|(k−1)+1이며, 여기서 k = κ(Γ(G/H))이다.