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!