Let $R$ be a noetherian locallocal ring and $I$ an ideal with ht $I=\mu(I)$ prove$\operatorname{ht}I=\mu(I)$. Prove that I$I$ is basic. recall (Recall that thean ideal $I$ is basic when it has no proper reduction.)
user26857
- 1.3k
- 14
- 30