Los racionales forman un dominio de factorización única ya que todo racional diferente de cero puede descomponerse en la forma: formula_64 donde formula_65 son números enteros primos, formula_66 (siendo algunos de ellos negativos si "q" no es entero) y formula_67.