Definition
Rational-function field F_2(t)
Rational-function field F_2(t) with its specified scalar field, operations, and categorical structure.
The rational-function field is the fraction field of the polynomial ring . An element is a quotient , with and ; two fractions agree when cross multiplication gives the same polynomial.
Global and local roles
This is a global function field. Its places include those attached to monic irreducible polynomials and the place at infinity. Completing at gives , which is a different field.
Scalar conventions
The constants embed as . A homomorphism over the constant field fixes these constants, while an abstract field map need not fix each of them when is not prime. No topology is part of this bare global-field record.