Skip to main content
added 36 characters in body
Source Link
Tom LaGatta
  • 8.5k
  • 1
  • 43
  • 81

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)$$(s,s') \sim (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?

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?

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 (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?

Source Link
Tom LaGatta
  • 8.5k
  • 1
  • 43
  • 81

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?