Links between associated additive Galois modules and computation of H for local formal group modules

Using the methods described in the papers (Documenta Math. 5 (2000) 657; Local Leopoldt's problem for ideals in p-extensions of complete discrete valuation fields, to appear), we prove that a cocycle for a formal group in a Galois p-extension of a complete discrete valuation field is a coboundary if and only if the corresponding group algebra elements increase valuations by a number that is sufficiently large. We also calculate the valuation of the splitting element of a coboundary. A special case of the main theorem allows us to determine when a p-extension of a complete discrete valuation fields contains a root of a Kummer equation for a formal group. The theorem of Coates-Greenberg for formal group modules in deeply ramified extensions is generalized to noncommutative formal groups. Some results concerning finite torsion modules for formal groups are obtained.