A characterization of the algebraic multiplicity as a map of grothendieck groups

The multiplicity theory initiated by C. Chevalley was the one with respect to ideals generated by a system of parameters of a local ring containing a field [3] and [4]. Samuel generalized the definition to primary ideals belonging the maximal ideal of a local ring which contains a field by a device which used the Hilbert characteristic function [9]. Furthermore Samuel defined multiplicity also in local rings which contain no field [10].