Total quotient ring: Difference between revisions
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
Let <math>R</math> be a [[commutative unital ring]]. The '''total quotient ring''' of <math>R</math>, denoted as <math>K(R)</math> is defined as the [[localization]] of <math>R</math> at its set of nonzerodivisors. | Let <math>R</math> be a [[commutative unital ring]]. The '''total quotient ring''' of <math>R</math>, denoted as <math>K(R)</math> is defined as the [[localization]] of <math>R</math> at its set of nonzerodivisors. | ||
This generalizes the notion of [[field of fractions]] for an [[integral domain]]. | |||
Revision as of 03:00, 9 August 2007
Definition
Let be a commutative unital ring. The total quotient ring of , denoted as is defined as the localization of at its set of nonzerodivisors.
This generalizes the notion of field of fractions for an integral domain.