Explicit quadratic Hilbert symbols over the p-adic numbers

ID: explicit-quadratic-hilbert-symbols-over-the-p-adic-numbers

For odd and p-adic units , the quadratic Hilbert symbol is
The Legendre symbols record the two unit square classes. For , put and . Then
The basis of the square-class group of the 2-adic numbers gives this formula: its only negative basis pairings are and . The first is obstructed by sums of squares modulo four, the second by modulo eight; the remaining pairings have explicit field norm representatives.

New to topics? Read the docs here!