The Dimension of principal ideal and its quotient

• 主理想及其商理想的维数