# GetWiki

*Hilbert symbol*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

Hilbert symbol

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**Hilbert symbol**or

**norm-residue symbol**is a function (â€“, â€“) from

*K*Ã— Ã—

*K*Ã— to the group of

*n*th roots of unity in a local field

*K*such as the fields of reals or p-adic numbers . It is related to reciprocity laws, and can be defined in terms of the Artin symbol of local class field theory. The Hilbert symbol was introduced by {{harvs|txt|first=David|last=Hilbert|authorlink=David Hilbert|year=1897|loc=sections 64, 131|year2=1998|loc2=English translation}} in his Zahlbericht, with the slight difference that he defined it for elements of global fields rather than for the larger local fields.The Hilbert symbol has been generalized to higher local fields.

## Quadratic Hilbert symbol

Over a local field*K*whose multiplicative group of non-zero elements is

*K*Ã—,the quadratic Hilbert symbol is the function (â€“, â€“) from

*K*Ã— Ã—

*K*Ã— to {âˆ’1,1} defined by

(a,b)=begin{cases}+1,&mbox{ if }z^2=ax^2+by^2mbox{ has a non-zero solution }(x,y,z)in K^3;-1,&mbox{ otherwise.}end{cases}

### Properties

The following three properties follow directly from the definition, by choosing suitable solutions of the diophantine equation above:- If
*a*is a square, then (*a*,*b*) = 1 for all*b*. - For all
*a*,*b*in*K*Ã—, (*a*,*b*) = (*b*,*a*). - For any
*a*in*K*Ã— such that*a*âˆ’1 is also in*K*Ã—, we have (*a*, 1âˆ’*a*) = 1.

(

for any *a*,*b*1*b*2) = (*a*,*b*1)Â·(*a*,*b*2)*a*,

*b*1 and

*b*2 in

*K*Ã— is, however, more difficult to prove, and requires the development of local class field theory.The third property shows that the Hilbert symbol is an example of a Steinberg symbol and thus factors over the second Milnor K-group K^M_2 (K), which is by definition

*K*Ã— âŠ—

*K*Ã— / (

*a*âŠ— (1âˆ’

*a)*,

*a*âˆˆ

*K*Ã— {1})

### Interpretation as an algebra

The Hilbert symbol can also be used to denote the central simple algebra over*K*with basis 1,

*i*,

*j*,

*k*and multiplication rules i^2=a, j^2=b, ij=-ji=k. In this case the algebra represents an element of order 2 in the Brauer group of

*K*, which is identified with -1 if it is a division algebra and +1 if it is isomorphic to the algebra of 2 by 2 matrices.

### Hilbert symbols over the rationals

For a place*v*of the rational number field and rational numbers

*a*,

*b*we let (

*a*,

*b*)

*v*denote the value of the Hilbert symbol in the corresponding completion

**Q**

*v*. As usual, if

*v*is the valuation attached to a prime number

*p*then the corresponding completion is the p-adic field and if

*v*is the infinite place then the completion is the real number field.Over the reals, (

*a*,

*b*)âˆž is +1 if at least one of

*a*or

*b*is positive, and âˆ’1 if both are negative.Over the p-adics with

*p*odd, writing a = p^{alpha} u and b = p^{beta} v, where

*u*and

*v*are integers coprime to

*p*, we have

(a,b)_p = (-1)^{alphabetaepsilon(p)} left(frac{u}{p}right)^beta left(frac{v}{p}right)^alpha, where epsilon(p) = (p-1)/2

and the expression involves two Legendre symbols.Over the 2-adics, again writing a = 2^alpha u and b = 2^beta v, where *u*and

*v*are odd numbers, we have

(a,b)_2 = (-1)^{epsilon(u)epsilon(v) + alphaomega(v) + betaomega(u)}, where omega(x) = (x^2-1)/8.

It is known that if *v*ranges over all places, (

*a*,

*b*)

*v*is 1 for almost all places. Therefore, the following product formula

prod_v (a,b)_v = 1

makes sense. It is equivalent to the law of quadratic reciprocity.### Kaplansky radical

The Hilbert symbol on a field*F*defines a map

(cdot,cdot) : F^*/F^{*2} times F^*/F^{*2} rightarrow mathop{Br}(F)

where Br(*F*) is the Brauer group of

*F*. The kernel of this mapping, the elements

*a*such that (

*a*,

*b*)=1 for all

*b*, is the

**Kaplansky radical**of

*F*.Lam (2005) pp.450â€“451The radical is a subgroup of F*/F*2, identified with a subgroup of F*. The radical is equal to F* if and only if

*F*has

*u*-invariant at most 2.Lam (2005) p.451 In the opposite direction, a field with radical F*2 is termed a

**Hilbert field**.Lam (2005) p.455

## The general Hilbert symbol

If*K*is a local field containing the group of

*n*th roots of unity for some positive integer

*n*prime to the characteristic of

*K*, then the Hilbert symbol (,) is a function from

*K**Ã—

*K** to Î¼

*n*. In terms of the Artin symbol it can be defined byNeukirch (1999) p.333

(a,b)sqrt[n]{b} = (a,K(sqrt[n]{b})/K)sqrt[n]{b}

