有限群的独立性和强独立性复形

Independence and strong independence complexes of finite groups

摘要 Abstract

设 $G$ 是一个有限群。2024年,Cameron 引入了有限群子集的两个不同概念的独立性(即独立性和强独立性),从而定义了两个单纯复形,其顶点为 $G$ 的元素。强独立性复形 $\tilde\Sigma(G)$ 实际上是独立性复形 $\Sigma(G)$ 的子复形。我们讨论了这些复形的一些不变性质,并基于我们的结果和构造的例子提出了一些问题。随后,我们研究了有限交换群上的特殊情形,给出了实现这些复形的有限群的刻画。最后,回答了 Cameron 提出的一个问题,我们对所有两种独立性概念一致的有限群进行了分类。

Let $G$ be a finite group. In 2024, Cameron introduced two different concepts of independence (namely independence and strong independence) for the subsets of $G$, yielding to the definition of two simplicial complexes whose vertices are the elements of $G$. The strong independence complex $\tilde\Sigma(G)$ turns out to be a subcomplex of the independence complex $\Sigma(G)$. We discuss several invariant properties related to these complexes and ask a number of questions inspired by our results and the examples we construct. We study then the particular case of complexes on finite abelian groups, giving a characterization of the finite groups realizing them. In conclusion, answering a question of Cameron, we classify all finite groups in which the two concepts of independence coincide.