Definition:Field of Quotients
Definition
Let $D$ be an integral domain.
Let $F$ be a field.
Definition 1
A field of quotients of $D$ is a pair $\struct {F, \iota}$ where:
- $(1): \quad$ $F$ is a field
- $(2): \quad$ $\iota : D \to F$ is a ring monomorphism
- $(3): \quad \forall z \in F: \exists x \in D, y \in D_{\ne 0}: z = \dfrac {\map \iota x} {\map \iota y}$
Definition 2
A field of quotients of $D$ is a pair $\struct {F, \iota}$ such that:
- $(1): \quad F$ is a field
- $(2): \quad \iota: D \to F$ is a ring monomorphism
- $(3): \quad$ If $K$ is a field with $\iota \sqbrk D \subset K \subset F$, then $K = F$.
That is, the field of quotients of an integral domain $D$ is the smallest field containing $D$ as a subring.
Definition 3
A field of quotients of $D$ is a pair $\struct {F, \iota}$ where:
- $(1): \quad$ $F$ is a field
- $(2): \quad$ $\iota : D \to F$ is a ring monomorphism
- $(3): \quad$ it satisfies the following universal property:
- For every field $E$ and for every ring monomorphism $\varphi: D \to E$, there exists a unique field homomorphism $\bar \varphi: F \to E$ such that $\varphi = \bar \varphi \circ \iota$
Definition 4
A field of quotients of $D$ is a pair $\struct {F, \iota}$ which is its total ring of fractions, that is, the localization of $D$ at the nonzero elements $D_{\ne 0}$.
Also defined as
It is common to define a field of quotients simply as a field $F$, instead of a pair $\struct {F, \iota}$. The embedding $\iota$ is then implicit.
The field of quotients can also be defined to be the explicit construction from Existence of Field of Quotients.
Also known as
Since the construction of the field of quotients $F$ from an integral domain $D$ mirrors the construction of the rationals from $\Z$, $F$ is sometimes called the field of fractions or fraction field of $D$.
Some sources prefer the term quotient field, but this can cause confusion with similarly named but unrelated concepts.
Common notations include $\map {\operatorname {Frac} } D$, $\map Q D$ and $\map {\operatorname {Quot} } D$.
Also see
- Equivalence of Definitions of Field of Quotients
- Existence of Field of Quotients, where it is shown that the field of quotients always exists
- Field of Quotients is Unique, which justifies the use of the definite article
- Results about fields of quotients can be found here.
Generalizations
Sources
As such, the following source works, along with any process flow, will need to be reviewed.
If you have access to any of these works, then you are invited to review this list, and make any necessary corrections.
When you have done this, move the citation of that source work (if it is appropriate that it stay on this page) above this message, into the usual chronological ordering.
When this has been done for all of the sources below, {{SourceReview}} should be removed from the code.
- 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 7$: Homomorphisms and quotient algebras