Exercise 2218Algebra › Rings and fieldsM1Added 3 Nov 2026
Localization
#localization#fraction field#ring
Statement
Let be an integral domain. Show that embeds in its fraction field , and compute .
Hint
The fraction field consists of equivalence classes of pairs with , , under .
Show solutionHide solution
Solution
Equivalence. Define . This is an equivalence relation (reflexive, symmetric, transitive, using that is an integral domain for cancellation).
Field structure. Addition: . Multiplication: . These are well-defined. The zero is , the unit is . Every nonzero has inverse .
Embedding. by .
Example. : every with , , is a rational number, and every rational is of this form.
Conclusion. Every integral domain embeds in a field.