Here consists of the non-zero-divisors of a commutative ring . The localization map is injective: a fraction is zero only if some annihilates . For a reduced ring with finitely many minimal prime ideals, its zero divisors form the union of these primes. Indeed, if and avoids every minimal prime, reduction to each domain quotient forces into their intersection, which is zero. Conversely, for in a minimal prime , choose in every other minimal prime but outside , using their incomparability and multiplying suitable elements. Then and .
Articles by others on the same topic
In abstract algebra, the total ring of fractions is a construction that generalizes the concept of localization from integral domains to more general rings. Specifically, it provides a way to create a new ring that contains the original ring and allows for division by certain elements, including non-zero divisors. ### Definition: Given a ring \( R \) (not necessarily an integral domain) and a set \( S \) of elements in \( R \) that contains the non-zero divisors (i.e.