Hilbert originally defined the Hilbert symbol before the Artin symbol was discovered, and his definition (for *n*prime) used the power residue symbol when

*K*has residue characteristic coprime to

*n*, and was rather complicated when

*K*has residue characteristic dividing

*n*.

### Properties

The Hilbert symbol is (multiplicatively) bilinear:
(

skew symmetric:
*ab*,*c*) = (*a*,*c*)(*b*,*c*) (*a*,*bc*) = (*a*,*b*)(*a*,*c*)
(

nondegenerate:
*a*,*b*) = (*b*,*a*)âˆ’1
(

It detects norms (hence the name norm residue symbol):
*a*,*b*)=1 for all*b*if and only if*a*is in*K***n*
(

It has the "symbol" properties:
*a*,*b*)=1 if and only if*a*is a norm of an element in*K*({{radic|*b*|*n*}})
(

*a*,1â€“*a*)=1, (*a*,â€“a)=1.### Hilbert's reciprocity law

Hilbert's reciprocity law states that if*a*and

*b*are in an algebraic number field containing the

*n*th roots of unity thenNeukirch (1999) p.334

prod_p (a,b)_p=1

where the product is over the finite and infinite primes *p*of the number field, and where (,)

*p*is the Hilbert symbol of the completion at

*p*. Hilbert's reciprocity law follows from the Artin reciprocity law and the definition of the Hilbert symbol in terms of the Artin symbol.

### Power residue symbol

If*K*is a number field containing the

*n*th roots of unity,

*p*is a prime ideal not dividing

*n*, Ï€ is a prime element of the local field of

*p*, and

*a*is coprime to

*p*, then the power residue symbol ({{su|p=

*a*|b=

*p*}}) is related to the Hilbert symbol byNeukirch (1999) p.336

binom{a}{p} = (pi,a)_p

The power residue symbol is extended to fractional ideals by multiplicativity, and defined for elements of the number fieldby putting ({{su|p=*a*|b=

*b*}})=({{su|p=

*a*|b=(

*b*)}}) where (

*b*) is the principal ideal generated by

*b*.Hilbert's reciprocity law then implies the following reciprocity law for the residue symbol, for

*a*and

*b*prime to each other and to

*n*:

binom{a}{b}=binom{b}{a}prod_{p|n,infty}(a,b)_p

## External links

- {{eom|id=Norm-residue_symbol|title=Norm-residue symbol}}
- HilbertSymbol at Mathworld

## References

{{reflist}}- {{Citation | first1=Z. I. | last1=Borevich | author1-link=Zenon Ivanovich Borevich | first2=I. R. | last2=Shafarevich | author2-link=Igor Shafarevich | title = Number theory | publisher = Academic Press | year = 1966 | isbn=0-12-117851-X | zbl=0145.04902 }}
- {{Citation | last1=Hilbert | first1=David | author1-link=David Hilbert | title=Die Theorie der algebraischen ZahlkÃ¶rper | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002115344 | language=German | year=1897 | journal=Jahresbericht der Deutschen Mathematiker-Vereinigung | issn=0012-0456 | volume=4 | pages=175â€“546 }}
- {{Citation | last1=Hilbert | first1=David | author1-link=David Hilbert | title=The theory of algebraic number fields | url=https://books.google.com/books?id=_Q2h83Bm94cC | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-3-540-62779-1 |mr=1646901 | year=1998}}
- {{citation | title=Introduction to Quadratic Forms over Fields | volume=67 | series=Graduate Studies in Mathematics | first=Tsit-Yuen | last=Lam | authorlink=Tsit Yuen Lam | publisher=American Mathematical Society | year=2005 | isbn=0-8218-1095-2 | zbl=1068.11023 }}
- {{Citation | last1=Milnor | first1=John Willard | author1-link=John Milnor | title=Introduction to algebraic
*K*-theory | publisher=Princeton University Press | series=Annals of Mathematics Studies | mr = 0349811 | year=1971 | volume=72 | zbl=0237.18005 }} - {{citation | last=Neukirch | first=JÃ¼rgen | author-link=JÃ¼rgen Neukirch | title=Algebraic number theory | others=Translated from the German by Norbert Schappacher | series=Grundlehren der Mathematischen Wissenschaften | volume=322 | location=Berlin | publisher=Springer-Verlag | year=1999 | isbn=3-540-65399-6 | zbl=0956.11021 }}
- {{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=A Course in Arithmetic | publisher=Springer-Verlag | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-3-540-90040-5 | year=1996 | volume=7 | zbl=0256.12001 }}
- {{Citation | last1=Vostokov | first1=S. V. | last2=Fesenko | first2=I. B. | title=Local fields and their extensions | url=http://www.maths.nott.ac.uk/personal/ibf/book/book.html | series=Translations of Mathematical Monographs | volume=121 | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-3259-2 | year=2002 | zbl=1156.11046 }}

**- content above as imported from Wikipedia**

- "

- time: 2:40am EDT - Mon, May 20 2019

- "

__Hilbert symbol__" does not exist on GetWiki (yet)- time: 2:40am EDT - Mon, May 20 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED