formula_1，比如说实数域或p-进数域，设其去掉0后的乘法群为"K"，则希尔伯特符号是一个关于"K"的由互反律抽离而来的代数建构。希尔伯特符号得名于数学家大卫·希尔伯特。具体来说，希尔伯特符号是一个从 "K" × "K" 射到 {−1,1} 的函数formula_2 ：
性质.由定义可以直接得到希尔伯特符号的三个性质：进一步可以证明，formula_13。