Saturated complement as a union of prime ideals

ID: saturated-complement-as-a-union-of-prime-ideals

The complement of a multiplicative subset is a union of prime ideals exactly when the subset is saturated. If , saturation ensures ; extend this to a prime ideal avoiding a multiplicative subset. Conversely, a product in cannot have a factor in a prime ideal contained in the complement.

New to topics? Read the docs here!