0
$\begingroup$

If $(R,m)$ is Noetherian, $P$ a prime ideal s.t. $R/P$ is 1 dim, then if $x\in R-P$, then rad$(x,P)=m$. I am looking to prove this statement but I am at a loss how to start. It's part of a proof that I am reading, but this statement appears without any further elaboration.

  • 1
    I'm afraid I don't know/remember what $\text{rad}(x,P)$ stands for, could someone remind me?2011-07-14
  • 1
    @Zev: It is the radical of the ideal generated by $x$ and $P$.2011-07-14
  • 0
    Should you exclude $x \notin \mathfrak{m}$?2011-07-14
  • 1
    @Dylan: Thanks. I have made the change.2011-07-15

1 Answers 1

3

Hint: $\operatorname{Rad}{(x,P)} = \displaystyle\bigcap_{I \in \mathrm{Spec R}, I \supset (x,P)} I.$

  • 1
    sweet, we don't even need Noetherianness.2011-07-15