[논문 리뷰] A family of graphs that cannot occur as character degree graphs of solvable groups

Mark W. Bissler, Mark L. Lewis외 1명|arXiv (Cornell University)|2017. 07. 10.

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

한 줄 요약

이 논문은 어떤 유한 가환군 G에 대해서도 그의 문자도수 그래프 Δ(G)가 될 수 없는 새로운 그래프 가족을 확립한다. Pálfy의 조건, 정점의 적합성, 군 구조에 대한 귀납법에 기반한 기법들을 사용하여, 두 개의 인접한 도수 2 정점이 공통의 이웃을 가지지 않는 그래프는 어떤 가환군 G에 대해서도 Δ(G)가 될 수 없다는 것을 증명한다.

ABSTRACT

We investigate character degree graphs of solvable groups. In particular, we provide general results that can be used to eliminate which degree graphs can occur as solvable groups. Finally, we show a specific family of graphs cannot occur as a character degree for any solvable group.

연구 동기 및 목표

• 일부 그래프가 가환군의 문자도수 그래프가 될 수 없는 구조적 제약 조건을 규명하기 위해.
• 정점의 도수와 인접성에 기반한 새로운 제거 기준을 도입하여 기존의 문자도수 그래프 결과를 확장하기 위해.
• 두 개의 인접한 도수 2 정점이 공통 이웃이 없는 특정 그래프 가족이 어떤 가환군 G에 대해서도 Δ(G)로 나타나지 않는 것을 증명하기 위해.
• 적합한 정점과 정규부군 축소를 위한 프레임워크를 개발하고 적용하여 후보 그래프를 제거하기 위해.
• Pálfy의 조건과 [10] 및 [11]에서의 도시가 3인 그래프에 관한 결과를 통합하여 이전 결과를 일반화하기 위해.

제안 방법

• 정점의 제거(및 관련 간선 제거) 후에 그 부분그래프가 어떤 가환군의 문자도수 그래프가 될 수 없는 경우, 그 정점을 적합한 정점으로 정의한다.
• 논문의 보조정리 2.1을 사용하여, 소수 p가 적합하다면 O^p(G) = G임을 보여주며, 이는 정규 p-보완군이 존재하지 않음을 의미한다.
• 논문의 보조정리 2.2를 적용하여, 그래프의 모든 정점이 적합하다면 그 그래프는 문자도수 그래프가 될 수 없다는 것을 보인다.
• 논문의 보조정리 2.3을 사용하여, 특정한 인접성 및 비인접성 조건 하에서 정규 Sylow q-부군이 존재하지 않음을 배제한다.
• 정규부군 H와 G/H를 통한 부분군 축소 및 귀납법을 활용하여 가능한 문자도수 집합을 분석한다.
• 중앙 Sylow 부군과 도시가 3인 그래프에 관한 [5], [9], [10]의 결과를 활용하여, 후보 그래프가 나타날 경우 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 그래프가 가환군의 문자도수 그래프가 될 수 없을까?
• RQ2 두 개의 인접한 도수 2 정점과 공통 이웃이 없는 그래프가 가환군 G에 대해 Δ(G)로 나타날 수 있는가?
• RQ3 적합성과 Pálfy의 조건이 어떻게 후보 그래프를 제거하는 데 상호작용하는가?
• RQ4 문자도수 그래프에 강력한 적합한 정점이 존재할 경우 어떤 구조적 제약 조건이 발생하는가?
• RQ5 정규 Sylow 부군의 부재를 이용하여 전체 그래프 가족이 문자도수 그래프가 될 수 없음을 배제할 수 있는가?

주요 결과

• k ≥ 5개의 정점을 가지며, 두 개의 인접한 도수 2 정점이 공통 이웃이 없고, Pálfy의 조건을 만족하는 그래프 가족은 어떤 가환군의 문자도수 그래프가 될 수 없다.
• 이러한 그래프들이 정규부군 축소와 몫군에서 중심 Sylow 부군의 존재를 통해 모순을 유도함으로써 증명된다.
• 각 k ≥ 5에 대해, 가정 조건을 만족하는 그래프는 정확히 두 개(동형을 제외하고) 존재하며, 둘 다 어떤 가환군 G에 대해 Δ(G)로 나타나지 않는다.
• 작성자들은 그래프의 모든 정점이 적합하다면, 그 그래프는 어떤 가환군의 문자도수 그래프가 될 수 없다는 것을 증명한다.
• 이 방법은 [5], [9], [10]의 결과를 활용하여 도시가 3인 그래프와 특정한 정점 도수 패tern을 가진 그래프를 성공적으로 제거한다.
• 이러한 그래프가 Δ(G)로 나타난다고 가정할 경우, O^p(G) < G를 만족하는 적절한 정규부분군 H가 존재하게 되며, 이는 p의 적합성 위반으로 이어져 모순이 발생한다.