展开 唯一分解环必是主理想环