Hilbert-symbol annihilators of units and unramified square classes
ID: hilbert-symbol-annihilators-of-units-and-unramified-square-classes
In the square-class group of a p-adic field, the unit subgroup consists of classes of even valuation. The unramified subgroup consists of the trivial class and the unique nonsquare class defining an unramified extension of degree two. For odd , the two subgroups coincide with for a nonsquare unit . For , they are and . Norms from an unramified quadratic local field extension have even valuation, and every unit is a norm. The norm characterization of the quadratic Hilbert symbol therefore gives both displayed annihilator identities. Over , the unramified class is because satisfies , whose reduction modulo two is irreducible and separable.
New to topics? Read the docs here!