[論文レビュー] On some properties of enhanced power graph

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

Finite Group Theory Research参考文献 7被引用数 4

ひとこと要約

この論文は、有限群 $G$ の増強型パワー・グラフ $Γ_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$-要素が存在するとき、かつそのときに限る。