[논문 리뷰] Toroidal and projective commuting and non-commuting graphs

Mojgan Afkhami, Mohammad Farrokhi Derakhshandeh Ghouchan외 1명|arXiv (Cornell University)|2014. 02. 20.

Finite Group Theory Research참고 문헌 9인용 수 10

한 줄 요약

이 논문은 토러스 또는 실수 평면 위에 매장 가능한 유한 비아벨 군을 분류하며, 평면성 결과를 일반화한다. 비교군 그래프가 토러스나 실수 평면 위에 매장될 수 없음을 증명하고, 종수와 교차캡 수 이론을 사용하여 그들의 비교군 그래프와 비비교군 그래프의 매장 성질에 기반한 군의 구조를 완전히 특성화한다.

ABSTRACT

In this paper, all finite groups whose commuting (non-commuting) graphs can be embed on the plane, torus or projective plane are classified.

연구 동기 및 목표

• 유한 비아벨 군 중에서 비교군 그래프가 평면, 토러스, 또는 실수 평면 위에 매장 가능한 모든 군을 분류하는 것.
• 토러스 또는 실수 평면 위에 비비교군 그래프가 매장 가능한 유한 비아벨 군을 특정하는 것.
• 비비교군 그래프의 기존 평면성 결과를 고종수 및 교차캡 표면으로 확장하는 것.
• 그래프의 종수와 교차캡 수 이론을 사용하여 비교군 그래프와 비비교군 그래프의 매장 성질에 기반한 군의 구조를 특성화하는 것.

제안 방법

• 평면성과 고종수 매장 가능성을 결정하기 위해 쿠라토프스키 정리와 종수/교차캡 수 공식을 적용한다.
• 정리 1.1과 정리 1.2를 사용하여 비교군 그래프와 비비교군 그래프에 매장된 완전 그래프 및 완전 이분 그래프의 종수를 근사한다.
• 정리 1.4를 통한 블록 분해를 활용하여 부분그래프 성분으로부터 종수를 계산한다.
• 요소의 순서와 쌍대류류에 중점을 두고, 몫군 $\overline{G} = G/Z(G)$ 를 통해 군의 구조를 분석한다.
• GAP 계산 대칭 시스템을 사용하여 매장 조건 하에서 군의 순서와 구조적 제약 조건을 검증한다.
• 유도된 부분그래프가 $K_{m,n}$ 또는 $K_n$ 과 동형일 경우에 기반한 모순 추론을 사용하여 고종수 또는 교차캡 매장을 배제한다.

실험 결과

연구 질문

• RQ1 어느 유한 비아벨 군의 비교군 그래프가 토러스 또는 실수 평면 위에 매장 가능한가?
• RQ2 비비교군 그래프가 토러스 또는 실수 평면 위에 매장 가능한 유한 비아벨 군이 존재하는가?
• RQ3 비교군 그래프 또는 비비교군 그래프의 종수가 1이거나 교차캡 수가 1일 경우에 어떤 군론적 제약 조건이 발생하는가?
• RQ4 군의 스펙트럼 $\omega(G)$ 와 지수 $\exp(G)$ 는 비교군 그래프와 비비교군 그래프의 종수 및 교차캡 수와 어떻게 관련이 있는가?
• RQ5 비비교군 그래프의 평면성 분류를 토러스 및 실수 평면 매장으로 확장할 수 있는가?

주요 결과

• 비비교군 그래프 중 토러스 매장 가능한 그래프는 존재하지 않으며, 모든 비비교군 그래프는 평면적이다. 평면적 비비교군 그래프를 가진 군은 오직 $S_3$, $D_8$, $Q_8$ 뿐이다.
• 비비교군 그래프 중 실수 평면 매장 가능한 그래프는 존재하지 않으며, $K_{3,6}$ 또는 $K_{8,8}$ 과 동형인 유도된 부분그래프가 교차캡 제약을 위반하기 때문이다.
• 유한 비아벨 군의 비교군 그래프가 평면적일 조건은 $|G|$ 가 $2^4 \cdot 3 \cdot 5 \cdot 7$ 에 의해 나누어지고, $|Z(G)| \leq 4$ 이며 $\omega(\overline{G}) \subseteq \{1,2,3,4\}$ 를 만족해야 한다.
• 비교군 그래프가 토러스적일 조건은 $|G| \mid 2^4 \cdot 3 \cdot 5 \cdot 7$ 이고 $\omega(\overline{G}) \subseteq \{1,2,3,4\}$ 이며, 요소의 순서와 중심 크기에 추가 제약 조건이 있어야 한다.
• 비교군 그래프가 실수 평면적일 조건은 $|G|$ 가 $2^4 \cdot 3 \cdot 5 \cdot 7$ 에 의해 나누어지고 $\omega(\overline{G}) \subseteq \{1,2,3\}$ 이며 $|Z(G)| \leq 3$ 이어야 한다.
• 비비교군 그래프가 평면적인 군은 오직 $S_3$, $D_8$, $Q_8$ 뿐이며, 이러한 군 중 어느 것도 종수가 1이거나 교차캡 수가 1인 비평면적 비비교군 그래프를 갖지 않는다.