A NORM PAIRING IN FORMAL MODULES

© 1980 American Mathematical Society
, , Citation S V Vostokov 1980 Math. USSR Izv. 15 25 DOI 10.1070/IM1980v015n01ABEH001196

0025-5726/15/1/25

Abstract

A pairing of the multiplicative group of a local field (a finite extension of the field of p-adic numbers Qp) with the group of points of a Lubin-Tate formal group is defined explicitly. The values of the pairing are roots of an isogeny of the formal group. The main properties of this pairing are established: bilinearity, invariance under the choice of a local uniformizing element, and independence of the method of expanding elements into series with respect to this uniformizing element. These properties of the pairing are used to prove that it agrees with the generalized Hilbert norm residue symbol when the field over whose ring of integers the formal group is defined is totally ramified over Qp. This yields an explicit expression for the generalized Hilbert symbol on the group of points of the formal group. Bibliography: 12 titles.

Export citation and abstract BibTeX RIS