[论文解读] Digraphs from Endomorphisms of Finite Cyclic Groups

Min Sha|arXiv (Cornell University)|Jul 10, 2010

graph theory and CDMA systems参考文献 2被引用 3

一句话总结

本文引入了一类由阶为n的有限循环群的自同态构造的有向图家族G(n,k)，其中每个元素映射到其k次幂。本文刻画了该有向图的结构，包括环长、自同构群和邻接矩阵性质，表明自同构群依赖于n和k的素因数分解，尤其在k为素数时表现显著。

ABSTRACT

We associate each endomorphism of a finite cyclic group with a digraph and study many properties of this digraph, including its adjacent matrix and automorphism group.

研究动机与目标

• 定义并分析一类源自有限循环群自同态的新有向图G(n,k)。
• 刻画G(n,k)的结构特性，包括环长、分量分解和顶点入度分布。
• 确定G(n,k)的自同构群，尤其在k为素数时，并将其与群作用及wreath积联系起来。
• 研究邻接矩阵及其特征多项式和极小多项式，将结果与有限域上的单项式动力系统联系起来。

提出的方法

• 将G(n,k)构造为有向图，其顶点为阶为n的循环群H的元素，若f(a) = b，则存在有向边a → b，其中f(x) = x^k。
• 使用数论工具，如最大公约数、最小公倍数和欧拉函数，分析可解性与原像计数。
• 应用群论概念，包括元素阶、循环子群和模d的乘法阶，以分类环结构。
• 采用wreath积构造描述自同构群，尤其在k为素数且(n,k) = k时。
• 利用引理2.1判断顶点入度大于0的条件，即a^{n/d} = 1，其中d = gcd(n,k)。
• 利用同一环中顶点具有相同阶的事实，且环长ℓ(d) = ord_d(k)，即k模d的乘法阶。

实验结果

研究问题

• RQ1 由阶为n的有限循环群上自同态f(x) = x^k生成的有向图G(n,k)的结构是什么？
• RQ2 G(n,k)中的环长和环数如何依赖于参数n和k？
• RQ3 G(n,k)的自同构群是什么？它如何随n和k的素因数分解而变化？
• RQ4 G(n,k)的邻接矩阵如何刻画？其特征多项式和极小多项式是什么？
• RQ5 在何种条件下，树分量T_1的自同构群同构于对称群与循环群的wreath积？

主要发现

• G(n,k)中入度为0的顶点数为(d-1)/d × n，其中d = gcd(n,k)，且入度大于0的顶点构成一个大小为n/d的循环子群。
• G(n,k)中环顶点的数量恰好为t，其中t是与k互素的最大n的因数，且每个环顶点的阶整除t。
• 阶为d的环的长度为ℓ(d) = ord_d(k)，即k模d的乘法阶，最长环的长度为ord_t(k)。
• G(n,k)中环的总数为∑_{d|t} φ(d)/ℓ(d)，其中φ为欧拉函数，ℓ(d) = ord_d(k)。
• 当k为素数且gcd(n,k) = k时，树T_1的自同构群同构于Aut(T_1,h) ≅ Aut(T_1,h+1) ≀ S_k（h < h₀），且Aut(T_1,h₀)平凡。
• 当k为素数且gcd(n,k) = 1时，G(n,k)的自同构群同构于对称群在循环群上的wreath积，具体为(Z_m ≀ S_{m_1}) × ⋯ × (Z_s ≀ S_{m_s})