Loading AI tools
From Wikipedia, the free encyclopedia
In mathematics, the residue field is a basic construction in commutative algebra. If R is a commutative ring and m is a maximal ideal, then the residue field is the quotient ring k = R/m, which is a field.[1] Frequently, R is a local ring and m is then its unique maximal ideal.
In abstract algebra, the splitting field of a polynomial is constructed using residue fields. Residue fields also applied in algebraic geometry, where to every point x of a scheme X one associates its residue field k(x).[2] One can say a little loosely that the residue field of a point of an abstract algebraic variety is the 'natural domain' for the coordinates of the point.[clarification needed]
Suppose that R is a commutative local ring, with maximal ideal m. Then the residue field is the quotient ring R/m.
Now suppose that X is a scheme and x is a point of X. By the definition of scheme, we may find an affine neighbourhood U = Spec(A) of x, with A some commutative ring. Considered in the neighbourhood U, the point x corresponds to a prime ideal p ⊆ A (see Zariski topology). The local ring of X at x is by definition the localization Ap of A by A \ p, and Ap has maximal ideal m = p·Ap. Applying the construction above, we obtain the residue field of the point x :
One can prove that this definition does not depend on the choice of the affine neighbourhood U.[3]
A point is called K-rational for a certain field K, if k(x) = K.[4]
Consider the affine line A1(k) = Spec(k[t]) over a field k. If k is algebraically closed, there are exactly two types of prime ideals, namely
The residue fields are
If k is not algebraically closed, then more types arise, for example if k = R, then the prime ideal (x2 + 1) has residue field isomorphic to C.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.