Residue field

Residue field

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. Frequently, "R" is a local ring and "m" is then its unique maximal ideal.

This construction is applied in algebraic geometry, where to every point "x" of a scheme "X" one associates its residue field "k"("x"). 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.

Definition

Suppose that "R" is a commutative local ring, with the 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", 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" in "x" is by definition the localization "R" = "Ap", with the maximal ideal "m" = "p·Ap". Applying the construction above, we obtain the residue field of the point "x" :

:"k"("x") := "A""p" / "p"·"A""p".

One can prove that this definition does not depend on the choice of the affine neighbourhood "U". [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.]

A point is called "K"-rational for a certain field "K", if "k"("x") ⊂ "K".

Example

Consider the affine line "A1k = 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

*k [t] _{(t-a)}/(t-a)k [t] _{(t-a)} cong k
*k [t] _{(0)} cong k(t), the function field over "k" in one variable.

If "k" is not algebraically closed, then more types arise, for example if "k" = ℝ, then the prime ideal ("x"2 + 1) has residue field isomorphic to ℂ.

Properties

* For a scheme 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.

Notes

References

* | year=1977, section II.2


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Residue number system — A residue number system (RNS) represents a large integer using a set of smaller integers, so that computation may be performed more efficiently. It relies on the Chinese remainder theorem of modular arithmetic for its operation, a mathematical… …   Wikipedia

  • Field extension — In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field which contains the base field and satisfies additional properties. For… …   Wikipedia

  • Field norm — In mathematics, the (field) norm is a mapping defined in field theory, to map elements of a larger field into a smaller one. Contents 1 Formal definitions 2 Example 3 Further properties 4 See also …   Wikipedia

  • Residue —   any organic matter left as residue, such as agricultural and forestry residue, including, but not limited to, conifer thinnings, dead and dying trees, commercial hardwood, noncommercial hardwoods and softwoods, chaparral, burn, mill,… …   Energy terms

  • Local field — In mathematics, a local field is a special type of field that is a locally compact topological field with respect to a non discrete topology.[1] Given such a field, an absolute value can be defined on it. There are two basic types of local field …   Wikipedia

  • p-adically closed field — In mathematics, a p adically closed field is a field that enjoys a closure property that is a close analogue for p adic fields to what real closure is to the real field. They were introduced by James Ax and Simon B. Kochen in 1965.[1] Contents 1… …   Wikipedia

  • Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

  • Quasi-finite field — In mathematics, a quasi finite field is a generalisation of a finite field. Standard local class field theory usually deals with complete fields whose residue field is finite , but the theory applies equally well when the residue field is only… …   Wikipedia

  • Quasi-algebraically closed field — In mathematics, a field F is called quasi algebraically closed (or C1) if for every non constant homogeneous polynomial P over F has a non trivial zero provided the number of its variables is more than its degree. In other words, if P is a non… …   Wikipedia

  • Conductor (class field theory) — In algebraic number theory, the conductor of a finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor is related to the Artin map. Contents 1 Local… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”