Math 2.0

Field theory and polynomials Definition

Field of rational functions

Builds on FieldPolynomial ringField of fractions

Definition

Let KK be a field and let K[x]K[x] be the polynomial ring in one variable xx over KK. The field of rational functions K(x)K(x) is the field of fractions of K[x]K[x]. Its elements are the fractions p/qp/q with p,q∈K[x]p, q \in K[x] and q≠0q \ne 0, where p/q=p′/q′p/q = p'/q' if and only if pq′=p′qp q' = p' q. More generally, for variables x1,…,xnx_1, \dots, x_n, the field K(x1,…,xn)K(x_1, \dots, x_n) is the field of fractions of K[x1,…,xn]K[x_1, \dots, x_n].

Remarks

Example: x2−1x−1=x+11\frac{x^2 - 1}{x - 1} = \frac{x + 1}{1} in ℚ(x)\Q(x), since (x2−1)⋅1=(x+1)(x−1)(x^2 - 1) \cdot 1 = (x + 1)(x - 1). Non-example: no element p/qp/q of ℚ(x)\Q(x) satisfies (p/q)2=x(p/q)^2 = x, since p2=xq2p^2 = x q^2 would give 2deg⁡p=1+2deg⁡q2 \deg p = 1 + 2 \deg q, which is impossible. So K(x)⊃KK(x) \supset K is a field extension in which xx is transcendental over KK. An element of K(x)K(x) is a formal fraction, not a function on KK: over 𝔽2\F_2, the fraction 1x2+x\frac{1}{x^2 + x} is a nonzero element, although x2+xx^2 + x vanishes at every point of 𝔽2\F_2. Over ℝ\R or ℂ\C, the elements correspond to rational functions in the sense of analysis.

Reading path

To understand this page from the ground up, read these 10 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Ring definition
  3. Commutative ring definition
  4. Polynomial ring definition
  5. Unit of a ring definition
  6. Zero divisor definition
  7. Field definition
  8. Integral domain definition
  9. Field of fractions definition
  10. Field of rational functions definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Rational_function
About this page
TagJX6CHG7HWV
URIm2://JX6CHG7HWV
Kinddefinition
WritingW0 stub
MSC12F20, 13B30
DefinesField of rational functions
UsesField, Polynomial ring, Field of fractions
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.