[论文解读] The Erdős-Ko-Rado property for some permutation groups

Bahman Ahmadi, Karen Meagher|arXiv (Cornell University)|Nov 27, 2013

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

一句话总结

本文研究了置换群中的Erdős-Ko-Rado（EKR）性质，证明了循环群具有严格的EKR性质，二面体群和Frobenius群具有EKR性质（对严格变体进行了特征刻画），并且EKR群的直积与半直积也继承了EKR性质。主要贡献在于对若干群族中具有EKR性质和严格EKR性质的置换群进行了全面分类。

ABSTRACT

A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $π,σ$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $π(i) = σ(i)$. If the stabilizer of a point is the largest intersecting set in a group, we say that the group has the Erdős-Ko-Rado (EKR) property. Moreover, the group has the strict EKR property if every intersecting set of maximum size in the group is either the stabilizer of a point or the coset of the stabilizer of a point. In this paper we look at several families of permutation groups and determine if the groups have either the EKR property or the strict EKR property. First, we prove that all cyclic groups have the strict EKR property. Next we show that all dihedral and Frobenius groups have the EKR property and we characterize which ones have the strict EKR property. Further, we show that if all the groups in an external direct sum or an internal direct sum have the EKR (or strict EKR) property, then the product does as well. Finally, we show that the wreath product of two groups with EKR property also has the EKR property.

研究动机与目标

• 确定哪些置换群满足Erdős-Ko-Rado（EKR）性质，即最大相交集合为点稳定子群。
• 刻画哪些群满足更强的严格EKR性质，即仅当点稳定子群的陪集达到最大相交集合大小时才成立。
• 将EKR性质扩展至群构造，如直积（外部和内部）与半直积。
• 识别不具有EKR性质的群族，特别是通过$t$-相交集合与反例。

提出的方法

• 为群$G \leq \operatorname{Sym}(n)$定义错位图$\Gamma_G$，其中顶点为群元素，边连接乘积为错位元的排列。
• 使用图论方法：若$\Gamma_G$中最大独立集的大小等于最大点稳定子群的大小，则EKR性质成立。
• 应用群论构造方法：证明若直积或半直积的所有因子均具有EKR性质，则其积也具有该性质。
• 使用$t$-相交集合的概念——即至少共享$t$个不动点的排列——来构造EKR性质不成立的反例。
• 分析稳定子群及其陪集，以判断它们是否为唯一达到最大独立集的集合，从而检验严格EKR条件。
• 利用对称群与交错群的已知结果，为新群族建立归纳与比较论证。

实验结果

研究问题

• RQ1 所有循环群是否都满足严格EKR性质，若是，为何其相交集合恰好与点稳定子群的陪集一致？
• RQ2 哪些二面体群和Frobenius群满足EKR性质，且在何种条件下满足严格EKR性质？
• RQ3 若各因子群均具有EKR性质，则其外部与内部直积是否也具有EKR性质？
• RQ4 两个具有EKR性质的群的半直积是否也具有EKR性质？
• RQ5 能否在$\operatorname{Sym}(n)$中利用$t$-相交集合构造出不满足EKR性质的群？

主要发现

• 所有循环群均具有严格EKR性质，即唯一达到最大相交集合的集合是点稳定子群的陪集。
• 所有二面体群均具有严格EKR性质，确认其最大相交集合恰好为点稳定子群的陪集。
• 所有Frobenius群均具有EKR性质，且本文根据其结构特征刻画了哪些Frobenius群满足严格EKR性质。
• 具有EKR（或严格EKR）性质的群的外部与内部直积也继承了EKR（或严格EKR）性质。
• 两个具有EKR性质的群的半直积也具有EKR性质，从而将该性质扩展至更广泛的群构造类别。
• 存在不具有EKR性质的群，例如当$t \geq 4$时，$\operatorname{Sym}(8)$在$t$-相交作用下，存在比点稳定子群更大的$t$-相交集合。