[논문 리뷰] Coprime graph of subgroups of a group

R. Rajkumar, P. Devi|arXiv (Cornell University)|2015. 10. 01.

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

한 줄 요약

이 논문은 유한군 G의 부분군들의 공약수 그래프를 정의하며, 이를 𝒫(G)로 표기한다. 여기서 정점은 진부분군이며, 서로소인 순서를 가진 부분군 간에 간선이 연결된다. 이 그래프가 약한 χ-완전임을 증명하고, 독립수, 클리크 수, 색수, 지름, 둘레를 결정하며, 평면성, 이분성, 또는 특정 부분그래프인 K₁,₄ 또는 K₂,₃를 포함하지 않는 경우를 분류한다. 또한 𝒫(G)가 사이클과 동형일 수 없음을 보여준다.

ABSTRACT

Let $G$ be a group. We define the coprime graph of subgroups of $G$, denoted by $\mathcal P(G)$, is a graph whose vertex set is the set of all proper subgroups of $G$, and two distinct vertices are adjacent if and only if the order of the corresponding subgroups are coprime. In this paper, we study some connections between algebraic properties of a group and graph theoretic properties of its coprime graph.

연구 동기 및 목표

• 정점이 진부분군이고, 서로소인 순서를 가진 부분군 간에 간선이 연결되는 공약수 그래프를 정의하고 연구한다.
• 유한군의 대수적 성질과 그 공약수 그래프의 그래프 이론적 성질 간의 상호작용을 조사한다.
• 공약수 그래프가 연결, 완전, 이분, 평면, 또는 특정 부분그래프인 K₁,₄ 또는 K₂,₃를 포함하지 않는 유한군을 분류한다.
• 공약수 그래프의 핵심 불변량, 즉 독립수, 클리크 수, 색수, 지름, 둘레를 결정한다.
• 모든 유한 단순 그래프 H가 어떤 n에 대해 𝒫(ℤₙ)의 유도 부분그래프로 나타날 수 있음을 보이며, 임베딩에서의 보편성을 보여준다.

제안 방법

• G의 모든 진부분군을 정점으로 하고, 순서가 서로소인 부분군 간에 간선이 연결되는 공약수 그래프 𝒫(G)를 정의한다.
• 서일 정리, 소수 거듭제곱 순서의 유한 아벨 및 비아벨 군의 분류, 부분군 격자 분석 등의 군론적 도구를 사용한다.
• k-분할 구조, 독립수 α(G), 클리크 수 ω(G), 색수 χ(G), 지름, 둘레, 평면성 등의 그래프 이론적 개념을 적용한다.
• 모든 유한군 G에 대해 ω(𝒫(G)) = χ(𝒫(G))임을 보여 공약수 그래프 𝒫(G)가 약한 χ-완전임을 증명한다.
• 특정 군의 가족(예: p-군, p²q 순서의 군, 이면군, 대칭군 등)을 분석하여 𝒫(G)가 평면이거나 금지된 부분그래프를 포함하는지 분류한다.
• 임의의 유한 단순 그래프 H에 대해 어떤 정수 n이 존재하여 H가 𝒫(ℤₙ)의 유도 부분그래프임을 보이며, ℤₙ의 풍부한 부분군 구조를 활용한다.

실험 결과

연구 질문

• RQ1 어떤 유한군 G에 대해 공약수 그래프 𝒫(G)가 연결, 완전, 또는 이분인지?
• RQ2 G의 대수적 구조와 공약수 그래프 𝒫(G)의 그래프 이론적 불변량(예: 독립수, 클리크 수, 색수) 간의 관계는 무엇인가?
• RQ3 어떤 유한군이 평면성, K₂,₃-무자, 또는 K₁,₄-무자 공약수 그래프를 가지는가?
• RQ4 모든 유한 단순 그래프가 어떤 n에 대해 𝒫(ℤₙ)의 유도 부분그래프로 표현될 수 있는가? 이를 보장하는 조건은 무엇인가?
• RQ5 𝒫(G)가 사이클과 동형일 수 있는가? 만약 불가능하면 그 이유는 무엇인가?

주요 결과

• 공약수 그래프 𝒫(G)는 약한 χ-완전이며, 모든 유한군 G에 대해 ω(𝒫(G)) = χ(𝒫(G))이다.
• G의 순서가 p₁^α₁⋯pₖ^αₖ일 경우, 그래프 𝒫(G)는 k-분할이며, 각 분할은 서로 다른 소수로 나누어지는 순서의 부분군에 대응한다.
• 독립수 α(𝒫(G))는 서로소가 아닌 순서를 가진 부분군들의 최대 수이며, 주어진 소수 거듭제곱 순서의 부분군 수로 유계된다.
• 𝒫(G)는 G가 p-군, 특정 서일 구조를 가진 p²q 순서의 군, 또는 D₁₂, A₄와 같은 특정 비아벨 군일 경우 평면이지만, K₃,₃ 또는 K₂,₃를 부분그래프로 포함하면 비평면이 된다.
• 구조적 분석과 둘레의 성질을 통해 𝒫(G)는 사이클과 동형일 수 없다.
• 모든 유한 단순 그래프 H는 어떤 n에 대해 𝒫(ℤₙ)의 유도 부분그래프로 나타나며, 이는 공약수 그래프 구성이 유한 단순 그래프에 대해 보편적임을 보여준다.