|
数学において、射影加群(しゃえいかぐん、)とは、 関手 が完全となるような加群 のことである。 自由加群の一般化に相当する。 ホモロジー代数学における基本的な概念のひとつ。 == 動機 == 一般の加群 に対して関手 は左完全である。 つまり任意の短完全列 : に対して : は完全である。 この関手 が完全となる、つまり : が完全となる加群 のことを射影加群と呼ぶ。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「射影加群」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Projective module 」があります。 スポンサード リンク
|