질문 있습니다
torsiob module, torsion free 를 정의 해 놓고
거기 아래 R 이 domain 일 경우 M/tM 이 torsion free 라고 했는데 이건 확인 했습니다
궁금한 점은 그래서 그 다음
“so every R-module is an extension of a torsion module by a torsion free moduel” 이란 말이 나오는데
저게 무슨 말인지, 왜 저런 결론이 나오는지 이해 못했습니다
도와주시면 감사하겠습니다
- dc official App
module에서 X/A = B 이면 X is an extension of A by B 라고 함 - dc App
그냥 저 exact sequence를 extension의 정의로 받아들이면 될까요 ? - dc App
@장사의신(223.38) 네 - dc App
@ㅇㅇ 47페이지에 정의 나옴
책 제목이 뭐죠
An Introduction to Homological Algebra, Rotman