[论文解读] Impartial avoidance games for generating finite groups

Bret J. Benesh, Dana C. Ernst+1 more|arXiv (Cornell University)|Jun 23, 2015

Advanced Graph Theory Research参考文献 16被引用 5

一句话总结

本文提出了一种判定有限群上公平避免游戏尼姆数的准则，其中玩家轮流选择群元素而不形成生成集。通过分析极大子群及其奇偶性，作者对幂零群、散在群和对称群的博弈尼姆数进行了分类，表明其取决于偶数阶极大子群是否覆盖该群。

ABSTRACT

We study an impartial avoidance game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The first player who cannot select an element without making the set of jointly-selected elements into a generating set for the group loses the game. We develop criteria on the maximal subgroups that determine the nim-numbers of these games and use our criteria to study our game for several families of groups, including nilpotent, sporadic, and symmetric groups.

研究动机与目标

• 将巴内斯的避免游戏结果准则扩展至不仅确定博弈结果，还确定尼姆数。
• 建立有限群中博弈尼姆数与极大子群奇偶性之间的联系。
• 为各种群族的不生成（DNG）游戏提供尼姆数的实用分类方法。
• 证明DNG游戏的尼姆数在模弗拉蒂尼子群商化下保持不变，从而实现计算简化。
• 通过子群格和结构有向图分析探索博弈的结构不变性。

提出的方法

• 使用极大子群重新表述巴内斯条件，以推导尼姆数计算准则。
• 使用最小排除函数（mex）从博弈位置递归计算尼姆数。
• 应用对应定理，将群及其模正规子群的商群中的极大子群关联起来。
• 利用弗拉蒂尼子群包含于所有极大子群这一事实，证明博弈尼姆数在商化下保持不变。
• 构建结构有向图和图示，基于子群交集可视化博弈位置及其关系。
• 使用GAP等计算工具验证SL(3,7)和PSL(3,7)等特定群的结果。

实验结果

研究问题

• RQ1 能否仅通过有限群中极大子群的结构确定不生成游戏的尼姆数？
• RQ2 尼姆数在模弗拉蒂尼子群商化下如何表现？
• RQ3 对称群、散在群和幂零群的避免游戏的尼姆数是多少？
• RQ4 当N ≤ Φ(G)时，G上DNG游戏的结构有向图是否同构于G/N上的结构有向图？
• RQ5 能否仅通过极大子群性质而无需递归mex计算来确定尼姆数？

主要发现

• 有限群G上DNG游戏的尼姆数为*0，当且仅当所有偶数阶极大子群的并覆盖G。
• 对于满足巴内斯条件的非循环群，尼姆数由极大子群的奇偶性决定，当偶数阶极大子群覆盖G时为*0。
• 幂零群上DNG游戏的尼姆数与其弗拉蒂尼商群相同，从而实现计算简化。
• SL(3,7)上的避免游戏尼姆数为*3，因为其弗拉蒂尼商群PSL(3,7)有69,008个偶数阶和32,928个奇数阶极大子群，且这些子群不覆盖群。
• DNG游戏的结构有向图在模弗拉蒂尼子群商化下保持不变，从而保持博弈等价性。
• 通过推论6.4提供了一个基于极大子群奇偶性与覆盖条件的尼姆数计算检查清单。