Artin-Hasse formula for $p^m-$primary elements
Using Borevich's system of generators and relations, the classical Artin-Hasse formula is obtained from scratch in the case when taking $p$-th root of the second argument of the Hilbert symbol gives an unramified $p$-extension of the same degree of irregularity. Under the same assumptions, in the case of Lubin-Tate formal groups, an expression for the Hilbert symbol is obtained in terms of the expansion of elements by the same system of generators.