불변인자
Invariant factorPID(주요 이상영역)에 대한 모듈의 불변 인자는 주 이상영역에 걸쳐 정밀하게 생성된 모듈에 대한 구조 정리의 한 형태로 발생한다.
이 (가) PID 및 인 경우 미세하게 된 R -module
for some integer and a (possibly empty) list of nonzero elements for which .음이 아닌 정수 을(를 모듈 M {\ M}의 자유 순위 또는 베티 번호라고 하며 ,m 는 의 불변인자로, 연관성에 따라 고유하다.
PID에 대한 행렬의 불변 인자는 Smith 정상 형태에서 발생하며 발전기 집합과 관계에서 모듈 구조를 계산하는 수단을 제공한다.
참고 항목
참조
- B. Hartley; T.O. Hawkes (1970). Rings, modules and linear algebra. Chapman and Hall. ISBN 0-412-09810-5. 8장, 페이지 128.
- 제3.7장, 제153장