In mathematics a Steinberg symbol is a pairing function which generalises the Hilbert symbol and plays a role in the algebraic K-theory of fields. It is named after mathematician Robert Steinberg.
For a field we define a Steinberg symbol (or simply a symbol) to be a function , where is an abelian group, written multiplicatively, such that for all , and , and if then .
The first condition is sometimes referred to as being bimultiplicative, while the second condition is known as the Steinberg property.
The symbols on derive from a "universal" symbol, which may be regarded as taking values in . By a theorem of Hideya Matsumoto, this group is and is part of the Milnor K-theory for a field.
Properties If is a symbol on , then for all we have
is an element of order 1 or 2; .
Examples The trivial symbol which is identically 1. The Hilbert symbol on with values in {±1} defined byMilnor (1971) p.94
The Contou-Carrère symbol is a symbol for the ring of Laurent power series over an Artinian ring.
Continuous symbols If is a topological field then a symbol c is weakly continuous if for each y in F∗ the set of x in F∗ such that c(x,y) = 1 is closed in F∗. This makes no reference to a topology on the codomain G. If G is a topological group, then one may speak of a continuous symbol, and when G is Hausdorff then a continuous symbol is weakly continuous.Milnor (1971) p.165
The only weakly continuous symbols on R are the trivial symbol and the Hilbert symbol; the only weakly continuous symbol on C is the trivial symbol.Milnor (1971) p.166 The characterisation of weakly continuous symbols on a non-Archimedean local field F was obtained by Moore. The group K2(F) is the direct sum of a cyclic group of order m and a divisible group K2(F)m. A symbol on F lifts to a homomorphism on K2(F) and is weakly continuous precisely when it annihilates the divisible component K2(F)m. It follows that every weakly continuous symbol factors through the norm residue symbol.Milnor (1971) p.175
See also Steinberg group (K-theory)
References
External links Steinberg symbol at the Encyclopaedia of Mathematics