Units with no finite prime-union complement

ID: units-with-no-finite-prime-union-complement

In , the saturated multiplicative subset has complement equal to the union of over all positive primes. No finite subcollection of prime ideals covers this complement: a prime outside the finite list is a nonunit not in any listed ideal.

New to topics? Read the docs here!