Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

For a noetherian ring $R$, let $x\in R$ be a non-zerodivisor of an $R$-module $M$. Then this is a well-known fact:

$$\dim M/xM \leq \dim M-1.$$

I saw a proof for the case of finitely generated $M$. I wonder if there is a proof of this fact in the general case.

And, perhaps, is it possible to prove this fact using Krull's Principal Ideal Theorem?

share|improve this question
1  
Hi! Remember that not everyone might recognize your abbreviations right away, so it's always good policy to type out things you normally abbreviate. –  rschwieb Dec 27 '12 at 14:50

1 Answer 1

up vote 1 down vote accepted

Take $\mathfrak p\in\operatorname{Supp}(M/xM)$. I claim that $\mathfrak p$ is not minimal in $\operatorname{Supp}(M)$ and this is enough to prove $\dim M/xM \leq \dim M-1$.

It is obvious that $\mathfrak p\in\operatorname{Supp}(M)$. Assume that $\mathfrak p$ is minimal in $\operatorname{Supp}(M)$. Then $\mathfrak p$ is minimal in $\operatorname{Ass}(M)$ (why?), so there exists $z\in M$, $z\neq 0$, such that $\mathfrak p=\operatorname{Ann}(z)$. On the other side, $\mathfrak p\in\operatorname{Supp}(M/xM)\Rightarrow x\in\mathfrak p\Rightarrow xz=0\Rightarrow z=0$, a contradiction.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.