환론에서, '''유한 생성 가군'''(有限生成加群, )은 유한 계수의 자유 가군의 몫가군이다. 즉, 유한 개의 생성원과 (유한 또는 무한 개의) 관계로 나타내어지는 가군이다. == 정의 == 모든 환은 1을 가지며, 모든 가군은 1을 보존한다고 하자. === 유한 생성 가군 === 위의 왼쪽 가군 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 왼쪽 가군을 '''유한 생성 왼쪽 가군'''(有限生成-加群, )이라고 한다. (A) 되는 자연수 자유 가군의 부분 가군 존재한다. 즉, 충분히 자연수 대하여, -왼쪽 가군의 완전열 존재한다. (B) 임의의 부분 가군들의 집합 대하여, 만약 이라면, 되는 유한 집합 존재한다. (C) 임의의 부분 가군의 오름 사슬 대하여, 만약 이라면, 되는 존재한다. (D) 임의의 집합 전사 사상 대하여, 역시 전사 사상이 되게 하는 유한 집합 존재한다. (가군의 범주에서 전사 사상은 전사 함수인 가군 준동형과 일치한다.) 위의 왼쪽 가군 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 왼쪽 가군을 '''유한 쌍대 생성 왼쪽 )이라고 한다. (B′) 임의의 부분 가군들의 집합 대하여, 만약 이라면, 되는 유한 집합 존재한다. (C′) 임의의 부분 가군의 내림 사슬 대하여, 만약 이라면, 되는 존재한다. (D′) 임의의 집합 단사 사상 대하여, 역시 단사 사상이 되게 하는 유한 집합 존재한다. (가군의 범주에서 단사 사상은 단사 함수인 가군 준동형과 일치한다.) 오른쪽 가군에 대해서도 마찬가지로 '''유한 생성 오른쪽 가군'''과 '''유한 쌍대 생성 오른쪽 가군'''을 정의할 있다. 조건 (B) (C) (B′) (C′)은 의존하지 않으므로, 유한 생성성 유한 쌍대 생성성은 모리타 동치 불변 성질이다. 특히, 정의 (B) (B′)은 일반위상수학의 콤팩트 공간의 정의와 유사하다. (C) (C′)은 각각 특정 사슬 (즉, 합이 전체 가군이 되는 오름 사슬 교집합이 영가군이 되는 내림 사슬)에 대한 오름 사슬 조건 내림 사슬 조건이며, 이를 모든 사슬에 대하여 일반화한다면 뇌터 가군 아르틴 가군의 개념을 얻는다. 위의 왼쪽 가군 대하여 다음 조건이 서로 동치이며, 이를 만족시키는 왼쪽 가군을 '''유한 표시 왼쪽 가군'''(有限表示-加群, )이라고 한다. 되는 자연수 -가군 준동형 존재한다. 즉, 충분히 자연수 대하여, -왼쪽 가군의 완전열 존재한다. 전사 사상이 되는 자연수 존재하며, 전사 사상이 되는 모든 자연수 대하여, 유한 생성 가군이다. (이 조건이 서로 동치라는 것은 섀뉴얼 보조정리를 사용하여 쉽게 보일 있다.) === 유한 생성 가군층 === 유한 생성 가군과 유한 표시 가군의 개념은 가군층으로 일반화할 있다. 유한 생성 가군의 일반화는 '''유한 생성 가군층'''(有限生成加群層, 또는 '''유한형 가군층'''(有限型加群層, )이라고 한다. 구체적으로, 달린 공간 주어졌다고 하자. -가군층 다음 조건을 만족시킨다면 '''유한 생성 가군층'''이라고 한다. 임의의 대하여, 층의 완전열 존재하게 되는 열린 근방 자연수 존재한다. 유한 표시 가군의 일반화는 '''유한 표시 가군층'''(有限表示加群層, )이라고 한다. 구체적으로, 달린 공간 위의 -가군층 다음 조건을 만족시킨다면 '''유한 표시 가군층'''이라고 한다. 임의의 대하여, 층의 완전열 존재하게 되는 열린 근방 자연수 존재한다. 유한 생성 가군/유한 표시 가군의 정의에 등장하는 자연수 임의의 기수로 일반화한다면, 각각 '''국소 단면 생성 개념을 얻는다. (물론, 모든 가군은 이렇게 정의된 개념들을 자동적으로 만족시킨다. 즉, 모든 가군은 준연접층을 정의한다.) === 아벨 범주에서의 유한 생성 대상 === 보다 일반적으로, 아벨 범주 대상 다음 조건을 만족시킨다면, '''유한 생성 대상'''(有限生成對象, )이라고 한다. 부분 대상 부분 순서 집합 속의 상향 부분 집합 대하여, 만약 이라면, 존재한다. 아벨 범주 유한 생성 대상 다음 조건을 만족시킨다면, '''유한 표시 대상'''(有限表示對象, )이라고 한다. 임의의 유한 생성 대상 전사 사상 대하여, 유한 생성 대상이다. === 유한 스킴 사상 === 대수기하학에서, 유한 생성 가군의 개념은 다음과 같은 형태로 사용된다. 가환환 사이의 준동형 주어졌을 때, 통해 -가군을 이룬다. 만약 -유한 생성 가군이라면, '''유한 준동형'''(有限準同型, )이라고 한다. 개념은 스킴에 대하여 쉽게 일반화할 있다. 스킴 사상 주어졌다고 하자. 임의의 대하여, 다음 조건을 만족시키는 아핀 열린 근방 존재한다면, '''유한 사상'''(有限寫像, )이라고 한다. 원상 아핀 스킴 이며, 위의 유한 생성 가군을 이룬다. 가환환 사이의 준동형 유한 생성 가군이 되는 것은 유한 생성 가환 결합 대수가 되는 것보다 매우 강한 조건이며, 따라서 유한 사상은 유한형 사상보다 매우 강한 조건이다. == 성질 == 가군 '''극대 부분 가군'''은 전체가 아닌 부분 가군 가운데 극대 원소인 것이다. 마찬가지로, '''극소 부분 가군'''은 아닌 부분 가군 가운데 극소 원소인 것이다 (즉, 단순 가군인 부분 가군이다). 초른 보조정리에 의하여, 다음이 성립한다. 0이 아닌 모든 유한 생성 가군은 극대 부분 가군을 갖는다. 0이 아닌 모든 유한 쌍대 생성 가군은 극소 부분 가군을 갖는다. 반단순 가군에 대하여 다음 조건이 서로 동치이다. 유한 생성 가군이다. 유한 쌍대 생성 가군이다. 유한 생성 가군의 모든 몫가군은 유한 생성 가군이다. 유한 쌍대 생성 가군의 모든 부분 가군은 유한 쌍대 생성 가군이다. 왼쪽 가군의 짧은 완전열 대하여, 다음이 성립한다. 만약 유한 생성 가군이라면 역시 유한 생성 가군이다. 만약 유한 쌍대 생성 가군이라면 역시 유한 쌍대 생성 가군이다. === 가군 성질의 필요 충분 조건 === 위의 왼쪽 가군 대하여 다음 조건이 서로 동치이다. 뇌터 가군이다. 모든 부분 가군이 유한 생성 가군이다. 위의 왼쪽 가군 대하여 다음 조건이 서로 동치이다. 아르틴 가군이다. 모든 몫가군이 유한 생성 가군이다. 임의의 왼쪽 가군 대하여 다음 조건이 서로 동치이다. 유한 생성 가군이다. 근기 잉여적 부분 가군이며, 유한 생성 가군이다. 임의의 왼쪽 가군 대하여 다음 조건이 서로 동치이다. 유한 쌍대 생성 가군이다. 주각 본질적 부분 가군이자 유한 생성 가군이다. == == 정수환 위의 유한 생성 가군은 유한 생성 아벨 군과 같은 개념이다. 임의의 대하여, 준동형 생각하자. 그렇다면 위의 유한 생성 가군을 이룬다. 즉, 이로부터 유도되는 아핀 스킴 사상 유한 사상이다. == 참고 문헌 == == 외부 링크 == 분류:가군론