[論文レビュー] Quantales and their modules: projective objects, ideals, and congruences

Ciro Russo|arXiv (Cornell University)|Jun 1, 2017

Advanced Algebra and Logic参考文献 15被引用数 7

ひとこと要約

この論文は、$Q^{X\times X}$ 内の乗法的冪等元を用いて、任意の量的半群上の射影的加群を特徴づけ、量的半群における $K_0$ 群の構成を導入し、飽和元を介して合同関係とイデアルの間の対応を確立することで、量的半群およびその加群上の合同関係が、下部要素の合同類からイデアル論的および核に基づく構成を用いて完全に回復可能であることを示している。

ABSTRACT

In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means of their ideals and of saturated elements w.r.t. a binary relation.

研究の動機と目的

• 自由加群の自己準同型を $Q^{X\times X}$ 内の代数的構造として表現することにより、量的半群上の加群理論を古典的理論へと拡張すること。
• 文献[8]における半環構成の一般化を用いて、量的半群の $K_0$ 群を定義し、その適用範囲を広げること。
• 量的半群およびその加群上の合同関係が、下部要素の合同類から再構成可能かどうかを調査すること。
• 飽和元および準閉核を介して、量的半群および量的半群加群におけるイデアルと合同関係の間の一対一対応を確立すること。
• 二項関係から誘導される量的核を用いた一般枠組みを提供し、単位的または可換でない場合にも適用可能な量的半群の商を構築すること。

提案手法

• $Q^{X\times X}$ と $\operatorname{End}_Q(Q^X)$ 間の量的半群同型を用いて、自由加群の自己準同型を量的半群の元として表現する。
• 乗法的冪等元を用いて $Q^{X\times X}$ 内の代数的構造として射影的加群を特徴づけ、先行研究における自己準同型表現の一般化を行う。
• $Q$ 上の二項関係 $R$ に対して、$R$-飽和元の集合を用いて量的半群 $Q$ 上の量的核 $\rho_R$ を定義する。
• 準閉核 $\rho_R$ の像を用いて量的半群 $Q$ の商を構成し、$Q/\ker\rho_R \cong Q_R$ を示す。
• 合同関係 $\theta$ における $\bot$ の合同類がイデアル $i$ に対応することを示し、$R = \{ (\bot, i) \}$ のとき $Q_R \cong Q/\theta$ が成り立つことを示す。
• 残留性およびラティス的性質（例：$a \leq s/b \Leftrightarrow ab \leq s$）を用いて、$\rho_R$ が $\rho_R(ab) \geq \rho_R(a)\rho_R(b)$ を満たす準閉核であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の量的半群上の射影的加群は、$Q^{X\times X}$ 内の自己準同型構造を用いて代数的に特徴づけられるか？
• RQ2 量的半群の $K_0$ 群はどのように定義され、量的半群加群理論の文脈でどのような意味を持つのか？
• RQ3 量的半群およびその加群上の合同関係は、下部要素の合同類からどの程度再構成可能か？
• RQ4 量的半群および量的半群加群におけるイデアルと合同関係の正確な関係は何か？
• RQ5 二項関係から導かれる準閉核を用いて、量的半群の合同関係による商を記述できるか？

主な発見

• 量的半群 $Q$ 上の射影的加群は、$Q^{X\times X}$ 内の乗法的冪等元の存在によって特徴づけられ、[19]における自己準同型表現の一般化を実現する。
• 文献[8]における半環に基づく構成の一般化を用いて、量的半群の $K_0$ 群を構成可能であり、その適用範囲が量的半群へと拡張される。
• 量的半群およびその加群上の合同関係は、$\bot$ の合同類によって完全に決定され、それがイデアルに対応する。
• 関係 $R$ に対する $R$-飽和元の集合は部分量的半群 $Q_R$ を形成し、準閉核 $\rho_R$ は $\theta$ を生成する合同関係に対して $Q/\theta$ に同型な商を誘導する。
• 任意の量的半群 $Q$ のイデアル $i$ に対して、$\{ (\bot, i) \}$-飽和元の集合はちょうど $[i, \top]$ に一致し、$\theta$ が $[\bot]_\theta = [\bot, i]$ を満たす最小の合同関係であるとき $Q_R \cong Q/\theta$ が成り立つ。
• 半単純で整数的量的半群は、まさに空間的フレームであることが示され、これはイデアル-合同関係の対応および飽和元の構造から導かれる。