Dimension of an algebraic variety

﻿
Dimension of an algebraic variety

In mathematics, the dimension of an algebraic variety V in algebraic geometry is defined, informally speaking, as the number of independent rational functions that exist on V.

For example, an algebraic curve has by definition dimension 1. That means that any two rational functions F and G on it must satisfy some polynomial relation

P(F,G) = 0.

This implies that F and G are constrained to take related values (up to some finite freedom of choice): they cannot be truly independent.

Formal definition

For an algebraic variety V over a field K, the dimension of V is the transcendence degree over K of the function field K(V) of all rational functions on V, with values in K.

For the function field even to be defined, V here must be an irreducible algebraic set; in which case the function field (for an affine variety) is just the field of fractions of the coordinate ring of V. Using polynomial equations, it is easy to define sets that have 'mixed dimension': a union of a curve and a plane in space, for example. These fail to be irreducible.

References

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Algebraic variety — This article is about algebraic varieties. For the term a variety of algebras , and an explanation of the difference between a variety of algebras and an algebraic variety, see variety (universal algebra). The twisted cubic is a projective… …   Wikipedia

• Degree of an algebraic variety — The degree of an algebraic variety in mathematics is defined, for a projective variety V, by an elementary use of intersection theory. For V embedded in a projective space Pn and defined over some algebraically closed field K, the degree d of V… …   Wikipedia

• Function field of an algebraic variety — In algebraic geometry, the function field of an algebraic variety V consists of objects which are interpreted as rational functions on V . In complex algebraic geometry these are meromorphic functions and their higher dimensional analogues; in… …   Wikipedia

• Complete algebraic variety — In mathematics, in particular in algebraic geometry, a complete algebraic variety is an algebraic variety X, such that for any variety Y the projection morphism X × Y → Y is a closed map, i.e. maps closed sets onto closed sets.[1] The most common …   Wikipedia

• Dimension — 0d redirects here. For 0D, see 0d (disambiguation). For other uses, see Dimension (disambiguation). From left to right, the square, the cube, and the tesseract. The square is bounded by 1 dimensional lines, the cube by 2 dimensional areas, and… …   Wikipedia

• Dimension theory (algebra) — In mathematics, dimension theory is a branch of commutative algebra studying the notion of the dimension of a commutative ring, and by extension that of a scheme. See also Krull dimension Dimension of an algebraic variety Hilbert polynomial… …   Wikipedia

• Dimension (disambiguation) — A dimension is a spatial characteristic of an object; that is, length, width, or height. Dimension may also be: Contents 1 Science: 2 Mathematics: 3 Media: 4 Other …   Wikipedia

• Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… …   Wikipedia

• Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

• Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia