[論文レビュー] 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

ひとこと要約

この論文は、F₂ 上の3次元ベクトル空間から得られる正則二重順序集合の構造を用いて、非自由な最大部分群を持つ自由冪等生成半群の最初の既知の例を、Nambooripad の正則二重順序集合理論に対する位相的アプローチを用いて構成した。著者らは、F₂ 上の3次元ベクトル空間から導かれる正則二重順序集合に対して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₂ 上の3次元ベクトル空間の構造から、特定の部分空間に対応する冪等元と関係を用いて正則二重順序集合 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₂ 上の3次元ベクトル空間から導かれる有限正則二重順序集合 E を構成し、これにより自由正則冪等生成半群 RIG(E) を得た。
• RIG(E) の特定の冪等元における最大部分群は、ランク2の自由アーベル群、すなわち Z × Z に同型である。
• これは、いかなる自由冪等生成半群に対しても、非自由な最大部分群が存在する最初の既知の例であり、このような部分群は常に自由であるという予想が反証されたことを示している。
• 基本群が Z × Z に同型である2次複体 K(E) の位相的構成により、ホモトピー的手法を用いて群構造が確認された。
• 半群内の冪等元は F₂³ 上のアフィン関数として作用し、ブロックの逆像構造は群族の作用に対応し、位相的および代数的整合性が保たれている。
• 結果は一般化され、任意の体 F に対して、F 上の3×3行列の二重順序集合 E₃(F) は、最大部分群が F の乗法的群に同型であることを示した。これには、素数冪 pⁿ に対する有限巡回群（位数 pⁿ−1）が含まれる。