[論文レビュー] Remarks on Semimodules

Bodo Pareigis, Helmut Röhrl|arXiv (Cornell University)|May 23, 2013

Advanced Algebra and Logic参考文献 2被引用数 10

ひとこと要約

本稿は、特に自然数の半環における半モジュール理論における普遍的構成、すなわち同値類化、直和、テンソル積について考察する。半モジュールはこれらの構成においてモジュールとは著しく異なる性質を示し、半環 $\mathbb{N}_0$ における半イデアルの完全な構造理論を確立する。また、任意の半イデアルの一意的な最小生成集合を計算するためのアルゴリズムも提供する。

ABSTRACT

This is a study of universal problems for semimodules, in particular coequalizers, coproducts, and tensor products. Furthermore the structure theory of semiideals of the semiring of natural numbers is extended.

研究の動機と目的

• 半モジュール理論における普遍的問題、特に同値類化、直和、テンソル積の分析を行い、これらがモジュール理論とは根本的に異なる挙動を示すことを明らかにすること。
• $\mathbb{N}_0$（0 を含む自然数の半環）における半イデアルの構造理論を、既知の結果をはるかに超えて拡張すること。
• $\mathbb{N}_0$ 内の任意の半イデアルに対して、最小生成集合の存在と一意性を証明し、その計算アルゴリズムを提供すること。
• テンソル積が $\mathbb{N}_0$-半モジュールの文脈でどのように振る舞うかを明らかにし、対称性および結合則の性質を解明すること。
• モジュールとは異なり、半モジュールの一部の構成が、期待される圏論的対称性（例えば $M \otimes_K N \cong N \otimes_K M$）を満たさない場合があることを示すこと。

提案手法

• 著者たちは、$R$-半モジュールの圏における同値類化、直和、テンソル積を、圏論的普遍的性質を用いて定義・分析する。
• 自由 $R$-半モジュールを普遍写像性質によって定義し、基底 $X$ を持つとき、$M \otimes_R RX$ の元が $\sum m_x \otimes x$ の形に一意に分解可能であることを示す。
• $\mathbb{N}_0$ 内の半イデアルに対して、生成元が2つの場合に $dT_n$ の生成元 $n$ を明示的に求める公式を導出する。
• 最大公約数と加法的閉包に基づき、$\mathbb{N}_0$ 内の任意の半イデアルの唯一の最小生成集合を計算する構成的アルゴリズムを導入する。
• 自然同型と可換図式を用いて、$\mathbb{N}_0$-半モジュールにおけるテンソル積の結合則および対称性を検証する。
• 準同型の持ち上げと普遍写像性質を用いて、$M$ と $N$ がそれぞれ $Y$ および $X$ 上で自由であるとき、$M \otimes_R N$ が $Y \times X$ 上で自由であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 半モジュールの圏における同値類化、直和、テンソル積は、モジュール理論におけるそれらとどのように異なるか？
• RQ2 特に2つの元で生成される場合に、半環 $\mathbb{N}_0$ 内の半イデアルの正確な構造は何か？
• RQ3 $\mathbb{N}_0$ 内のすべての半イデアルは、一意的な最小生成集合をもつのか？ もしそうならば、どのようにアルゴリズム的に計算できるか？
• RQ4 テンソル積 $\mathbb{N}_0$-半モジュールにおいて、対称性および結合則はどの程度満たされるか？
• RQ5 $K$ が可換であっても、$K$-半モジュールに対して $M \otimes_K N \not\cong N \otimes_K M$ となる場合があるのか？

主な発見

• $\mathbb{N}_0$ の各半イデアル $M$ は、生成集合の最大公約数を $d$ とすると、$dT_n$ の形の部分半イデアルを含み、$M$ が2つの元で生成されるとき $n$ は明示的に計算可能である。
• 本稿は、$\mathbb{N}_0$ のすべての半イデアルが一意に定まる最小の生成集合をもつことを証明しており、これは一般のモジュールでは成り立たない結果である。
• 最大公約数と加法的閉包に基づくアルゴリズムを用いて、この最小生成集合を計算可能であることを提供する。
• 2つの自由 $R$-半モジュール $M$ と $N$ のテンソル積 $M \otimes_R N$ は、それぞれの生成集合のカルテシアン積上での自由性を示す。
• 自然同型 $M \otimes_R RX \cong \bigoplus_{x \in X} M \cdot x$ が成り立ち、$u = \sum m_x \otimes x$ の分解は一意的である。
• 本稿は、$K$ が可換半環であっても、$M \otimes_K N \not\cong N \otimes_K M$ となる場合がある反例を提供しており、半モジュールでは一般に対称性が成立しないことを示している。