[论文解读] Two Generalizations of Homogeneity in Groups with Applications to Regular Semigroups

João Araüjo, Peter J‎. Cameron|arXiv (Cornell University)|Apr 10, 2012

semigroups and automata theory参考文献 22被引用 5

一句话总结

本文引入了两个新的群论概念——(k−1,k)-同态性与k-通用横截性质，并对满足k ≤ ⌊(n+1)/2⌋的群完成了对这些性质的分类。主要贡献在于完整分类了与任意秩k变换组合时能生成正则半群的群，解决了半群理论中长期存在的问题，并通过关于群在集合与划分上的作用的深刻结构结果，将该问题与置换群理论联系起来。

ABSTRACT

Let $X$ be a finite set such that $|X|=n$ and let $i\leq j \leq n$. A group $G\leq \sym$ is said to be $(i,j)$-homogeneous if for every $I,J\subseteq X$, such that $|I|=i$ and $|J|=j$, there exists $g\in G$ such that $Ig\subseteq J$. (Clearly $(i,i)$-homogeneity is $i$-homogeneity in the usual sense.) A group $G\leq \sym$ is said to have the $k$-universal transversal property if given any set $I\subseteq X$ (with $|I|=k$) and any partition $P$ of $X$ into $k$ blocks, there exists $g\in G$ such that $Ig$ is a section for $P$. (That is, the orbit of each $k$-subset of $X$ contains a section for each $k$-partition of $X$.) In this paper we classify the groups with the $k$-universal transversal property (with the exception of two classes of 2-homogeneous groups) and the $(k-1,k)$-homogeneous groups (for $2

研究动机与目标

• 对满足G ≤ Sₙ的群G进行分类，使得对任意[n]上的秩k变换a，⟨G,a⟩为正则半群，其中1 ≤ k ≤ ⌊(n+1)/2⌋。
• 引入并分析群同态性的两个新推广：(k−1,k)-同态性与k-通用横截性质。
• 建立结构化推论：(k−1,k)-同态群也是(k−2,k−1)-同态群（仅有两个例外），且具有k-通用横截性质的群必然具有(k−1)-通用横截性质（无例外）。
• 为将结果推广至线性代数与矩阵理论奠定基础，包括有限域上及其线性群的类比。
• 提出群论、半群论与矩阵论中的开放问题，尤其关注线性群生成的半群中正则性与生成性的问题。

提出的方法

• 将(i,j)-同态性定义为：当i ≤ j时，存在群元素将任意i元子集映射到任意j元子集。
• 引入k-通用横截性质：对任意k元子集I与[n]的任意k-划分P，存在g ∈ G，使得Ig是P的一个截面。
• 利用置换群理论中的分类结果，特别是关于本原群与本原单群的结果，对具有k-通用横截性质的群进行刻画。
• 应用(k−1,k)-同态群的分类结果，推导其在较低层次同态性与横截性质上的推论。
• 借助关于子空间上可递作用的已知结果（如Kantor定理），分析线性类比，并推测群包含于SL(n,q)中。
• 利用变换半群的结构及幂等元的作用，分析⟨G,a⟩在秩k映射a下的正则性。

实验结果

研究问题

• RQ1 哪些子群G ≤ Sₙ满足：对所有1 ≤ k ≤ ⌊(n+1)/2⌋的秩k变换a ∈ Tₙ，均有⟨G,a⟩为正则半群？
• RQ2 在何种k下，k-通用横截性质等价于(k−1)-通用横截性质？(k−1,k)-同态性情形是否存在例外？
• RQ3 是否可以不依赖有限单群分类，对k-通用横截性质进行刻画？
• RQ4 由线性群与奇异矩阵生成的半群中，正则性条件的线性类比是什么？
• RQ5 是否所有满足k-通用横截性质的群必然包含PSL(d,q)或SL(n,q)，尤其在n较大时？

主要发现

• 本文对满足k ≤ ⌊(n+1)/2⌋的k-通用横截性质的群完成了完整分类，仅排除两类2-同态群。
• 所有(k−1,k)-同态群均为(k−2,k−1)-同态群，且仅有两个例外。
• 具有k-通用横截性质的群必然具有(k−1)-通用横截性质，且无例外。
• 对与任意秩k变换组合时能生成正则半群的群的分类工作已完整完成，适用于1 ≤ k ≤ ⌊(n+1)/2⌋，并扩展了定理1.1。
• 结果表明：当n ≥ 12时，若G ≤ Sₙ使得对所有秩⌊n/2⌋的a均有⟨G,a⟩为正则半群，则G必为Aₙ或Sₙ。
• 本文建立了群论性质（如横截性与同态性）与半群正则性之间的强关联，提供了完整的结构刻画。