[论文解读] Covers, preenvelopes, and purity

Henrik Holm, Peter Jørgensen|ArXiv.org|Nov 20, 2006

Algebraic structures and combinatorial models参考文献 10被引用 8

一句话总结

本文证明：一个在纯商模下封闭的模类是预覆盖的，当且仅当它是覆盖的，且这恰好发生在该类在直和下也封闭时。此外，若此类类包含基环，并在扩张、直和、纯子模及纯商模下封闭，则其构成一个完美余挠对的第一部分，这比覆盖性更强。

ABSTRACT

We show that if a class of modules is closed under pure quotients, then it is precovering if and only if it is covering, and this happens if and only if it is closed under direct sums. This is inspired by a dual result by Rada and Saor\'ın. We also show that if a class of modules contains the ground ring and is closed under extensions, direct sums, pure submodules, and pure quotients, then it forms the first half of a so-called perfect cotorsion pair as introduced by Salce; this is stronger than being covering. Some applications are given to concrete classes of modules such as kernels of homological functors and torsion free modules in a torsion pair.

研究动机与目标

• 通过聚焦于在纯商模下封闭的预覆盖与覆盖类，建立对 Rada 和 Saorín 关于预包络类结果的对偶。
• 研究模块类成为覆盖类的条件，特别是通过在纯商模与直和下的封闭性。
• 证明在附加封闭条件（包括包含基环及在扩张下的封闭性）下，该类构成一个完美余挠对。
• 将这些结果应用于具体类，如同调函子的核与挠对中的挠自由模。
• 在遗传型有限的挠对背景下，推广并强化相对同调代数中关于覆盖类的现有结果。

提出的方法

• 使用纯正合序列及纯商模的定义，分析模块类的封闭性质。
• 应用 Rada 和 Saorín 关于预包络类结果的对偶，推导预覆盖与覆盖类的条件。
• 通过同调技巧与分解性质，证明在纯商模下封闭的类是覆盖的，当且仅当其在直和下也封闭。
• 利用挠对的结构——特别是遗传型与有限型——来证明其在纯子模与商模下的封闭性。
• 通过定理 3.4 建立：若一个类在扩张、直和、纯子模与纯商模下封闭，且包含基环，则其构成一个完美余挠对。
• 使用同调函子（Ext¹, Tor₁）定义并分析模块类，如 Ker(Ext¹(A, −))、Ker(Tor₁(B, −)) 与 Ker(Ext¹(−, C))。

实验结果

研究问题

• RQ1 在什么条件下，在纯商模下封闭的模块类也是覆盖的？
• RQ2 在纯商模下封闭的类中，直和封闭性如何与覆盖性相关？
• RQ3 在纯商模、直和、扩张与纯子模下封闭的类，何时构成一个完美余挠对？
• RQ4 在什么条件下，遗传型有限挠对中的挠自由类是覆盖的？
• RQ5 在适当的纯性与封闭性条件下，能否证明同调函子（Ext¹, Tor₁）的核是覆盖的？

主要发现

• 在纯商模下封闭的模类是预覆盖的，当且仅当它是覆盖的，且这恰好发生在该类在直和下也封闭时。
• 若一个类包含基环，并在扩张、直和、纯子模与纯商模下封闭，则其构成一个完美余挠对的第一部分。
• 在遗传型有限挠对中，挠自由类是覆盖的，如定理 4.8 所示。
• 当基环属于遗传型有限挠对中的挠自由类时，对 (F, F⊥) 构成一个完美余挠对，这意味着 F 是覆盖的，F⊥ 是包络的。
• 对于有限表示模类 A，类 Ker(Ext¹(A, −)) 在纯商模与直和下封闭，因此若 A 在直和下封闭，则该类是覆盖的。
• 对于任意模类 B，类 Ker(Tor₁(B, −)) 在纯商模与直和下封闭，因此在相同条件下是覆盖的。