show/hide this revision's text 2 added 36 characters in body

This is just a nomenclature question. Let $T$ be a commutative monoid, and let $T^*$ be its Grothendieck group. That is, $T^* \cong T \times T \ / \sim$, where $(s,s') \sim (s+t, s'+t)$t, t')$ if $s+t'+e = s'+t+e$ for some $e \in T$.

Let $i : T \to T^*$ be the natural inclusion map, where $i(t) = [(t,0)]$, and let $K$ denote the kernel of this map.

Does the kernel $K \subseteq T$ have a common name in the literature? What are elements $k \in K$ called?

show/hide this revision's text 1

Kernel elements for the Grothendieck group map of a commutative monoid

This is just a nomenclature question. Let $T$ be a commutative monoid, and let $T^*$ be its Grothendieck group. That is, $T^* \cong T \times T \ / \sim$, where $(s,s') \sim (s+t, s'+t)$.

Let $i : T \to T^*$ be the natural inclusion map, where $i(t) = [(t,0)]$, and let $K$ denote the kernel of this map.

Does the kernel $K \subseteq T$ have a common name in the literature? What are elements $k \in K$ called?