Namespaces
Variants
Actions

Field of fractions

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 13-XX [MSN][ZBL]

of an integral domain $R$; quotient field, field of quotients

The smallest field containing the integral domain $R$, considered as fractions with elements of $R$ as numerator and denominator. The construction generalises the construction of the rational numbers from the ring of integers.

Let $S$ denote $R \setminus {0}$: since $R$ is an integral domain, $S$ is closed under multiplication. Define an equivalence $\sim$ on $R \times S$ by $$ (x,y) \sim (u,v) \Leftrightarrow xv = yv \ . $$ We denote the equivalence class of $(x,y)$ by $x/y$ and the quotient by $F$. Operations are defined on $F$ by $$ x/y + u/v = (xv+yu)/yv $$ and $$ x/y \cdot u/v = (xu)/(yv) \ . $$ These definitions are compatible with the relation $\sim$, that is, do not depend on the choice of representative of the equivalence classes.

It may be verified that $F$ becomes a field under these operations, and the map from $R$ to $F$ by $x \mapsto x/1$ is an embedding. The field of fractions has the universal property that if $R$ embeds in a field $K$ then the embedding extends to an embedding of $F$ into $K$.

In the opposite direction, given a field $F$, every subring $R$ of $F$ is necessarily an integral domain. We can identify the field of fractions of $R$ with the set $\{ ab^{-1} : a \in R, b \in R\setminus\{0\}\}$ as a subfield of $F$.

See Fractions, ring of for more general constructions.

References

  • P.M. Cohn, Skew Field Constructions, London Mathematical Society lecture note series 27, Cambridge University Press (1977) ISBN 0-521-21497-1
How to Cite This Entry:
Field of fractions. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Field_of_fractions&oldid=54629