Hilbert's syzygy theorem

Hilbert's syzygy theorem

In mathematics, Hilbert's syzygy theorem is a result of commutative algebra, first proved by David Hilbert (1890) in connection with the syzygy (relation) problem of invariant theory. Roughly speaking, starting with relations between polynomial invariants, then relations between the relations, and so on, it explains "how far" one has to go to reach a clarified situation. It is now considered to be an early result of homological algebra, and through the depth concept, to be a measure of the non-singularity of affine space.

Formal statement

A contemporary formal statement is the following. Let "k" be a field and "M" a module over the polynomial ring

:k [x_1,ldots,x_n] .

Hilbert's syzygy theorem then states that there exists a free resolution of "M" of length at most "n".

See also

* Quillen–Suslin theorem
* Hilbert polynomial

References

* David Eisenbud, "Commutative algebra. With a view toward algebraic geometry". Graduate Texts in Mathematics, 150. Springer-Verlag, New York, 1995. xvi+785 pp. ISBN 0-387-94268-8; ISBN 0-387-94269-6 MathSciNet|id=1322960


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Syzygy — In broadest terms, Syzygy (IPAEng|ˈsɪzɪʤi) is a kind of unity, especially through coordination or alignment, most commonly used in the astronomical and/or astrological sense. [http://dictionary.reference.com/search?q=Syzygy x=56 y=22 Syzygy… …   Wikipedia

  • David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • List of commutative algebra topics — Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative… …   Wikipedia

  • Global dimension — In ring theory and homological algebra, the global dimension (or global homological dimension; sometimes just called homological dimension) of a ring A denoted gl dim A , is a non negative integer or infinity which is a homological invariant of… …   Wikipedia

  • Módulo plano — En álgebra conmutativa, y geometría algebraica, un módulo plano sobre un anillo R es un R módulo M tal que se preserva sucesiones exactas al tomar el producto tensorial sobre R con M. Un módulo es fielmente plano si al tomar el producto tensorial …   Wikipedia Español

  • Buchberger's algorithm — In computational algebraic geometry and computational commutative algebra, Buchberger s algorithm is a method of transforming a given set of generators for a polynomial ideal into a Gröbner basis with respect to some monomial order. It was… …   Wikipedia

Share the article and excerpts

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