Schmid's Formula for Higher Local Fields

Matthew Schmidt

In local class field theory, the Schmid-Witt symbol encodes interesting data about the ramification theory of $p$-extensi-ons of $K$ and can, for example, be used to compute the hi…