일반화된 형식적 국소 공변량 모듈

Key Points

• 목적은 국소 환에 대한 유한 생성 모듈에 대한 일반화된 형식적 국소 공변량 모듈을 도입하고 정의하는 것이다.
• 이상 a에 관련된 유한 생성 모듈 M과 N에 대한 i번째 일반화된 형식적 국소 공변량 모듈의 정의.
• 역적 극한을 사용하여 공변량 모듈을 확립하며, 이는 0_{a}^i(M,N) = \underset{n}{\varprojlim} H_m^i(M,N/{a}^{n}N)로 정의된다 (i ≥ 0).
• 이러한 공변량 모듈과 관련된 소멸성과 유한성 특성을 조사한다.
• 일반화된 형식적 국소 공변량 모듈에 대한 이론적 기초의 확립.
• 주어진 M과 N에 대한 특정 소멸성 특성을 보여준다.
• 이러한 모듈이 유한 생성되는 시점을 나타내는 유한성 특성을 식별한다.