[論文レビュー] Toroidality and projective-planarity of intersection graphs of subgroups of finite groups

R. Rajkumar, P. Devi|arXiv (Cornell University)|May 29, 2015

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

ひとこと要約

この論文は、部分群の交差グラフがトーラルまたは射影平面的である有限群を分類し、そのような群の完全な特徴付けを提供する。さらに、部分群の交差グラフが二部グラフ、完全二部グラフ、木、サイクル、または非巡回的である群を同定し、交差グラフのクリーク被覆数が素数位数の部分群の数に等しく、グラフが弱いα-完璧であることを確立する。

ABSTRACT

Let $G$ be a group. The intersection graph of subgroups of $G$, denoted by $\mathscr{I}(G)$, is a graph with all the proper subgroups of $G$ as its vertices and two distinct vertices in $\mathscr{I}(G)$ are adjacent if and only if the corresponding subgroups having a non-trivial intersection in $G$. In this paper, we classify the finite groups whose intersection graph of subgroups are toroidal or projective-planar. In addition, we classify the finite groups whose intersection graph of subgroups are one of bipartite, complete bipartite, tree, star graph, unicyclic, acyclic, cycle, path or totally disconnected. Also we classify the finite groups whose intersection graph of subgroups does not contain one of $K_5$, $K_4$, $C_5$, $C_4$, $P_4$, $P_3$, $P_2$, $K_{1,3}$, $K_{2,3}$ or $K_{1,4}$ as a subgraph. We estimate the girth of the intersection graph of subgroups of finite groups. Moreover, we characterize some finite groups by using their intersection graphs. Finally, we obtain the clique cover number of the intersection graph of subgroups of groups and show that intersection graph of subgroups of groups are weakly $α$-perfect.

研究の動機と目的

• 有限群の部分群の交差グラフがトーラル（ genus 1 ）または射影平面的（非可定向な genus 1 ）であるようなものを分類すること。
• 特定のグラフクラス（例：二部グラフ、完全二部グラフ、木、サイクル、非巡回的）に属する有限群の交差グラフを特徴づけること。
• 特定の部分グラフ（例：$K_5$、$C_4$、$P_4$）を含まない有限群の交差グラフを特定すること。
• 有限群の部分群の交差グラフの周長（girth）を推定すること。
• 交差グラフの同型に基づいて有限群を特徴づけ、そのようなグラフのクリーク被覆数を計算すること。

提案手法

• 有限群 $G$ の交差グラフ $\mathscr{I}(G)$ を定義し、頂点を真部分群とし、非自明な共通部分群をもつ部分群間に辺を張る。
• グラフ理論的性質（ genus、平面性、部分グラフの自由性）を用いて、$\mathscr{I}(G)$ の位相的埋め込みに基づき群を分類する。
• 特に素数位数の部分群の数と分布に関する群論的結果を適用する。
• クリーク被覆数 $\theta(\mathscr{I}(G))$ が $G$ に含まれる素数位数の部分群の総数に等しいことを確立する。
• Zelinkaの独立数に関する結果を用いて、$\alpha(\mathscr{I}(G)) = \theta(\mathscr{I}(G))$ を示し、弱い $\alpha$-完璧性を証明する。
• 構造的解析と交差グラフ実現の一意性を用いて、グラフ同型から群の同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が部分群の交差グラフがトーラル（genus 1）であるか？
• RQ2 どの有限群が部分群の交差グラフが射影平面的（非可定向な genus 1）であるか？
• RQ3 どの有限群について $\mathscr{I}(G)$ が特定のグラフ（例：$\mathscr{I}(A_4)$、$\mathscr{I}(M_8)$）と同型であるか？
• RQ4 有限群 $G$ に対して $\mathscr{I}(G)$ の周長は何か、そして群の構造に応じてどのように変化するか？
• RQ5 交差グラフ $\mathscr{I}(G)$ のクリーク被覆数は何か、そして $\mathscr{I}(G)$ は弱い $\alpha$-完璧か？

主な発見

• この論文は、部分群の交差グラフがトーラルまたは射影平面的であるすべての有限群を分類し、完全な構造的特徴づけを提供する。
• 有限群の部分群の交差グラフは弱い $\alpha$-完璧であり、$\alpha(\mathscr{I}(G)) = \theta(\mathscr{I}(G))$ が成り立つ。ここで $\theta(\mathscr{I}(G))$ はクリーク被覆数を表す。
• クリーク被覆数 $\theta(\mathscr{I}(G))$ は、$G$ に含まれる素数位数の部分群の総数に等しく、構造的およびピーコンの原理による議論によって証明された。
• 有限群の部分群の交差グラフが $K_5$-自由であることは、それが平面的であることと同値であり、このクラスは平面的交差グラフをもつ群のクラスを真に含む。
• $A_4$、$M_8$、$\mathbb{Z}_q \rtimes_2 \mathbb{Z}_{p^2}$、および特定の $p^2qr$ 階の群は、交差グラフの同型型によって一意に特徴づけられる。
• 交差グラフ $\mathscr{I}(G)$ の周長が推定され、部分群格子構造に応じて、特定のクラスの群では $C_3$-自由、$C_4$-自由、$P_4$-自由であることが示された。