Domain prime localizations do not imply a domain
ID: domain-prime-localizations-do-not-imply-a-domain
The ring , for a field , has two prime ideals, and . Their localizations at a prime ideal are both isomorphic to . Nevertheless is a product of nonzero elements, so is not an integral domain. Nonzero orthogonal idempotents separate the two components of its spectrum of a commutative ring.
New to topics? Read the docs here!