# Definition:Saturation of Multiplicatively Closed Subset of Ring

Jump to navigation
Jump to search

This page has been identified as a candidate for refactoring of basic complexity.In particular: multiple definitionsUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

Let $A$ be a commutative ring with unity.

Let $S \subseteq A$ be a multiplicatively closed subset.

### Definition 1

The **saturation** of $S$ is the smallest saturated multiplicatively closed subset of $A$ containing $S$.

That is, it is the intersection of all saturated multiplicatively closed subsets containing $S$.

Due to the organization of pages at $\mathsf{Pr} \infty \mathsf{fWiki}$, this argument is circular.In particular: this is a general issue with definitions of examples of closure operatorsYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving this issue.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{CircularStructure}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

### Definition 2

The **saturation** of $S$ is the set of divisors of elements of $S$.

### Definition 3

The **saturation** of $S$ is the set of elements whose image in the localization $A_S$ is a unit of $A$.

### Definition 4

The **saturation** of $S$ is the complement relative to $A$ of the union of prime ideals that are disjoint from $S$:

- $\ds \map {\operatorname {Sat} } S = A \setminus \bigcup \set {\mathfrak p \in \Spec A: \mathfrak p \cap S = \O}$