主题
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 贡献

使用 探索

参考文献

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.

在 中被引用

射影模

请引用为

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

主题分类