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]
Definition
editSuppose 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 :
- k(x) := Ap / p·Ap.
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]
Example
editConsider 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
- (t − a), a ∈ k
- (0), the zero-ideal.
The residue fields are
- , the function field over k in one variable.
![{\displaystyle k[t]_{(t-a)}/(t-a)k[t]_{(t-a)}\cong k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a77528d0510c9b72bdec0ee8597a1df6959000f4)
![{\displaystyle k[t]_{(0)}\cong k(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03d16e1fb2b97597a39a68b4a2e2de12bb638cb2)
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.
Properties
edit- For a scheme locally of finite type over a field k, a point x is closed if and only if k(x) is a finite extension of the base field k. This is a geometric formulation of Hilbert's Nullstellensatz. In the above example, the points of the first kind are closed, having residue field k, whereas the second point is the generic point, having transcendence degree 1 over k.
- A morphism Spec(K) → X, K some field, is equivalent to giving a point x ∈ X and an extension K/k(x).
- The dimension of a scheme of finite type over a field is equal to the transcendence degree of the residue field of the generic point.
See also
editReferences
edit- ^ Dummit, D. S.; Foote, R. (2004). Abstract Algebra (3 ed.). Wiley. ISBN 9780471433347.
- ^ David Mumford (1999). The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians. Lecture Notes in Mathematics. Vol. 1358 (2nd ed.). Springer-Verlag. doi:10.1007/b62130. ISBN 3-540-63293-X.
- ^ Intuitively, the residue field of a point is a local invariant. Axioms of schemes are set up in such a way as to assure the compatibility between various affine open neighborhoods of a point, which implies the statement.
- ^ Görtz, Ulrich and Wedhorn, Torsten. Algebraic Geometry: Part 1: Schemes (2010) Vieweg+Teubner Verlag.
Further reading
edit- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, section II.2