主理想整环上的纯子模与有限生成模
주이상정배상적순자모여유한생성모