射影加群
しゃえいかぐん
名詞
標準
projective module
作例 · 標準
環論のゼミで、射影加群の自由加群に対する特徴付けを証明する。
幻辭AI · gemini-3-flash-preview
短完全系列が分裂するための条件として、射影加群の概念が重要になる。
幻辭AI · gemini-3-flash-preview
この空間の構造を理解するために、射影加群としての性質を詳しく調べる。
幻辭AI · gemini-3-flash-preview
ウィキペディア
数学において、射影加群(しゃえいかぐん、英: projective module）とは、 表現可能関手 Hom(P, –) が完全となるような加群 P のことである。 自由加群の一般化に相当する。 ホモロジー代数学における基本的な概念のひとつであり、Cartan & Eilenberg (1956)で導入された。
出典: 射影加群 — ウィキペディア / CC BY-SA 4.0