On explicit reciprocity laws for the local Carlitz-Kummer symbols (Q1125380): Difference between revisions

Following the main steps of the proof of Wiles explicit formula [\textit{A. Wiles}, Higher explicit reciprocity laws, Ann. Math. (2) 107, 235-254 (1978; Zbl 0378.12006)] for the generalized Hilbert symbol, it is easy to show that its analogue holds for Lubin-Tate formal groups in positive characteristic. The paper does this in the partial case where isogeny is a so called Carlitz polynomial. The text contains many misprints.