안정적 자유 모듈
Stably free module수학에서 안정적 자유형 모듈은 자유형에 가까운 모듈이다.
정의
링 R 위에 미세하게 생성된 모듈 M은 R 위에 자유롭고 미세하게 생성된 모듈 F와 G가 있다면 안정되게 자유롭다.
특성.
- 투영 모듈은 유한 자유 분해능을 가진 경우에만 안정되게 자유롭다.[1]
- 무한히 생성된 모듈은 그것이 무료인 경우에만 안정되게 무료다.[2]
참고 항목
참조
- ^ Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
- ^ Lam, T. Y. (1978). Serre's Conjecture. p. 23.