Definition:Field of Quotients

From ProofWiki
Jump to navigation Jump to search

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

  • Results about fields of quotients can be found here.


Generalizations


Sources