The Hensel-Shafarevich canonical basis in Lubin-Tate formal modules (Q503770)

The author proves two theorems on the canonical basis in Lubin-Tate formal modules in the case of local field with perfect residue field (Theorem 1) and in the case of imperfect residue field (Theorem 2) . These canonical bases are obtained by applying a variant of the Artin-Hasse function. The chief tools used in the paper are the construction of a basis in \({\mathbb Z}_p\)-module of principle units for complete discrete valuation field with an arbitrary residue field by \textit{S. V. Vostokov} [J. Math. Sci., New York 188, No. 5, 570--581 (2013; Zbl 1300.12009); translation from Zap. Nauchn. Semin. POMI 394, 174--193 (2011)], the construction of primary elements in formal modules by \textit{S. V. Vostokov} and \textit{I. L. Klimovitskii} [Proc. Steklov Inst. Math. 282, S140--S149 (2013; Zbl 1318.11156); translation from Sovrem. Probl. Mat. 17, 153--163 (2013)] and the construction of the Shafarevich basis in higher-dimensional local fields by \textit{E. V. Ikonnikova} and \textit{E. V. Shaverdova} [J. Math. Sci., New York 202, No. 3, 410--421 (2014; Zbl 1319.11088); translation from Zap. Nauchn. Semin. POMI 413, 115--133 (2013)].