[논문 리뷰] Embeddings of (proper) power graphs of finite groups

Alireza Doostabadi, Mohammad Farrokhi Derakhshandeh Ghouchan|arXiv (Cornell University)|2014. 02. 06.

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

한 줄 요약

이 논문은 유한군 중에서 (부분군이 아닌) 거듭제곱 그래프가 평면, 외부 평면, 고리, 1-평면, 거의 평면, 최대 평면, 토러스, 또는 사영 평면인 군을 분류한다. 이 그래프의 평면성은 군의 원소 순서 집합에 따라 결정되며, 정확한 특성화가 이루어진다: 예를 들어, 부분 거듭제곱 그래프는 모든 원소 순서가 {1,2,3,4,5,6}에 속할 때에만 평면적이다. 전체 거듭제곱 그래프는 원소 순서가 {1,2,3,4}에 속할 때에만 평면적이다. 사영 평면의 경우, Z₅, D₁₀, 그리고 프로베누스 군을 포함한 여섯 가지 특정 군으로 완전히 특성화된다.

ABSTRACT

The (proper) power graph of a group is a graph whose vertex set is the set of all (nontrivial) elements of the group and two distinct vertices are adjacent if one is a power of the other. Various kinds of planarity of (proper) power graphs of groups are discussed.

연구 동기 및 목표

• 모든 유한군 중에서 (부분군이 아닌) 거듭제곱 그래프가 평면, 외부 평면, 고리, 1-평면, 거의 평면, 최대 평면, 토러스, 또는 사영 평면인 군을 분류하는 것.
• 특정 표면에 (부분) 거듭제곱 그래프가 매립될 수 있는 유한군 G의 구조적 조건을 규명하는 것.
• 금지된 부분그래프(예: K₅, K₃,₃)를 피하거나 특정 사이클 구조를 갖는 군을 특성화하는 것.
• 거듭제곱 그래프의 위상적 매립 가능성에 영향을 주는 원소 순서 집합 ω(G)에 대한 정확한 조건을 설정하는 것.
• 정확한 유한군 목록을 식별하여 (부분) 거듭제곱 그래프의 사영 매립 가능성을 해결하는 것.

제안 방법

• 카라투스키 정리를 사용하여 K₅ 및 K₃,₃ 금지 부분그래프를 통해 평면성을 특성화한다.
• 매립 가능성 결정의 중심 불변량으로 원소 순서 집합 ω(G)를 활용한다: 예를 들어, 전체 거듭제곱 그래프가 평면적일 경우 ω(G) ⊆ {1,2,3,4}이다.
• 사이클 랭크, 기본 사이클 성질(PCP), 색수/스타 색수 등의 그래프 이론적 성질을 활용하여 구조적 제약 조건을 분석한다.
• 프로베누스 군의 구조, 정규화군 및 중심화군 분석(C_G(x) = ⟨x⟩ 등), 자동사상군 작용 등의 군론적 도구를 활용하여 군의 구조를 제약한다.
• 사영 평면에 대한 기약 그래프 목록(103개)을 활용하여 매립 불가능성을 테스트하며, 특히 K₅·K₅ 및 2K₅ 부분그래프에 초점을 맞춘다.
• 작은 군에 대해 GAP를 활용한 계산적 검증을 통해 특정 부분군 구성(예: 순서 6인 순환부분군이 두 개 존재하는 군)이 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 어떤 유한군이 평면 (부분) 거듭제곱 그래프를 가지며, 그 원소 순서에 어떤 조건이 필요한가?
• RQ2 어떤 유한군이 사영 (부분) 거듭제곱 그래프를 가지며, 어떻게 유일하게 특성화할 수 있는가?
• RQ3 원소 순서 집합 ω(G)에 대해 (부분) 거듭제곱 그래프가 외부 평면, 1-평면, 또는 최대 평면이 되기 위한 필수 및 필요조건은 무엇인가?
• RQ4 K₅·K₅ 또는 2K₆ 등의 부분그래프 존재가 (부분) 거듭제곱 그래프의 사영 평면 매립 가능성에 어떤 영향을 미치는가?
• RQ5 (부분) 거듭제곱 그래프가 토러스적 또는 1-평면 매립을 갖는 경우 군 G에 어떤 구조적 제약 조건이 발생하는가?

주요 결과

• 전체 거듭제곱 그래프 P(G)는 ω(G) ⊆ {1,2,3,4}일 때에만 평면적이다. 이는 정리 2.1에 의해 입증되었다.
• 부분 거듭제곱 그래ph P*(G)는 ω(G) ⊆ {1,2,3,4,5,6}일 때에만 평면적이다. 이는 정리 2.2에 의해 보여졌다.
• 부분 거듭제곱 그래프 P*(G)는 G가 Z₇, D₁₄, Z₇⋊Z₃, 또는 Z₇⋊Z₆와 동형일 때에만 사영적이다. 이는 정리 4.2에 따라 확인되었다.
• 전체 거듭제곱 그래프 P(G)는 G가 Z₅, Z₆, D₁₀, D₁₂, Z₃⋊Z₄, 또는 Z₅⋊F Z₄와 동형일 때에만 사영적이다. 이는 정리 4.1에 의해 기재되었다.
• 원소 순서가 {1,2,3,4,5,6}에 속하는 군의 경우, 부분 거듭제곱 그래프는 최대 한 개의 간선을 공유하는 완전 그래프와 우정 그래프의 합집합이며, 이는 평면성을 보장한다.
• 모든 평면 (부분) 거듭제곱 그래프를 갖는 군에 대해 색수 χ(P*(G))는 스타 색수 χₛ(P*(G))와 같다. 이는 추론 2.3에 의해 보여졌다.