this relation is also satisfied by the hilbert symbol, which expresses the solvability of quadratic equations over local fields. in particular, john tate was able to prove that "k"(q) is essentially structured around the law of quadratic reciprocity.