Primarily quasilocal fields and 1-dimensional abstract local class field theory

Abstract

Let $E$ be a field satisfying the following conditions: (i) the $p$-component of the Brauer group Br$(E)$ is nontrivial whenever $p$ is a prime number for which $E$ is properly included in its maximal $p$-extension; (ii) the relative Brauer group Br$(L/E)$ equals the maximal subgroup of Br$(E)$ of exponent $p$, for every cyclic extension $L/E$ of degree $p$. The paper proves that finite abelian extensions of $E$ are uniquely determined by their norm groups and related essentially as in the classical local class field theory. This includes analogues to the fundamental correspondence, the local reciprocity law and the local Hasse symbol.