[论文解读] Subgroups of free idempotent generated semigroups: full linear monoid

Mark Brittenham, Stuart Margolis+1 more|arXiv (Cornell University)|Sep 28, 2010

Advanced Topics in Algebra参考文献 15被引用 15

一句话总结

本文開發了拓撲工具以分析自由幂等生成半群中極大子群的性質，專注於域 $Q$ 上的全線性半群 $M_n(Q)$。研究證明，與秩-1 幂等矩陣相關的極大子群同構於乘法群 $Q^*$，從而在此背景下具體實現了一個非自由群，並深化了對此類半群中子群結構的理解。

ABSTRACT

We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix monoid of n x n matrices, n>2$ over a division ring Q has maximal subgroup isomorphic to the multiplicative subgroup of Q.

研究动机与目标

• 開發新的拓撲工具，以研究自由幂等生成半群（FIGS）的極大子群。
• 確定來自除環 $Q$ 上全線性半群 $M_n(Q)$ 的雙序集的 FIGS 中極大子群的結構。
• 解決 $IG(E(M_n(Q)))$ 中與秩-1 幂等矩陣對應的極大子群的同構類型。
• 探討與 $M_n(Q)$ 的雙序集相關的格雷厄姆-豪頓 2-複形的拓撲性質。
• 基於實驗證據，研究與中間秩的幂等矩陣 ($1 < k < n-1$) 對應的極大子群是否同構於 $GL_k(Q)$。

提出的方法

• 作者使用與正則雙序集 $E$ 相關的格雷厄姆-豪頓 2-複形 $GH(E)$，其基本群對應於 $IG(E)$ 的極大子群。
• 他們分析複形 $K_{n,1}$ 的 1-骨架的萬有覆疊，該複形參數化秩-1 幂等矩陣及其對偶，以證明其單連通。
• 透過證明 $K_{n,1}$ 的 1-骨架是單連通的，他們推導出其連通分支的基本群同構於 $Q^*$。
• 證明過程基於對 $n$ 的歸納法，利用路徑同倫與四邊形變換，顯示所有邊均同倫於某棵生成樹中的路徑。
• 他們應用覆疊空間與群作用理論，證明若萬有覆疊是單連通的，則基本群同構於 $RIG(E)$ 的極大子群。
• 該方法依賴於格拉斯曼流形結構中的幾何與組合技術，將頂點解釋為 $Q^n$ 中的 $k$-平面，邊解釋為關聯關係。

实验结果

研究问题

• RQ1 與 $IG(E(M_n(Q)))$ 中的秩-1 幂等矩陣對應的極大子群的同構類型為何？
• RQ2 能否使用拓撲方法，特別是覆疊空間與基本群的理論，來確定自由幂等生成半群中極大子群的結構？
• RQ3 與 $IG(E(M_n(Q)))$ 中的秩-$k$ 幂等矩陣對應的極大子群是否同構於 $GL_k(Q)$，其中 $1 < k < n-1$？
• RQ4 為何與秩-$n-1$ 幂等矩陣對應的極大子群是自由群，儘管 $GL_{n-1}(Q)$ 是非自由群？
• RQ5 能否分析中間 $k$ 對應的子複形 $\widetilde{K}_{n,k}$ 的拓撲複雜度，以揭示其群結構？

主要发现

• 與 $IG(E(M_n(Q)))$ 中的秩-1 幂等矩陣對應的極大子群同構於除環 $Q$ 的乘法群 $Q^*$。
• 與秩-1 幂等矩陣相關的複形 $K_{n,1}$ 的 1-骨架的萬有覆疊是單連通的，暗示其基本群同構於 $Q^*$。
• 證明的關鍵在於顯示 1-骨架中所有邊均可透過一連串四邊形變換，同倫於某棵生成樹中的路徑。
• 當 $n > 2$ 時，複形 $K_{n,1}$ 是連通的，且其萬有覆疊是單連通的，確認了拓撲結構支撐了群同構關係。
• 與秩-$n-1$ 幂等矩陣對應的極大子群是自由群，與預期 $GL_{n-1}(Q)$ 同構的猜想相矛盾。
• 作者猜想，當 $1 < k < n-1$ 且 $k < n/2$ 時，$IG(E(M_n(Q)))$ 中與秩-$k$ 幂等矩陣對應的極大子群同構於 $GL_k(Q)$，但此結論尚未得到證明。