Explicit form of the law of reciprocity

A pairing in the multiplicative group of a local field (a finite extension of a $p$-adic number field) is defined in terms of the expansion of elements into series in a local uniformizing parameter. The main properties of this pairing are proved: bilinearity, skew-symmetry, invariance with respect to choice of local uniformizing parameter, and independence of the choice of expansion of elements into series in this uniformizing parameter. In addition, the norm property of this pairing is examined. The main result of this paper is that this pairing coincides with Hilbert's norm residue symbol. This yields an explicit formula for the latter.
Bibliography: 9 titles.