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 definitions Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. 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 operators You 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}$