主理想整環上的有限生成模及其分解

module Tag

2026

09-26

主理想整環上的有限生成模及其分解