there is a pairing on k with values in k. given commuting matrices "x" and "y" over "a", take elements "x" and "y" in the steinberg group with "x","y" as images. the commutator formula_38 is an element of k. the map is not always surjective.