מושגי ליבה
ネットワーク上のパスを用いて構成された新しい代数的構造である「ネットワーク右 *-abundant 半群」とその構造、特徴、およびグラフ逆半群との関係性について解説する。
תקציר
本稿は、ネットワーク上のパスを用いて構成された新しい代数的構造である「ネットワーク右 *-abundant 半群」を導入し、その構造とグラフ逆半群との関係性を考察している研究論文である。
論文の構成と要約:
- 導入: グラフ上のパスを用いて構成されるグラフ逆半群は、多環式モノイドの一般化や環とC *-代数の研究に用いられる重要な代数的構造であることを紹介し、本稿では、グラフを拡張した概念であるネットワーク上のパスを用いて、新しい代数的構造である「ネットワーク右 *-abundant 半群」を構成することを目的とする。
- 準備: 右 abundant 半群、ネットワーク、簡約系などの基礎的な定義と結果をまとめる。特に、右 abundant 半群は、任意のL *-クラスに冪等元を含む半群であり、右 *-abundant 半群は、各L *-クラスに独自の冪等元を含む右 abundant 半群であることを説明する。
- 半群 QΓ: ネットワーク Γ 上のパスを用いて右 *-abundant 半群 QΓ を構成する。まず、ネットワーク Γ 上のパスに対して簡約系を定義し、それが合流的書き換えシステムであることを証明する。これにより、QΓ の各要素は、αβ−1 の形式のユニークな正規形を持つことが示される。さらに、QΓ の冪等元集合と正則元の特徴づけを行い、QΓ が右 *-abundant 半群であることを証明する。
- QΓ のイデアルと合同関係: QΓ の真のイデアル I を定義し、ρI = (I × I) ∪1QΓ が QΓ 上の冪等元分離合同関係であることを示す。また、QΓ が単項半群として *-合同関係自由でないための十分条件を与える。
- QΓ の冪等元とネットワークの同型性: 半群における自然な半順序の観点から QΓ の冪等元の性質を記述する。さらに、2 つのネットワークが同型であることと、対応するネットワーク右 *-abundant 半群が同型であることが同値であることを示す。
- 例: QΓ が、その部分半群である SΓ や RΓ を真に含むことを示す例を与える。
結論:
本稿では、ネットワーク上のパスを用いて新しい代数的構造である「ネットワーク右 *-abundant 半群」を導入し、その構造とグラフ逆半群との関係性を明らかにした。この研究は、グラフ理論と半群論の新たな接点を提供し、今後の発展が期待される。