[论文解读] 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}$ 中的乘法幂等元刻画投射模，推广了 [19] 中关于自同态表示的早期结果。
• 通过二元关系 $R$ 在 $Q$ 上的 $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] 中的自同态表示结果。
• 量勒斯的 $K_0$ 群可通过推广 [8] 中基于半环的构造方法来构建，从而将其适用范围扩展至量勒斯。
• 量勒斯及其模的同余完全由 $\bot$ 的同余类决定，该类对应一个理想。
• $R$-饱和元集合构成子量勒斯 $Q_R$，且拟闭核 $\rho_R$ 诱导的商同构于 $Q/\theta$，其中 $\theta$ 是由 $R$ 生成的同余。
• 对于量勒斯 $Q$ 中的任意理想 $i$，集合 $\{ (\bot, i) \}$-饱和元恰好为 $[i, \top]$，表明当 $\theta$ 是满足 $[\bot]_\theta = [\bot, i]$ 的最小同余时，有 $Q_R \cong Q/\theta$。
• 证明了半简单积分量勒斯恰好是空间框架，该结果源于理想-同余对应关系与饱和元结构。