主題
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.tw/ProjectiveModule.html

主題分類