[논문 리뷰] On some properties of enhanced power graph

Sudip Bera, A. K. Bhuniya|arXiv (Cornell University)|2016. 06. 10.

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

한 줄 요약

이 논문은 유한군 $G$의 향상된 파wr 그래프 $Γ_e(G)$를 조사한다. 여기서 $Γ_e(G)$는 공통의 순환부분군에 속하는 원소들 간에 연결된 그래프로 정의된다. 이 그래프가 완전 그래프인지, 오일러 그래프인지, 평면 그래프인지, 콘 성질을 만족하는지의 조건을 규명하며, $Γ_e(G)$가 완전 그래프임과 동시에 $G$가 순환군임은 동치임을 보이고, 오일러 그래프임과 동시에 $|G|$가 홀수임은 동치임을 밝혀내며, 아벨군과 비아벨 $p$-군에 대해 콘 성질을 만족하는 경우를 분류한다.

ABSTRACT

Given a group $G$, the enhanced power graph of $G$ denoted by $\mathcal{G}_e(G)$, is the graph with vertex set $G$ and two distinct vertices $x, y$ are edge connected in $\mathcal{G}_e(G)$ if there exists $z\in G $ such that $x=z^m$ and $ y=z^n $, for some $m, n\in \mathbb{N}$. In this article, we characterize the enhanced power graph $\mathcal{G}_e(G)$ of $G$. The graph $\mathcal{G}_e(G)$ is complete if and only if $G$ is cyclic, and $\mathcal{G}_e(G)$ is Eulerian if and only if $|G|$ is odd. We classify all abelian groups and also all non-abelian $p-$groups $G$ for which $\mathcal{G}_e(G)$ satisfies the cone property.

연구 동기 및 목표

• 유한군 $G$에 대해 $\mathcal{G}_e(G)$의 군 구조에 따른 향상된 파워 그래프를 특성화하는 것.
• $\mathcal{G}_e(G)$가 완전 그래프인지, 오일러 그래프인지, 평면 그래프인지, 또는 콘 성질을 만족하는지의 조건을 규명하는 것.
• 항등원을 제거한 삭제된 향상된 파워 그래프 $\mathcal{G}_e^*(G)$의 연결성과 구조적 성질을 분석하는 것.
• 아벨군과 비아벨 $p$-군 중에서 $\mathcal{G}_e(G)$가 콘 성질을 만족하는 경우를 분류하는 것.
• 모든 유한군에 대해 $\mathcal{G}_e(G)$가 이분 그래프이거나, 트리 또는 스타 그래프임을 완전히 특성화하는 것.

제안 방법

• 정점 집합이 $G$인 향상된 파워 그래프 $\mathcal{G}_e(G)$를 정의하며, $x \sim y$는 어떤 $z \in G$, $m,n \in \mathbb{N}$에 대해 $x = z^m$, $y = z^n$임을 의미한다.
• 원소의 차수, 순환부분군, 중심화군과 같은 군론적 성질을 사용하여 인접성과 연결성을 분석한다.
• $\pi_e(G)$ 내의 최대 차수 개념을 적용하고, 나눗셈 관계를 사용하여 클리크 구조와 비인접성 문제를 연구한다.
• 모든 원소가 공통의 순환부분군에 속해야 하므로, $\mathcal{G}_e(G)$가 완전 그래프임과 동시에 $G$가 순환군임은 동치임을 증명한다.
• 원소의 차수를 통해 순환 구조를 분석: $\mathcal{G}_e(G)$가 순환을 포함하는 것은 어떤 원소의 차수가 $\geq 3$임과 동치이다.
• 항등원을 제거한 삭제된 향상된 파워 그래프 $\mathcal{G}_e^*(G)$를 분석하며, 중심 원소와 소수 차수를 이용해 연결성을 연구한다.

실험 결과

연구 질문

• RQ1 향상된 파워 그래프 $\mathcal{G}_e(G)$가 언제 완전 그래프가 되는가?
• RQ2 어떤 유한군에 대해 $\mathcal{G}_e(G)$가 오일러 그래프가 되는가?
• RQ3 어떤 아벨군과 비아벨 $p$-군이 $\mathcal{G}_e(G)$에서 콘 성질을 만족하는가?
• RQ4 $\mathcal{G}_e(G)$가 언제 평면 그래프이거나 이분 그래프가 되는가?
• RQ5 삭제된 향상된 파워 그래프 $\mathcal{G}_e^*(G)$의 연결성을 보장하는 조건은 무엇인가?

주요 결과

• 향상된 파워 그래프 $\mathcal{G}_e(G)$는 $G$가 순환군이면서만 완전 그래프이다.
• $\mathcal{G}_e(G)$는 $|G|$가 홀수이면서만 오일러 그래프이다.
• $\mathcal{G}_e(G)$가 이분 그래프이거나 트리 또는 스타 그래프임은 $G \cong \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$이어야 한다.
• 아벨군의 경우, $\mathcal{G}_e(G)$가 콘 성질을 만족하는 것은 $G$가 기본 아벨 2-군이거나 소수 차수 순환군의 곱인 경우에 국한된다.
• 비아벨 $p$-군의 경우, $\mathcal{G}_e(G)$가 콘 성질을 만족하는 것은 $G$가 일반화된 퀼러티언 군인 경우에 국한된다.
• 삭제된 향상된 파워 그래프 $\mathcal{G}_e^*(G)$는 $|\pi(G)| \geq 2$ 이면서 $|Z(G)| = p^t$ (어떤 소수 $p$에 대해) 이며, 모든 비중심 $p$-원소 중 차수가 $p$인 원소들에 대해, $\mathcal{G}_e^*(G)$ 내에서 그와 인접한 비-$p$-원소가 존재하는 경우에만 연결되어 있다.