请输入您要查询的字词:

 

单词 ExactSequencesForModulesWithFiniteProjectiveDimension
释义

exact sequences for modules with finite projective dimension


PropositionPlanetmathPlanetmath. Let R be a ring and M be a (left) R-module, such that proj dim(M)=n<. If

0KPnP0M0

is an exact sequencePlanetmathPlanetmathPlanetmathPlanetmath of R-modules, such that each Pi is projective, then K is projective.

Proof. Since proj dim(M)=n<, then there exists exact sequence of R-modules

0PnP0M0,

Note that sequencesPlanetmathPlanetmath

PnP0M0;
PnP0M0,

are projective resolutions of M. Let δ:PnPn-1 and β:PnPn-1 be maps take from these resolutions. Then generalized Schanuel’s lemma implies that kerδ and kerβ are projectively equivalent. But kerδK and kerβ=0. This means, that there are projective modulesMathworldPlanetmath P,Q such that

KPQ.

Therefore K is a direct summand of a free moduleMathworldPlanetmathPlanetmath (since Q is), which completesPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath the proof.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 17:40:47