I would like to ask a question on localisation. It says $A-\mathfrak{p}$ is a multiplicative closed subset if and only if $\mathfrak{p}$ is a prime ideal. But how do I show that $\mathfrak{p}$ is a prime ideal? (Page 38) I can't get to show that $\mathfrak{p}$ is closed under addition and multiplication, much less an ideal! Help appreciated!
Tell me more
×
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.
|
|
|||||
|
|
He means that an ideal $\mathfrak{a}$ is prime iff $A \setminus \mathfrak{a}$ is multiplicatively closed. Note the latter is equivalent to $xy \not\in \mathfrak{a}$ for all $x,y \not\in \mathfrak{a}$, which is equivalent to $x \in \mathfrak{a}$ or $y \in \mathfrak{a}$ if $xy \in \mathfrak{a}$. |
|||
|
|
|
Here $\mathfrak{p}$ is assumed to be an ideal. And to show the relation, remember that $xy \in \mathfrak{p} \implies x$ or $y$ in $\mathfrak{p}$ is equivalent to $x,y \notin \mathfrak{p} \implies xy \notin \mathfrak{p}$. |
|||
|
|
