Arithmetic of a group of points of a formal group

For a formal group of finite height over a non-ramified extension of a ring of p-adic integers we construct a system of generators of a formal module that is the generalization of the canonic Shafarevich basis and the system of Henniart generators for Lubin — Tate groups.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademiya Nauk SSSR, Vol. 191, pp. 9–23, 1991.