Definition:Field of Quotients

Definition
Let $D$ be an integral domain.

Let $F$ be a field.

Also defined as
It is common to define a quotient field simply as a field $F$, instead of a pair $(F, \iota)$. The embedding $\iota$ is then implicit.

The quotient field can also be defined to be the explicit construction from Existence of Quotient 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 $\operatorname{Frac}(D)$, $Q \left({D}\right)$ and $\operatorname{Quot}(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

Generalizations

 * Definition:Total Ring of Fractions
 * Definition:Localization of Ring