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 mapis therefore a well-defined ring isomorphism, with inverse .
Articles by others on the same topic
There are currently no matching articles.