主理想及其商理想的维数

• The Dimension of principal ideal and its quotient