![]()
Del mismo modo que partiendo del conjunto de los números enteros Z se construye el conjunto de los números racionales Q, partiendo de un dominio entero podemos construir un conjunto con estructura de cuerpo. El cuerpo así construido se llama cuerpo de cocientes.
Teorema: Cualquier dominio entero D puede agrandarse a un campo C, de modo que cualquier elemento de C puede expresarse como cociente de elementos de D.