[论文解读] On some probabilistic aspects of (generalized) dicyclic groups

Marius Tărnăuceanu, Mihai-Silviu Lazorec|arXiv (Cornell University)|Dec 6, 2016

Finite Group Theory Research参考文献 4被引用 3

一句话总结

本文推导出二元四元群（dicyclic）和广义二元四元群的子群交换度（sd）与循环子群交换度（csd）的显式公式，特别是 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$，并证明当 $m \to \infty$ 时 $\mathrm{csd}(\mathbb{Z}_2 \times Q_{2^{m+1}}) \to 0$，从而确立了一类具有渐近消失的循环子群交换度的新群类。

ABSTRACT

In this paper we study probabilistic aspects such as subgroup commutativity degree and cyclic subgroup commutativity degree of the (generalized) dicyclic groups. We find explicit formulas for these concepts and we provide another example of a class of groups whose (cyclic) subgroup commutativity degree vanishes asymptotically.

研究动机与目标

• 通过子群交换度（sd）与循环子群交换度（csd）研究二元四元群与广义二元四元群的概率结构。
• 为 $\mathrm{Dic}_{4n}$ 与 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$ 提供 sd 与 csd 的显式闭式表达式，重点关注 $n = 2^m$ 的情形。
• 分析 csd 的渐近行为，特别是针对 $\mathbb{Z}_2 \times Q_{2^{m+1}}$，以判断其是否趋于零。
• 将现有关于（循环）子群交换度的结果扩展至一类具有非平凡结构的非交换群的新类别。
• 识别未来研究中关于群结构与概率不变量（如 sd 与 csd）之间相互作用的开放问题。

提出的方法

• 利用群表示 $\mathrm{Dic}_{4n} = \langle a, \gamma \mid a^{2n} = e, \gamma^2 = a^n, a^\gamma = a^{-1} \rangle$ 对子群与循环子群进行分类。
• 利用子群格结构：$\langle a \rangle$ 中有 $\tau(2n)$ 个循环子群，以及 $\sigma(n)$ 个同构于 $\mathrm{Dic}_{4s}$ 的二元四元子群 $H_i^s$。
• 应用定义 $sd(G) = \frac{1}{|L(G)|^2} \sum_{H \in L(G)} |C(H)|$，其中 $C(H)$ 是与 $H$ 交换的子群集合。
• 对于 csd，计算 $csd(G) = \frac{1}{|L_1(G)|^2} \sum_{H \in L_1(G)} |C_1(H)|$，重点关注循环子群及其交换关系。
• 当 $n = 2^m$ 时，利用群同构 $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n) \cong \mathbb{Z}_2 \times Q_{2^{m+1}}$ 简化计算。
• 运用数论函数：$\tau(m')$（除数个数）、$\sigma(n)$（除数和），以及针对奇数 $m'$ 的自定义算术函数 $g(m')$。

实验结果

研究问题

• RQ1 在 $n$ 的素因数分解下，$\mathrm{Dic}_{4n}$ 的子群交换度 $sd(\mathrm{Dic}_{4n})$ 的显式公式是什么？
• RQ2 当 $n = 2^m$ 增大时，$\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$ 的循环子群交换度 $csd$ 的渐近行为如何？
• RQ3 对于 $A \cong \mathbb{Z}_2 \times \mathbb{Z}_n$ 的广义二元四元群 $\mathrm{Dic}_{4n}(A)$，其子群格与循环子群偏序集的结构是怎样的？
• RQ4 $\mathrm{csd}(\mathbb{Z}_2 \times Q_{2^{m+1}})$ 是否在 $m \to \infty$ 时趋于零？若是，这对其循环子群概率非交换性的含义是什么？
• RQ5 当 $A$ 是阶为 $2n$ 的任意阿贝尔群时，能否为 $\mathrm{Dic}_{4n}(A)$ 推导出 $sd$ 与 $csd$ 的显式公式？

主要发现

• 二元四元群 $\mathrm{Dic}_{4n}$ 的子群交换度为 $sd(Dic_{4n}) = \frac{(m+2)^2\tau(m')^2 + 2(m+2)\tau(m')\sigma(n) + [(m-1)2^{m+3}+9]g(m')}{[(m+2)\tau(m') + \sigma(n)]^2}$，其中 $n = 2^m m'$，$m' \in \mathbb{N}$ 为奇数，且 $g(m')$ 为乘法算术函数。
• 当 $n = 2^m$ 时，$\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_n)$ 的循环子群交换度为 $csd(\mathbb{Z}_2 \times Q_{2^{m+1}}) = \frac{2^m(4m+8) + (2m+2)^2}{(2^m + 2m + 2)^2}$。
• $\mathbb{Z}_2 \times Q_{2^{m+1}}$ 的循环子群交换度在 $m \to \infty$ 时趋于零，即 $\lim_{m \to \infty} csd(\mathbb{Z}_2 \times Q_{2^{m+1}}) = 0$。
• 显式数值包括 $csd(\mathbb{Z}_2 \times Q_8) = 1$，$csd(\mathbb{Z}_2 \times Q_{16}) = \frac{224}{256} = \frac{7}{8}$，且 $csd(\mathbb{Z}_2 \times Q_{32}) \to 0$。
• $\mathrm{Dic}_{4n}(\mathbb{Z}_2 \times \mathbb{Z}_6)$ 的循环子群交换度为 $\frac{43}{49}$，表现出非平凡的中间行为。
• 本文提供了有限非交换群的新类别——具体为 $\mathbb{Z}_2 \times Q_{2^{m+1}}$ ——其循环子群交换度渐近消失。