[論文レビュー] 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-一様移行性という2つの新しい群論的概念を導入し、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

研究の動機と目的

• 1 ≤ k ≤ ⌊(n+1)/2⌋ の範囲で、[n] 上の任意のランクk変換aと組み合わせて正則半群を生成するようなSₙの部分群G ≤ Sₙを分類すること。
• 群の均一性の2つの新しい一般化、(k−1,k)-均一性とk-一様移行性を導入し、それらを分析すること。
• 構造的帰結を確立する：(k−1,k)-均一性を持つ群は、2つの例外を除き(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)への群の包含を仮説立てる。
• 変換半群の構造とイデムポテンの役割を用いて、ランクk写像aに対する⟨G,a⟩における正則性を分析する。

実験結果

リサーチクエスチョン

• RQ1 1 ≤ k ≤ ⌊(n+1)/2⌋ の範囲で、すべてのa ∈ Tₙのランクkに対して⟨G,a⟩が正則となるようなSₙの部分群G ≤ Sₙはどれか？
• RQ2 どのkについてk-一様移行性が(k−1)-一様移行性と同値となり、(k−1,k)-均一性の場合に例外があるか？
• RQ3 有限単純群の分類に依存せずに、k-一様移行性を特徴づけることは可能か？
• RQ4 線形群と特異行列から生成される半群における正則性条件の線形類似物は何か？
• RQ5 k-一様移行性を持つ群は、特にnが大きい場合に、PSL(d,q) や SL(n,q) を含む必要があるのか？

主な発見

• k ≤ ⌊(n+1)/2⌋ の範囲で、k-一様移行性を持つ群の分類は、2つの2均一群のクラスを除き完了している。
• すべての(k−1,k)-均一性を持つ群は、正確に2つの例外を除き(k−2,k−1)-均一性を持つ。
• k-一様移行性を持つ群は、例外なしに(k−1)-一様移行性を持つ。
• 1 ≤ k ≤ ⌊(n+1)/2⌋ の範囲で、任意のランクk変換と組み合わせて正則半群を生成する群の分類は完了しており、定理1.1を拡張している。
• n ≥ 12 のとき、G ≤ Sₙ がすべてのランク⌊n/2⌋のaに対して⟨G,a⟩が正則であれば、GはAₙまたはSₙでなければならない。
• 本稿は、群論的性質（移行性や均一性など）と半群の正則性との間の強い関係を確立し、完全な構造的特徴づけを提供している。