아르틴 환: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
21번째 줄:
좌 아르틴 환 <math>R</math> 위의 [[유한 생성 가군|유한 생성 좌가군]]은 아르틴 가군이다.<ref name="Lam"/>{{rp|21, Proposition 1.21}} (유사한 조건이 [[뇌터 가군]]에 대해서도 성립한다.)
환 <math>R</math> 위의 좌가군 <math>M</math>에 대하여, 다음 두 조건이 서로 [[동치]]이다.<ref name="Lam"/>{{rp|20, (1.19)}}
집합으로서 [[유한 집합]]인 가군은 뇌터 가군이자 [[아르틴 가군]]이다.▼
* <math>M</math>은 [[뇌터 가군]]이자 아르틴 가군이다.
* <math>M</math>은 유한한 길이의 [[합성열]]을 갖는다. 즉, <math>M_0\subsetneq M_1\subsetneq\cdots\subsetneq M_k=M</math>이 존재하며, <math>M_i/M_{i-1}</math>은 모두 [[단순 가군]]이다.
=== 아르틴 환 ===
| |||