Definition:Field of Quotients

Definition
Let $D$ be an integral domain.

Let $F$ be a field.

Also known as
Since the construction of $F$ from $D$ mirrors the construction of the rationals from $\Z$, $F$ is sometimes called the field of fractions, fraction field or field of quotients of $D$.

Common notations include $F = Q \left({D}\right)$ and $F = \operatorname{Frac} D$.

Also see

 * Equivalence of Definitions of Quotient Field
 * Existence of Quotient Field, where it is shown that the quotient field always exists. It is constructed by creating the inverse of every element of $D$ in a maximally efficient way.
 * Quotient Field is Unique, which justifies the use of a definite article
 * Definition:Localization of Ring