주 아이디얼 정역: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
52번째 줄:
주 아이디얼 정역 <math>R</math> 위의 임의의 유한 생성 가군 <math>M</math>은 다음과 같이 나타낼 수 있다.
:<math>M\cong\bigoplus_{i=1}^n R/(d_i)</math>
:<math>R^\times\not\ni d_1\mid d_2\mid\cdots\mid d_n</math>
여기서 <math>(d_i)</math>는 <math>R</math>의 아이디얼들이며, 유일하다. 이를 <math>M</math>의 '''불변 인자 분해'''({{llang|en|invariant factor decomposition}})라고 한다.
| |||