The localization of a ring consists of pairs modulo
for some . Addition and multiplication are
The localization is the zero ring exactly when , which means that some is zero. Thus . This holds exactly when contains a nilpotent element: if and , multiplicative closure gives , while zero itself is nilpotent.
Let . Since becomes invertible in and , every becomes zero. The map
is therefore a well-defined ring isomorphism, with inverse .
For a subring , let
If is in lowest terms, Bézout gives integers with , so
Every prime divisor of then satisfies . Conversely, every rational whose denominator uses only primes in lies in . Hence all intermediate rings are exactly
where is generated by an arbitrary set of primes. For example, , so .
For , choose a monic equation over ,
Choose nonzero with for every . Multiplying by shows that satisfies
whose coefficients lie in . Thus and

Articles by others on the same topic (0)

There are currently no matching articles.