[논문 리뷰] Non-cyclic graph of a group

Aliréza Abdollahi, A. Mohammadi Hassanabadi|ArXiv.org|2007. 08. 17.

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

한 줄 요약

이 논문은 국소적으로 순환하지 않는 군 G에 대한 비순환 그래프 Γ_G를 도입한다. 여기서 정점은 비순환화 원소(G ∖ Cyc(G))이며, 엣지는 순환 부분군을 생성하지 않는 원소 쌍을 연결한다. 이 그래프는 항상 연결되어 있으며, 지름 ≤3임을 증명한다. 또한, 순환자(Cyclicizer)가 자명한 유한 노름군의 경우, 비순환 그래프의 동형성은 군의 동형성을 암시한다. 주요 기여는 모든 유한 비아벨 단순군이 비순환 그래프에 의해 유일하게 결정된다는 추측이다.

ABSTRACT

We associate a graph $Γ_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | \left ext{is cyclic for all} y\in G\}$, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of $Γ_G$ is finite if and only if $Γ_G$ has no infinite clique. We prove that if $G$ is a finite nilpotent group and $H$ is a group with $Γ_G\congΓ_H$ and $|Cyc(G)|=|Cyc(H)|=1$, then $H$ is a finite nilpotent group. We give some examples of groups $G$ whose non-cyclic graphs are ``unique'', i.e., if $Γ_G\cong Γ_H$ for some group $H$, then $G\cong H$. In view of these examples, we conjecture that every finite non-abelian simple group has a unique non-cyclic graph. Also we give some examples of finite non-cyclic groups $G$ with the property that if $Γ_G \cong Γ_H$ for some group $H$, then $|G|=|H|$. These suggest the question whether the latter property holds for all finite non-cyclic groups.

연구 동기 및 목표

• 비순환화되지 않은 군 G에 대한 비순환 그래프 Γ_G를 정의하고 연구하며, 여기서 정점은 Cyc(G)에 속하지 않는 원소이며, 엣지는 순환 부분군을 생성하지 않는 원소 쌍을 연결한다.
• 비순환 그래프 Γ_G의 그래프 이론적 성질을 클리크 수, 정규성, 독립 수와 같은 군론적 불변량과 연관지어 연구한다.
• 특히 유한 비아벨 단순군에 대해 비순환 그래프가 군을 유일하게 결정하는 조건을 규명한다.
• Γ_G의 동형 불변량을 탐색하고, 특정 군의 클래스에 대해 Γ_G ≅ Γ_H이면 |G| = |H| 또는 G ≜ H임을 증명한다.

제안 방법

• Cyc(G) = {x ∈ G | ⟨x,y⟩가 모든 y ∈ G에 대해 순환임}로 정의하고, Γ_G의 정점 집합을 G ∖ Cyc(G)로 설정한다.
• ⟨x,y⟩가 순환하지 않으면 Γ_G에서 x와 y 사이에 엣지를 정의함으로써, 그래프가 비순환 생성 성질에 의존하도록 한다.
• 중앙자, 순환자, 소수 그래프(Gruenberg-Kegel) 분석과 같은 군론적 도구를 사용하여 그래프의 구조를 분석한다.
• 유한군 이론의 결과, 특히 유한 단순군의 분류와 p-군의 성질을 활용하여 동형 정리를 도출한다.
• |Cyc(G)|가 |G| − 1과 |G| − p를 나누며, 특정 소수 p에 대해 |Cyc(G)| = 1임을 동형 조건 하에서 유도한다.
• Williams와 Kondrat’ev의 소수 그래프가 비연결인 군의 분류 결과를 활용하여 동형 불변량을 분석한다.

실험 결과

연구 질문

• RQ1 유한 군 G에 대해 비순환 그래프 Γ_G가 그래프의 구조에 의해 유일하게 결정되는 조건은 무엇인가? 즉, Γ_G ≅ Γ_H이면 G ≅ H인가?
• RQ2 유한 군의 비순환 그래프가 유한한 클리크 수를 가지는 조건는 무엇이며, 이를 보장하는 군론적 조건은 무엇인가?
• RQ3 어느 군의 클래스(예: 노름군, 대칭군, 교환군, 단순군)에 대해 Γ_G ≅ Γ_H이면 |G| = |H|인가?
• RQ4 순환자 Cyc(G)의 구조와 Γ_G의 정규성 또는 대칭성 간의 관계는 무엇인가?
• RQ5 모든 유한 비아벨 단순군에 대해 비순환 그래프가 고유한가? 즉, Γ_G ≅ Γ_H이면 G ≅ H인가?

주요 결과

• 모든 국소적으로 순환하지 않는 군에 대해 비순환 그래프 Γ_G는 항상 연결되어 있으며, 지름은 최대 3이다.
• Γ_G의 클리크 수가 유한한 것은 Γ_G에 무한 클리크가 존재하지 않을 때이고, 그 때에만 성립한다.
• G가 유한 노름군이고 H가 Γ_G ≅ Γ_H이며 |Cyc(G)| = |Cyc(H)| = 1을 만족하는 군이라면, H 역시 유한 노름군이다.
• 유한 비아벨 단순군에 대해 Γ_G ≅ Γ_H이면 |G| = |H|이며, Shi-Bi 추측이 성립할 경우 G ≅ H이다. 이는 모든 유한 비아벨 단순군이 고유한 비순환 그래프를 가진다는 추측으로 이어진다.
• 대칭군 S_n(n > 2)과 교환군 A_n(n > 3)에 대해 Γ_G ≅ Γ_S_n이면 G ≅ S_n이며, Γ_G ≅ Γ_A_n이면 G ≅ A_n이다.
• s(M) ≥ 2인(단, B_n, C_n, D_n의 짝수 n 제외) 유한 비아벨 단순군 유형의 리 군에 대해 Γ_M ≅ Γ_G이면 G ≅ M이다. 이는 이러한 군들에 대해 Shi-Bi 추측이 성립한다고 가정할 때 성립한다.