Polynomial ring Field of rational functions Let be an integral domain and be the polynomial ring over in indeterminate , which is itself an integral domain The field of rational functions in indeterminate consists of ratios of polynomials in indeterminate #m/def/ring where , and is the field of fractions and a division algebra over . Proof#missing/proof Properties Lower bound on the dimension of the field of rational functions #state/develop | #lang/en | #SemBr