Intereting Posts

Non-power-of-2 FFT's?
The norm of a $d$-tuple of operators in Hilbert space
Borel $\sigma$ algebra on a topological subspace.
how to show $SU(2)/\mathbb{Z}_2\cong SO(3)$
How to do +, -, *, / with number in a base b?
Why this two surfaces have one end?
Power series for complex exponential
Finding $\lim\limits_{x\to 0} \frac{a^x-1}{x}$ without L'Hopital and series expansion.
Evaluating $\int_0^1 \log \log \left(\frac{1}{x}\right) \frac{dx}{1+x^2}$
Determine y-coordinate of a 3rd point from 2 given points and an x-coordinate.
Cantor Set and Compact Metric Spaces
How to determine standard equation of a conic from the general second degree equation?
Homogeneous function in bounded mean oscillation BMO($\mathbb R^n$) space
Projection of a vector
Equivalent norms without Cauchy-Schwarz inequality

I’m stuck on the following question:

Let $R$ be a commutative ring with $1$, and $S \subseteq R$ a saturated multiplicative set (that is, $1 \in S$ and $x, y \in S$ if and only if $xy \in S$). Show that $R \setminus S$ is a union of prime ideals.

Here’s my attempt so far. If $a \in R \setminus S$, then the ideal $Ra$ does not intersect $S$, because if $ra$ were in $S$ for some $r \in R$, then $a$ would have to be in $S$. Thus, it follows by Zorn’s lemma that there exist ideals $I$ of $R$ *which are maximal with respect to the property that $I \cap S = \emptyset$*.

- Specific way of showing $\Bbb Z$ is not a Euclidean Domain when $d>2$
- Principal ideal domain not euclidean
- Real-world uses of Algebraic Structures
- Prove the center of $G$ cannot have order $p^{n-1}$
- How is a group made up of simple groups?
- The maximal subfield of $\mathbb C$ not containing $\sqrt2$

Let $I$ be any such ideal. If I can show that $I$ is prime, the conclusion will follow. Let $xy \in I$. I want to show that $x$ or $y$ is in $I$. Suppose $x \not\in I$. Then $I + Rx$ intersects $S$, so there exists $s \in S, a \in I, r \in R$ such that $s = a + rx$. Then $sy = ay + rxy \in I$, so $sy$, and hence $y$, cannot be in $S$.

Similarly if $y$ is not in $I$, then $x \not\in S$. So we are reduced to proving the following is impossible: $xy \in I$, $x$ and $y$ are not in $S$, but they aren’t in $I$ either.

- If $I = \langle 2\rangle$, why is $I$ not a maximal ideal of $\mathbb Z$, even though $I$ is a maximal ideal of $\mathbb Z$?
- R is a regular local ring of dimension $d$, and $I$ an ideal. If $R/I$ has depth $d − 1$, then $I$ is principal.
- Sylow questions on $GL_2(\mathbb F_3)$.
- The kernel of an action on blocks, specifically the action on the orbits of normal subgroup
- Algebraic closure for rings
- Hartshorne's proof of Proposition 2.5, Chapter II of his book Algebraic Geometry
- An application of Eisenstein's criterion
- Is every monoid isomorphic to its opposite
- Standard graded algebra
- Structure of Finite Commutative Rings

Show that if such $x,y$ exist, then $I$ is not maximal w.r.t. $I\cap S=\emptyset.$

Incidentally, you should adjust your maximality condition slightly to say that *for each* $a\in R\setminus S,$ there is an ideal $I$ with $a\in I$ such that $I$ is maximal w.r.t. $I\cap S=\emptyset.$ (Do you see why this adjustment is necessary?)

You need to show that if $x,y \notin I$, then $xy \notin I$. Consider the product $(I + (x))(I + (y)) \subseteq I + (xy)$.

Edit: Further details… (Spoiler alert.) See the original question for what $I$ is and why we need to show that $I$ is prime. Suppose to the contrary that $xy \in I$ for some $x,y \notin I$. Then $(I + (x))(I + (y)) = I^2 + xI + yI + (xy) \subseteq I$. Since $I + (x)$ and $I + (y)$ properly contain $I$, they must each contain an element of $S$, and hence their product contains an element of $S$. (Here we use the fact that $S$ is multiplicatively closed.) Thus $I$ contains an element of $S$, a contradiction.

- Closure of image by polynomial of irreducible algebraic variety is also irreducible algebraic variety
- Limit with a big exponentiation tower
- Why is the sheaf $\mathcal{O}_X(n)$ called the “twisting sheaf” (where $X=\operatorname{Proj}(S)$ for a graded ring $S$)?
- Are simply connected open sets in $\mathbb{R}^2$ homeomorphic to an open ball?
- Automorphisms of $k]$ which are also automorphisms of $k$
- Sum of primitive roots is congruent to $\mu(p-1)$ using Moebius inversion?
- How to prove that this subring is not noetherian?
- Finite mapping $f : \mathbb R^2 \to \mathbb R$
- Cardinality of Irrational Numbers
- Establishing additive and multiplicative inverses for a finite field
- Continuous functions are differentiable on a measurable set?
- limit in probability is almost surely unique?
- Computing the homology and cohomology of connected sum
- Notation: is it correct to state $3a=a3$?
- For a ring $R$ with a single proper ideal $I$, show that $I$ is prime