Let be an Integral domain. Then there is a Field s.t.

  1. (as Rings)
  2. Every element of can be written as for some . is the unique minimal field containing and it is called the field of fractions of .