•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

유한 생성 가군

(틀:가져옴)


有限生成加群 / Finitely-generated module

유한 생성 가군이란 유한 개의 생성원을 갖는 가군을 말한다.

TOC

1. 정의
2. 유한 계수의 자유 가군
3. PID 상의 유한 생성 가군
3.1. R이 PID일 때, 계수가 n인 자유 R-가군 M에 대해 M의 부분 가군 N 역시 자유 R-가군이고, 그 계수는 최대 n이다
3.1.1. 증명

1. 정의 (Edit) (-)

좌가군 의 임의의 원소 에 대해 를 만족하는 이 존재하도록 하는 이 존재하면, 을 유한 생성 가군이라 하고 의 생성원, 의 생성 집합이라 한다.

2. 유한 계수의 자유 가군 (Edit) (-)

이 가환환 일 때, 유한 생성 가군 의 생성 집합이 선형 독립이면 은 유한 계수의 자유 가군이 된다.

3. PID 상의 유한 생성 가군 (Edit) (-)

PID 상의 유한 생성 가군은 다음과 같은 몇 가지 성질을 가진다.

3.1. R이 PID일 때, 계수가 n인 자유 R-가군 M에 대해 M의 부분 가군 N 역시 자유 R-가군이고, 그 계수는 최대 n이다 (Edit) (-)

3.1.1. 증명 (Edit) (-)

수학적 귀납법을 사용하자. 일 때, 이므로 의 부분 가군 의 아이디얼로 생각할 수 있고, 은 PID이므로 가 존재한다.

만약 이면, 이므로 계수가 0인 자유 가군이 된다.

이면,이므로 계수가 1인 자유 가군이 된다.

이제 일 때 위 명제가 성립한다고 가정하자. 의 기저를 이라 하고, 로 생성되는 자유 가군을 라고 하면 는 계수가 인 자유 가군의 의 부분군이므로 자유 가군이 된다. 만약 이라면 는 계수가 인 자유 가군이 된다.

이라면 좌표로 보내는 사상 의 상 의 0이 아닌 이데알이 되고, 은 PID이므로 가 존재한다.

의 원소를 라 하면 임의의 에 대해 으로 표현 가능하고 이므로 , 는 계수가 인 자유 가군이 된다.