Hilbert's Theorem 90

Hilbert's Theorem 90

In number theory, Hilbert's Theorem 90 (or Satz 90) refers to an important result on cyclic extensions of number fields (or to one of its generalizations) that leads to Kummer theory. In its most basic form, it tells us that if "L"/"K" is a cyclic extension of number fields with Galois group "G" ="Gal"("L"/"K") generated by an element s and if a is an element of "L" of relative norm 1, then there exists b in "L" such that

:a = s(b)/b.

The theorem takes its name from the fact that it is the 90th theorem in Hilbert's famous "Zahlbericht" of 1897, although it is originally due to Kummer. Often a more general theorem due to Emmy Noether is given the name, stating that if "L"/"K" is a finite Galois extension of fields with Galois group "G" ="Gal"("L"/"K"), then the first cohomology group is trivial::"H"1("G", "L"×) = {1}

Examples

Let "L/Q" be the quadratic extension mathbb{Q}(sqrt{-1}) . The Galois group is cyclic of order 2, its generator s is acting via conjugation: : s:, , a+bsqrt{-1}mapsto a-bsqrt{-1} . An element x=a+bsqrt{-1} in "L" has norm xx^{s}=a^2 +b^2. An element of norm one corresponds to a rational solution of the equation "a2 +b2=1" or in other words, a point with rational coordinates on the unit circle. Hilbert's Theorem 90 then states that every element "y" of norm one can be parametrized (with rational "c,d") as : y=c+dsqrt{-1over{c-dsqrt{-1}=c^2-d^2}over{c^2+d^2+{2dcover{c^2+d^2sqrt{-1}which may be viewed as a rational parametrization of the rational points on the unit circle. Rational points , (x,y)=(a/c,b/c) on the unit circle x^2+y^2=1 correspond to Pythagorean triples, i.e triples ,(a,b,c) of integers satisfying , a^2+b^2=c^2 .

Cohomology

The theorem can be stated in terms of group cohomology: if "L"× is the multiplicative group of "L", then

:"H"1("G", "L"×) = {1}

provided that "G" is cyclic.

A further generalization using non-abelian group cohomology states that if "H" is either the general or special linear group over "L", then

:"H"1("G","H") = {1}.

This is a generalization since "L"× = GL1("L").

References

*Chapter II of J.S. Milne, "Class Field Theory", available at his website [http://www.jmilne.org/math] .
*J. Neukirch, A. Schmidt and K. Wingberg, "Cohomology of Number Fields", Grundlehren der mathematischen Wissenschaften. vol. 323, Springer-Verlag, 2000. ISBN 3-540-66671-0


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Hilbert-Schmidt theorem — In mathematical analysis, the Hilbert Schmidt theorem, also known as the eigenfunction expansion theorem, is a fundamental result concerning compact, self adjoint operators on Hilbert spaces. In the theory of partial differential equations, it is …   Wikipedia

  • Hilbert–Speiser theorem — In mathematics, the Hilbert–Speiser theorem is a result on cyclotomic fields, characterising those with a normal integral basis. More generally, it applies to any abelian extension K of the rational field Q . The Kronecker–Weber theorem… …   Wikipedia

  • Hilbert projection theorem — The Hilbert Projection Theorem is a famous result of convex analysis that says that for every point x in a Hilbert space H and every closed subspace M subset H, there exists a unique point m in M for which lVert x m Vert is minimized over M. A… …   Wikipedia

  • Hilbert's theorem (differential geometry) — In differential geometry, Hilbert s theorem (1901) states that there exists no complete regular surface S of constant negative Gaussian curvature K immersed in mathbb{R}^{3}. This theorem answers the question for the negative case of which… …   Wikipedia

  • Hilbert's fourteenth problem — In mathematics, Hilbert s fourteenth problem, that is, number 14 of Hilbert s problems proposed in 1900, asks whether certain rings are finitely generated. The setting is as follows: Assume that k is a field and let K be a subfield of the field… …   Wikipedia

  • Hilbert-Schmidt — In mathematics, Hilbert Schmidt may refer to* a Hilbert Schmidt operator; ** a Hilbert Schmidt integral operator; * the Hilbert Schmidt theorem …   Wikipedia

  • Hilbert's tenth problem — is the tenth on the list of Hilbert s problems of 1900. Its statement is as follows:Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it… …   Wikipedia

  • Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… …   Wikipedia

  • Hilbert's problems — are a list of twenty three problems in mathematics put forth by German mathematician David Hilbert at the Paris conference of the International Congress of Mathematicians in 1900. The problems were all unsolved at the time, and several of them… …   Wikipedia

  • Hilbert's Nullstellensatz — (German: theorem of zeros, or more literally, zero locus theorem – see Satz) is a theorem which establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry, an important branch of… …   Wikipedia

Share the article and excerpts

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