Definition:Saturated Multiplicatively Closed Subset of Ring

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a commutative ring with unity.

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


Then $S$ is saturated if and only if it equals its saturation, that is:

$x, y \in A, xy \in S \implies x,y \in S$


Sources