The Hilbert symbol of two nonzero p-adic numbers 
and 
is defined as
 |
(1)
|
If the 
-adic
field is not clear, it is said to be the Hilbert symbol
of 
and 
relative to 
. The field can also be the reals
(
). The Hilbert symbol satisfies
the following formulas:
1. 
.
2. 
for 
.
3. 
.
4. 
for 
.
5. 
.
6. 
,
and 
for 
.
The Hilbert symbol depends only on the values of 
and 
modulo squares. So the symbol is a map 
.
For any two nonzero rational numbers 
and 
,
1. 
for almost every prime 
.
2. 
where 
ranges over every prime, including 
corresponding to the reals.
