展开 唯一分解整环但不是主理想整环