Suppose is a cancellative abelian semigroup with zero element and we have the homomorphism
where is a abelian group, how do I extend this homomorphism to the whole of where is the envelopping Gothendieck group of to obtian the homomorphism
Suppose is a cancellative abelian semigroup with zero element and we have the homomorphism
where is a abelian group, how do I extend this homomorphism to the whole of where is the envelopping Gothendieck group of to obtian the homomorphism