Domínio de integridade

Para todo domínio de integridade D existe um corpo K, D ⊆ K , {\displaystyle D\subseteq K,} tal que todo elemento de K pode ser escrito da forma a/b, sendo a , b ∈ D . {\displaystyle a,b\in D.} Este é o corpo de frações de D, e é único no seguinte sentido algébrico: se K 1 {\displaystyle K_{1}} é outro corpo K 1 ⊇ D {\displaystyle K_{1}\supseteq D} em que todo elemento de K 1 {\displaystyle K_{1}} pode ser escrito como a/b com a , b ∈ D , {\displaystyle a,b\in D,} então K e K 1 {\displaystyle K_{1}} são isomorfos.