불변인자

Invariant factor

PID(주요 이상영역)에 대한 모듈의 불변 인자는 이상영역에 걸쳐 정밀하게 생성된 모듈에 대한 구조 정리의 한 형태로 발생한다.

(가) 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장