Field Theory/Quotient fields

Definition (quotient field):

Let be an integral domain. The quotient field of , often denoted , is defined to be the field of formal fractions

,

together with the multiplication and addition operations given by the formulae

and .