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!