[논문 리뷰] The diameters of commuting graphs of linear groups and matrix rings over the integers modulo m

Michael Giudici, Aedan Pope|arXiv (Cornell University)|2010. 02. 28.

Finite Group Theory Research인용 수 12

한 줄 요약

이 논문은 정수 모듈로 m에 대한 일반선형군 GL(n, ℤₘ)과 행렬환 M(n, ℤₘ)의 가환 그래프의 연결성과 지름을 조사한다. 복합수 m ≥ 4 및 n ≥ 2일 때, 두 가환 그래프 모두 연결되어 있으며 지름은 정확히 3임을 증명한다. 이는 유한 비아벨 군에 대해 연결된 가환 그래프의 지름에 대한 보편 상한이 존재한다는 추측을 뒷받침한다.

ABSTRACT

The commuting graph of a group G, denoted by Gamma(G), is the simple undirected graph whose vertices are the non-central elements of G and two distinct vertices are adjacent if and only if they commute. Let Z_m be the commutative ring of equivalence classes of integers modulo m. In this paper we investigate the connectivity and diameters of the commuting graphs of GL(n,Z_m) to contribute to the conjecture that there is a universal upper bound on diam(Gamma(G)) for any finite group G when Gamma(G) is connected. For any composite m, it is shown that Gamma(GL(n,Z_m)) and Gamma(M(n,Z_m)) are connected and diam(Gamma(GL(n,Z_m))) = diam(Gamma(M(n,Z_m))) = 3. For m a prime, the instances of connectedness and absolute bounds on the diameters of Gamma(GL(n,Z_m)) and Gamma(M(n,Z_m)) when they are connected are concluded from previous results.

연구 동기 및 목표

• ℤₘ에서의 선형군과 행렬환에 대한 가환 그래프의 연결성과 지름을 조사한다. 이는 체가 아닌 환이다.
• 유한 비아벨 군 G에 대해 Γ(G)가 연결될 경우 Γ(G)의 지름에 대한 보편 상한이 존재한다는 추측에 대한 증거를 기여한다.
• 이전의 체 위에서의 가환 그래프 결과를 복합수 m에 대한 ℤₘ 환의 경우로 확장한다.
• m가 복합수이고 n ≥ 2일 때 GL(n, ℤₘ)과 M(n, ℤₘ)에 대해 정확한 지름 범위를 설정한다.
• 중앙자 구조를 분석하고, 지름을 결정하기 위해 가환 그래프 내에서 명시적인 경로를 구성한다.

제안 방법

• m가 복합수일 때, m의 서로소인 s, t > 1에 대해 ℤₘ를 ℤₛ × ℤₜ로 분해하기 위해 중국인의 나머지 정리를 사용한다.
• Lemma 2.8을 적용하여 주어진 행렬 X ∈ M(n, ℤₘ)의 중심자에서 중심이 아닌 원소를 구성한다. 이를 위해 sA + kI와 같은 조합을 형성한다.
• 스칼라 곱과 기본 행렬을 포함하는 행렬 구성 기법을 사용하여 중심이 아닌 가환 원소를 생성한다.
• Γ(M(n, ℤₘ)) 내의 임의의 정점 X와 Y 사이의 경로를 중간 정점 sA + kI와 tB + ℓI를 통해 수립하여 길이 3의 경로를 보여준다.
• Lemma 2.3을 사용하여 구성된 원소의 가역성을 검증함으로써, 필요에 따라 중간 정점가 GL(n, ℤₘ)에 속함을 보장한다.
• 서로소 인수 분해에 대한 결과를 조합하고, 귀납법 또는 분해 기법을 통해 복합수 m 전역으로 지름 결과를 확장한다.

실험 결과

연구 질문

• RQ1 어떤 복합수 m와 정수 n ≥ 2에 대해 가환 그래프 Γ(GL(n, ℤₘ))가 연결되어 있는가?
• RQ2 m가 복합수이고 n ≥ 2일 때 Γ(GL(n, ℤₘ))과 Γ(M(n, ℤₘ))의 정확한 지름은 얼마인가?
• RQ3 m가 소수가 아닐 때조차 ℤₘ 위의 가환 그래프의 지름이 보편적으로 유계가 될 수 있는가?
• RQ4 M(n, ℤₘ)과 GL(n, ℤₘ)의 비중앙 행렬의 중심자는 어떻게 행동하는가? 그리고 짧은 경로를 구성하는 데 사용될 수 있는가?
• RQ5 서로소 환의 곱으로서 ℤₘ의 구조는 체의 경우보다 지름을 줄이는 데 기여하는가?

주요 결과

• 모든 복합수 m와 n ≥ 2에 대해, 가환 그래프 Γ(GL(n, ℤₘ))는 연결되어 있으며 지름은 정확히 3이다.
• 모든 복합수 m와 n ≥ 2에 대해, 가환 그래프 Γ(M(n, ℤₘ))는 연결되어 있으며 지름은 정확히 3이다.
• 지름 상한 3은 모든 복합수 m와 n ≥ 2에 대해 일관되게 유지되며, 유한 비아벨 군에 대해 diam(Γ(G))의 보편 상한이 존재한다는 강력한 증거를 제공한다.
• m가 소수일 경우, Γ(GL(n, ℤₘ))과 Γ(M(n, ℤₘ))의 지름은 6 이하로 유계이며, n과 m에 따라 더 날카운 유계가 존재한다.
• m = 2이고 n ≥ 5일 때, Γ(GL(n, ℤ₂))의 지름은 최대 8이지만, n 또는 n−1가 소수일 경우 그래프가 비연결이다.
• 증명은 m의 서로소 인수 분해로부터 유도된 중심자 원소를 사용하여 임의의 두 비중앙 원소 사이에 길이 3의 명시적 경로를 구성하는 데 의존한다.