호몰로지 차원

환론과 호몰로지 대수학에서 '''호몰로지 차원'''(homology次元, )은 환 및 그 가군 위에 정의될 수 있는 일련의 정수 값 차원들이다.
아래 정의에서, 항상
:
:
로 놓는다.
=== 함자의 차원 ===
두 아벨 범주 ,  사이의 가법 함자
:
가 주어졌다고 하자.
만약 가 단사 대상을 충분히 가지는 범주일 때, 의 '''코호몰로지 차원'''(cohomology次元, )은 다음과 같다.
:
여기서 은 차 오른쪽 유도 함자를 뜻한다.
만약 이라면 이다.
만약 가 사영 대상을 충분히 가지는 범주일 때, 의 '''호몰로지 차원'''(homology次元,)은 다음과 같다.
:
여기서 은 차 왼쪽 유도 함자를 뜻한다.
만약 이라면 이다.
=== 아벨 범주의 대상(가군)의 차원 ===
Ext 함자 및 Tor 함자는 유도 함자의 특수한 경우이다. 이들을 사용하여, 아벨 범주의 대상에 대하여 여러 차원들을 정의할 수 있다.
==== 사영 차원 ====
아벨 범주 의 대상 의 '''사영 차원'''(射影次元, )
:
은 다음과 같다.
:
여기서 은 모든 대상 에 대한 상한이며, 는 Ext 함자이다.
만약 가 사영 대상을 충분히 가지는 범주라면, 이는 다음과 같이 정의할 수도 있다.
* 은 의 사영 분해()  의 길이 들의 하한이다.
* 
특히, 영 대상 의 사영 차원은 이다.
==== 단사 차원 ====
아벨 범주 의 대상 의 '''단사 차원'''(單射次元, )
:
은 다음과 같다.
:
만약 가 단사 대상을 충분히 가지는 범주라면, 이는 다음과 같이 정의할 수도 있다.
* 은 의 단사 분해() 의 길이 들의 하한이다.
* 
특히, 영 대상 의 단사 차원은 이다.
==== 평탄 차원 ====
환  위의 오른쪽 가군 의 '''평탄 차원'''(平坦次元, ) 또는 '''약한 차원'''(弱-次元, )은 다음과 같다.
:
마찬가지로,  위의 왼쪽 가군 의 '''평탄 차원''' 또는 '''약한 차원'''은 다음과 같다.
:
이는  또는 의, 평탄 가군으로 구성된 분해의 길이들의 하한과 같다.
=== 아벨 범주(환)의 차원 ===
아벨 범주 의 '''대역 차원'''(大域次元, ) 는 다음과 같다.
:
만약 가 단사 대상을 충분히 가지는 범주라면, 이는 단사 차원의 상한과 같다.
:
만약 가 사영 대상을 충분히 가지는 범주라면, 이는 사영 차원의 상한과 같다.
:
환  위의 왼쪽 가군들의 아벨 범주 는 단사 대상을 충분히 가지는 범주이며 사영 대상을 충분히 가지는 범주이다. 또한, 환  위의 왼쪽 유한 생성 가군들의 아벨 범주 는 사영 대상을 충분히 가지는 범주이다. (그러나 이는 일반적으로 단사 대상을 충분히 가지는 범주이다.) 이 두 아벨 범주의 대역 차원은 일치하며, 이를
의 '''왼쪽 대역 차원'''()이라고 한다.
:
마찬가지로, (유한 생성) 오른쪽 가군들의 아벨 범주의 차원을 의 '''오른쪽 대역 차원'''(이라고 한다.
:
가환환의 경우 물론 왼쪽 대역 차원과 오른쪽 대역 차원이 일치한다. (비가환) (양쪽) 뇌터 환의 경우 왼쪽 대역 차원과 오른쪽 대역 차원이 서로 일치한다. 그러나 이는 일반적인 비가환환에 대하여 성립하지 않는다.
환 의 '''평탄 대역 차원'''(平坦大域次元, ) 또는 '''약한 대역 차원'''(弱-大域次元, ) 는 다음과 같다.
:
여기서 는 텐서곱 함자이다.
이 개념들 사이의 관계는 다음과 같다.
가군의 차원
 사영 차원 
 단사 차원 
 평탄 차원
 차원을 계산하는 가군 분해
 사영 가군 분해 
 단사 가군 분해 
 평탄 가군 분해
 대응하는 대역 차원
 대역 차원 
 평탄 대역 차원
 함자
  
  
 
 유도 함자
 Ext 함자 
 Tor 함자
=== 대역 차원 ===
가 (가환환이 아닐 수 있는) 뇌터 환이라면, 다음이 성립한다.
:
가 가환 뇌터 국소환이며, 그 극대 아이디얼이 이라면, 다음이 성립한다.
:
가환 뇌터 국소환 에 대하여, 다음 두 조건이 서로 동치이다.
* 대역 차원이 유한하다.
* 정칙 국소환이다.
또한, 가환 뇌터 정칙 국소환의 경우 대역 차원은 크룰 차원과 같다.
=== 오슬랜더-북스바움 공식 ===
가 가환 뇌터 국소환이며, 그 극대 아이디얼이 이며, 이  위의 유한 생성 아이디얼이며, 그 사영 차원이 유한하다고 하자. 그렇다면, 사영 차원과 가군의 깊이 사이에는 다음이 성립한다 ('''오슬랜더-북스바움 공식''' ).
:
=== 체 ===
체  위의 가군은 벡터 공간 이며, 이 경우 모든 가군이 단사 가군이자 사영 가군이다. 따라서, 양의 차원의 모든 벡터 공간의 사영 차원 · 단사 차원 · 평탄 차원이 0이다.
:
따라서, 체의 대역 차원과 평탄 대역 차원은 항상 0이다.
:
체는 가환 뇌터 정칙 국소환이므로, 체의 크룰 차원 역시 0이다. (이는 체의 스펙트럼이 한원소 공간이므로 자명하게 알 수 있다.)
=== 주 아이디얼 정역 ===
가 주 아이디얼 정역이라고 하자. 그렇다면, 다음 두 정리가 성립한다.
* 주 아이디얼 정역 위의 자유 가군의 부분 가군은 항상 자유 가군이다.
*:따라서, 임의의 -가군 은 와 같은 꼴(와 는 자유 가군)로 표현될 수 있다.
* 주 아이디얼 정역 위의 모든 사영 가군은 자유 가군이다. (이는 유한 생성 가군 조건이 없이도 성립한다.)
이에 따라, 주 아이디얼 정역 위의 가군 의 사영 차원과 평탄 차원은 다음과 같다.
 
 사영 차원 \operatorname{pd}_RM 
 평탄 차원 
 영가군 
 −∞ 
 −∞
 영가군이 아닌 자유 가군
 0 
 0
 자유 가군이 아닌 평탄 가군
 1 
 0
 평탄 가군이 아닌 가군
 1 
 1
특히, 체가 아닌 주 아이디얼 정역의 대역 차원은 1이다.
정수환  위의 가군은 아벨 군 이다. 정수환 위의 사영 가군 및 평탄 가군은 자유 아벨 군이며, 정수환 위의 단사 가군은 나눗셈군이다.
마찬가지로, 대역 차원이 1이므로, 주 아이디얼 정역 위의 모든 가군의 단사 차원은 다음과 같다.
 
 단사 차원 
 영가군 
 −∞
 영가군이 아닌 단사 가군 
 0
 단사 가군이 아닌 가군 
 1
=== 자명환 ===
자명환  위의 모든 가군은 자명군이다. 따라서, 그 대역 차원과 평탄 대역 차원은 이다.
=== 다항식환 ===
'''힐베르트 삭망 정리'''(Hilbert朔望定理, )에 따르면, 가 뇌터 가환환이며, 그 대역 차원이 유한하다면, 이다.
뇌터 가환환 위의 다항식환은 물론 뇌터 가환환이므로, 이를 반복하면 다음을 얻는다.
:
특히, 체  위의 다항식환 의 대역 차원은 이다. 또한, 이 경우, 모든 가군은 길이  이하의 자유 가군으로 구성된 사영 분해를 갖는다.
힐베르트 삭망 정리는 체의 경우 다비트 힐베르트가 1890년에 증명하였다.
* 
* 
* 
* 
* 
* 
분류:가군론
분류:호몰로지 대수학
분류:차원