[논문 리뷰] Non-Solvable Graph of a Finite Group and Solvabilizers

Doron Hai-Reuven|arXiv (Cornell University)|2013. 07. 10.

Finite Group Theory Research참고 문헌 6인용 수 6

한 줄 요약

이 논문은 유한군의 비해결 그래프와 주어진 원소와 함께 해석 가능한 해석 가능 부분군을 생성하는 원소들의 집합인 해석 가능성자 개념을 도입한다. 군이 해석 가능할 필요충분조건으로 모든 원소의 해석 가능성자가 부분군이 되는 것(즉, S군)임을 증명하며, 군의 해석 가능성 라디칼에 대한 몫군 위에 유도된 비해결 그래프가 비정규적임을 보이고, 그래프 이론적 성질을 통해 해석 가능성의 새로운 특성화를 제시한다.

ABSTRACT

Let $G$ be a finite group. For $x \in G$, we define the solvabilizer of $x$ in $G$, denoted $sol_G(x)$, to be the set $\{g \in G \mid \langle g,x angle$ is solvable$\}$. A group $G$ is an S-group if $sol_G(x)$ is a subgroup of $G$ for every $x \in G$. In this paper we prove that $G$ is solvable $\Leftrightarrow$ $G$ is an S-group. Secondly, we define the non-solvable graph of $G$ (denoted ${\mathcal S}_{G}$). Its vertices are $G$ and there is an edge between $x,y \in G$ whenever $\langle x,y angle$ is not solvable. If $S(G)$ is the solvable radical of $G$ and $G$ is not solvable, we look at the induced graph over $G \setminus S(G)$, denoted $\hat{{\mathcal S}_{G}}$. We prove that if $G$ is not solvable, then $\hat{{\mathcal S}_{G}}$ is irregular. In addition, we prove some properties of solvabilizers and non-solvable graphs.

연구 동기 및 목표

• 유한군의 비해결 그래프를 정의하고 연구한다. 여기서 간선은 비해결 부분군을 생성하는 원소 쌍을 연결한다.
• 해석 가능성자를 원소의 집합으로 정의한다. 이는 주어진 원소와 함께 해석 가능한 부분군을 생성하는 원소들의 집합이다.
• 해석 가능성자의 부분군 성질을 통해 해석 가능성의 특성화를 하며, S군의 개념을 도입한다.
• 비해결 그래프의 구조적 성질, 특히 G\S(G) 위의 유도된 부분그래프를 분석하고, 그 비정규성을 증명한다.
• 기존의 그래프들인 비교교환 그래프와 비노일라포텐트 그래프와의 유사성을 도출하고, 이들 맥락에서의 결과를 확장한다.

제안 방법

• G의 원소 x에 대한 해석 가능성자를 {g ∈ G | ⟨g,x⟩가 해석 가능하다}로 정의한다.
• 모든 원소의 해석 가능성자가 부분군이 되는 군을 S군으로 정의한다.
• Thompson의 해석 가능성에 관한 정리를 사용하여, G가 해석 가능할 필요충분조건으로 G가 S군임을 증명한다.
• 정점 집합이 G이고, 비해결 부분군을 생성하는 원소 쌍 사이에 간선이 있는 비해결 그래프 SG를 정의한다.
• S(G)가 G의 해석 가능성 라디칼일 때, G\S(G) 위에 유도된 부분그래프 ŜG를 분석한다.
• 유도된 부분그래프 ŜG가 비정규적임을 증명하기 위해, 귀납법과 군의 순서의 약수 성질을 이용하여 정점의 차수 값이 정확히 두 가지뿐일 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 유한군의 원소에 대한 해석 가능성자가 언제 부분군이 되는가?
• RQ2 해석 가능성자의 부분군 성질로부터 도출할 수 있는 해석 가능성의 특성화는 무엇인가?
• RQ3 유한군의 비해결 그래프는 어떤 구조적 성질을 가지며, 특히 그 해석 가능성 라디칼의 여집합 위에서 어떤 성질을 가지는가?
• RQ4 비해결 그래프는 그래프 이론적 불변량을 통해 해석 가능성군과 비해결군을 구별하는 데 사용될 수 있는가?
• RQ5 G\S(G) 위에 유도된 비해결 그래프의 비정규성은 군의 비해결성과 어떻게 관련되어 있는가?

주요 결과

• 유한군 G는 해석 가능일 필요충분조건으로, 모든 원소의 해석 가능성자가 부분군이 되는 S군이 되는 것이다.
• G의 임의의 원소 x에 대한 해석 가능성자는 x의 중심화자를 포함하며, 그 크기는 군의 순서를 나눈다.
• G\S(G) 위에 유도된 비해결 그래프 ŜG는 비정규적이다. 즉, 모든 정점의 차수가 동일하지 않다.
• G가 비해결일 경우, ŜG는 완전 이분그래프 K4,4를 포함한다. 이는 비계획형임을 의미한다.
• 비해결 그래프의 정점의 서로 다른 차수의 수는 정확히 두 개인 일이 없다.
• 비해결 그래프의 차수의 합은 |G|로 나누어떨어지며, 이는 해석 가능성자의 크기의 나누어떨어짐 성질에서 유도된다.