主题
Search

射影模


射影模推广了自由模的概念。在非零单位环 R 上的一个 M 是射影的,当且仅当它是某个自由模直和项,即某个直和  direct sum _IR 的直和项。这并不一定意味着 M 本身是 R 的某些副本的直和。反例由 M=Z 提供,它是环 R=Z direct sum Z 上的模,乘法定义为 (a direct sum b)·x=ax。因此,虽然自由模显然总是射影的,但反之通常不成立。然而,对于特定类型的环,例如,如果 R 是主理想域,或者域上的多项式环(Quillen 和 Suslin 1976),则反之亦成立。这意味着,例如,Q 是一个非射影的 Z-模,因为它不是自由模。

射影模的直和总是射影的,但此性质不适用于直积。例如,无限直积 Z×Z×... 不是射影的 Z-模。

根据其形式定义,一个模 M 是射影的,如果每当 M 是模 N 的商时,存在一个模 X,使得直和 M direct sum XN 同构(换句话说,MN 的直和项)。

射影模的概念也可以通过交换图分裂正合序列正合函子来描述。它与内射模的概念是对偶的。


参见

交换图, 问题, 忠实平坦模, 平坦模, 自由模, 内射模, Serre 问题

本条目由 Margherita Barile 贡献

使用 Wolfram|Alpha 探索

参考文献

Cartan H. and Eilenberg, S. "Projective Modules." §1.2 in Homological Algebra. Princeton, NJ: Princeton University Press, pp. 6-8, 1956.Hilton, P. J. and Stammbach, U. "Free and Projective Modules" and "Projective Modules over a Principal Ideal Domain." §4 and 5 in A Course in Homological Algebra, 2nd ed. New York: Springer-Verlag, pp. 22-28, 1997.Kunz, E. "Projective Modules." §3 in Introduction to Commutative Algebra and Algebraic Geometry. Boston, MA: Birkhäuser, pp. 110-112, 1985.Jacobson, N. "Projective Modules." §3.10 in Basic Algebra II. San Francisco, CA: W. H. Freeman and Company, pp. 148-155, 1980.Lam, T. Y. "Projective Modules." §2 in Lectures on Modules and Rings. New York: Springer-Verlag, pp. 21-59, 1999.Mac Lane, S. "Free and Projective Modules." in Homology. Berlin: Springer-Verlag, pp. 19-21, 1967.Northcott, D. G. "Projective Modules." §5.1 in An Introduction to Homological Algebra. Cambridge, England: Cambridge University Press, pp. 63-67, 1966.Passman, D. S. A Course in Ring Theory. Pacific Grove, CA: Wadsworth & Brooks/Cole, pp. 18-20, 1991.Rowen, L. H. "Projective Modules (An Introduction)." §2.8 in Ring Theory, Vol. 1. San Diego, CA: Academic Press, pp. 225-237, 1988.

在 Wolfram|Alpha 中被引用

射影模

请引用为

Barile, Margherita. "Projective Module." 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建. https://mathworld.net.cn/ProjectiveModule.html

主题分类