Saturated subset: Difference between revisions
(New page: ==Definition== A subset in a commutative unital ring is termed a '''saturated subset''' if it satisfies the following equivalent conditions: * It contains <math>1</math>, it is [[mul...) |
m (2 revisions) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
A subset in a [[commutative unital ring]] is termed a '''saturated subset''' if it satisfies the following equivalent conditions: | A subset in a [[commutative unital ring]] is termed a '''saturated subset''' if it satisfies the following equivalent conditions: | ||
* It contains <math>1</math>, it is [[multiplicatively closed subset|multiplicatively closed]], and if a product of two elements lies in the subset, so do both the elements. | * It contains <math>1</math> and does not contain <math>0</math>, it is [[multiplicatively closed subset|multiplicatively closed]], and if a product of two elements lies in the subset, so do both the elements. | ||
* It is the complement of a union of [[prime ideal]]s | * It is the complement of a union of [[prime ideal]]s | ||
Latest revision as of 16:34, 12 May 2008
Definition
A subset in a commutative unital ring is termed a saturated subset if it satisfies the following equivalent conditions:
- It contains and does not contain , it is multiplicatively closed, and if a product of two elements lies in the subset, so do both the elements.
- It is the complement of a union of prime ideals
