1
$\begingroup$

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!

  • 1
    You need to at least assume $\frak{p}$ is an ideal, for instance, $\Bbb Z\setminus -\Bbb N$, the set of positive integers is a multiplicative subset of the commutative ring $\Bbb Z$, yet the negative numbers don't form an ideal.2012-11-04

2 Answers 2

2

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}$.

  • 0
    Thanks! This clears up so much air!2012-11-04
2

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}$.