请输入您要查询的字词:

 

单词 ProjectiveDimension
释义

projective dimension


Let 𝒜 be an abelian categoryMathworldPlanetmathPlanetmathPlanetmath and MOb(𝒜) such that a projective resolution of M exists:

\\xymatrix\\ar[r]&Pn\\ar[r]&\\ar[r]&P1\\ar[r]&P0\\ar[r]&M\\ar[r]&0.

Among all the projective resolutions of M, consider the subset consisting of those projective resolutions that contain only a finite number of non-zero projective objects (there exists a non-negative integer n such that Pi=0 for all in). If such a subset is non-empty, then the projective dimension of M is defined to be the smallest number d such that

\\xymatrix0\\ar[r]&Pd\\ar[r]&\\ar[r]&P1\\ar[r]&P0\\ar[r]&M\\ar[r]&0.

We denote this by pd(M)=d. If this subset is empty, then we define pd(M)=.

Remarks.

  1. 1.

    In an abelian category having enough projectives, the projective dimension of an object always exists (whether it is finite or not).

  2. 2.

    If pd(M)=d and

    \\xymatrix0\\ar[r]&Pd\\ar[r]&\\ar[r]&P1\\ar[r]&P0\\ar[r]&M\\ar[r]&0.

    Then Pi0 for all 0id.

  3. 3.

    pd(M)=0 iff M is a projective object.

  4. 4.

    In the (abelian) categoryMathworldPlanetmath of left (right) R-modules, the projective dimension of a left (right) R-module M is denoted by pdR(M).

Likewise, given an abelian category and a object N having at least one injective resolution. Then the injective dimension, denoted by id(N) is the minimum number d such that

\\xymatrix0\\ar[r]&N\\ar[r]&I0\\ar[r]&I1\\ar[r]&\\ar[r]&Id\\ar[r]&0,

if such an injective resolution exists. Otherwise, set id(N)=. This is the dual notion of projective dimension.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 0:21:16