is the map sending every (class of a) finitely generated projective "a"-module "m" to the rank of the free formula_20-module formula_21 (this module is indeed free, as any finitely generated projective module over a local ring is free). this subgroup formula_22 is known as the "reduced zeroth k-theory" of "a".