Given an integral domain , the fraction field of is the localization of with respect to the multiplicative set . It is always a field.