[论文解读] The diameters of commuting graphs of linear groups and matrix rings over the integers modulo m

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

Finite Group Theory Research被引用 12

一句话总结

本文研究了在整数模 m 环 ℤₘ 上的一般线性群 GL(n, ℤₘ) 和矩阵环 M(n, ℤₘ) 的交换图的连通性与直径。结果表明，当 m 为合数且 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) 连通时，其直径存在一个统一的上界。
• 将此前关于域上交换图的结果扩展至合数 m 的环 ℤₘ 的情形。
• 在 m 为合数且 n ≥ 2 的条件下，为 GL(n, ℤₘ) 和 M(n, ℤₘ) 建立精确的直径界限。
• 分析 M(n, ℤₘ) 和 GL(n, ℤₘ) 中非中心矩阵的中心化子结构，并通过构造交换图中的显式路径来确定直径。

提出的方法

• 利用中国剩余定理，当 m 为合数时，将其分解为互素的 s, t > 1，使得 ℤₘ ≅ ℤₛ × ℤₜ。
• 应用引理 2.8，通过构造如 sA + kI 这类组合，为 M(n, ℤₘ) 中给定矩阵 X 的中心化子构造非中心元素。
• 采用包含数量乘积与初等矩阵的矩阵构造方法，生成非中心的交换元素。
• 通过中间顶点 sA + kI 和 tB + ℓI，建立 Γ(M(n, ℤₘ)) 中任意顶点 X 与 Y 之间的路径，证明路径长度为 3。
• 利用引理 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 的显式路径。