射影加群
(射影次元 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/08/25 18:04 UTC 版)
数学において、射影加群(しゃえいかぐん、英: projective module）とは、 表現可能関手 Hom(P, –) が完全となるような加群 P のことである。 自由加群の一般化に相当する。 ホモロジー代数学における基本的な概念のひとつであり、Cartan & Eilenberg (1956)で導入された[1]。
- ^ Weibel 1999, p. 816.
- ^ Anderson & Fuller 1992 17.1. Proposition(p.192), 17.2. Proposition(p.192), 岩永 & 佐藤 2002 補題 6-2-1(p.201)
- ^ Weibel 1994, Example 2.2.2.
- ^ Anderson & Fuller 1992, p. 193.
- ^ 岩永 & 佐藤 2002, p. 128.
- ^ Weibel 1994, Proposition 4.3.1.
- ^ Weibel 1994, Definition 2.2.4.
- ^ Weibel 1994, Lemma 4.1.6.
[続きの解説]
- 射影次元のページへのリンク
