「射影加群」の版間の差分
削除された内容 追加された内容
ARAKI Satoru (会話 | 投稿記録) +Cartan-Eilenberg(1956) |
編集の要約なし |
||
23行目:
* 任意の加群 {{mvar|M}} に対して {{math|Ext(''P'', ''M'') {{=}} 0}}
* 任意の加群 {{mvar|M}} と正の[[整数]] {{mvar|n}} に対して {{math|Ext<sup>''n''</sup>(''P'', ''M'') {{=}} 0}}
* 任意の全射 {{math|''f'' : ''N'' → ''M''}} と射 {{math|''g'' : ''P'' → ''M''}} に対して {{math|''
:[[Image:Projective module.png]]
|