[논문 리뷰] Toroidality and projective-planarity of intersection graphs of subgroups of finite groups

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

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.

연구 동기 및 목표

• 교차 그래프가 토로이드 또는 프로젝티브 평면인 유한군을 분류하는 것.
• 특정 그래프 클래스(예: 이분 그래프, 완전 이분 그래프, 트리, 사이클, 무사이클)에 속하는 교차 그래프를 가진 유한군을 특성화하는 것.
• 특정 하위그래프(예: $K_5$, $C_4$, $P_4$)를 포함하지 않는 유한군을 규명하는 것.
• 유한군의 부분군 교차 그래프의 둥근 길이(girth)를 추정하는 것.
• 교차 그래프의 동형사상에 의한 유한군의 특성화 및 이러한 그래프의 클리크 커버 수 계산.

제안 방법

• 유한군 $G$의 교차 그래프 $\mathscr{I}(G)$를 정의하며, 정점은 진부분군이고, 교차가 비자명한 부분군 간에 간선이 존재한다.
• 그래프 이론적 성질(종수, 평면성, 하위그래프 자유성)을 사용하여 $\mathscr{I}(G)$의 위상적 매장 가능성에 기반해 군을 분류한다.
• 특히 소수 위수 부분군의 수와 분포에 관한 군론적 결과를 적용한다.
• 클리크 커버 수 $\theta(\mathscr{I}(G))$가 $G$에 속한 소수 위수 부분군의 총 수와 같음을 증명한다.
• 독립수 $\alpha(\mathscr{I}(G))$에 관한 젤린카의 결과를 사용하여 $\alpha(\mathscr{I}(G)) = \theta(\mathscr{I}(G))$를 보임으로써 약한 $\alpha$-완전성을 증명한다.
• 구조 분석과 교차 그래프 표현의 유일성을 활용하여 그래프 동형사상으로부터 군 동형사상을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 유한군의 부분군 교차 그래프가 토로이드(종수 1)인가?
• RQ2 어떤 유한군의 부분군 교차 그래프가 프로젝티브 평면(비방향 종수 1)인가?
• RQ3 어떤 유한군의 $\mathscr{I}(G)$가 특정 그래프(예: $\mathscr{I}(A_4)$, $\mathscr{I}(M_8)$)와 동형인가?
• RQ4 $\mathscr{I}(G)$의 둥근 길이는 유한군 $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$-자유임을 보였다.