[论文解读] Subgroups of free idempotent generated semigroups need not be free

Mark Brittenham, Stuart Margolis+1 more|ArXiv.org|Aug 13, 2008

Advanced Topology and Set Theory参考文献 13被引用 3

一句话总结

该论文通过使用Nambooripad关于正则双序集理论的拓扑方法，首次构造出自由幂等生成幺半群中非自由极大子群的已知例子。作者为一个源自F₂上三维向量空间的正则双序集构造了一个2复形，证明由此产生的自由正则幂等生成幺半群的极大子群同构于秩为2的自由交换群，从而推翻了长期以来认为此类子群必为自由群的猜想。

ABSTRACT

We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free abelian group of rank 2. This is the first example of a non-free subgroup of a free idempotent generated semigroup.

研究动机与目标

• 为反驳关于自由幂等生成幺半群的极大子群总是自由的长期猜想。
• 构造一个正则双序集的具体例子，其关联的自由幂等生成幺半群具有非自由的极大子群。
• 应用拓扑工具——特别是2复形和基本群族——研究自由幂等生成幺半群中极大子群的结构。
• 通过为正则双序集关联一个2复形，扩展Nambooripad的拟群范畴理论，从而实现对极大子群的同伦分析。

提出的方法

• 从F₂上的三维向量空间结构出发，构造一个正则双序集E，利用对应于某些子空间的幂等元及其关系。
• 为正则双序集E关联一个2复形K(E)，其基本群族同构于Nambooripad的群族N(E)。
• 利用Bass-Serre理论分析K(E)的基本群，该群对应于自由正则幂等生成幺半群RIG(E)的极大子群。
• 通过分析2复形的胞腔结构和黏合映射，证明K(E)的基本群同构于Z × Z，即秩为2的自由交换群。
• 验证幺半群中的幂等元在F₂³上作为仿射函数作用，且块的逆像结构保持群族构造所需的组合与拓扑性质。
• 利用有限域上矩阵幺半群的已知结果，确认同一群在其他构造中亦作为极大子群出现，从而强化结果的普遍性。

实验结果

研究问题

• RQ1 自由幂等生成幺半群的极大子群是否可能非自由，从而反驳长期以来认为其总是自由的猜想？
• RQ2 自由幂等生成幺半群在正则双序集上的极大子群背后存在何种拓扑或代数结构？
• RQ3 是否存在一个有限正则双序集，使得其关联的自由正则幂等生成幺半群的极大子群同构于Z × Z？
• RQ4 如何将Nambooripad的拟群范畴框架与拓扑方法结合，以分析极大子群的群结构？
• RQ5 F₂上有限几何中的组合构型能否产生自由幂等生成幺半群中新的非自由极大子群例子？

主要发现

• 本文构造了一个源自F₂上三维向量空间的有限正则双序集E，由此产生自由正则幂等生成幺半群RIG(E)。
• RIG(E)在特定幂等元处的极大子群同构于秩为2的自由交换群，即Z × Z。
• 这提供了迄今为止首个已知的自由幂等生成幺半群中非自由极大子群的例子，从而推翻了该类子群必为自由群的猜想。
• 通过构造一个基本群同构于Z × Z的2复形K(E)，以同伦方法确认了该群结构。
• 幺半群中的幂等元在F₂³上作为仿射函数作用，且块的逆像结构对应于群族的作用，保持了拓扑与代数的一致性。
• 通过推广表明，对任意域F，F上3×3矩阵的双序集E₃(F)所生成的极大子群同构于F的乘法群，其中包括素幂pⁿ的有限循环群，阶为pⁿ−1。