Es sei M {\displaystyle {}M} ein endlich erzeugtes Monoid und
ein Monoidhomomorphismus mit der zugehörigen Spektrumsabbildung
und dem induzierten stetigen geschlossenen Weg
Zeige, dass dieser Weg nullhomotop ist, wenn der Monoidhomomorphismus γ {\displaystyle {}\gamma } durch N {\displaystyle {}\mathbb {N} } faktorisiert.
ein endlich erzeugtes Monoid und
![{\displaystyle {\mathbb {C} }^{\times }\cong {\left(\operatorname {Spek} {\left({\mathbb {C} }[T,T^{-1}]\right)}\right)}_{\mathbb {C} }\longrightarrow {\left(\operatorname {Spek} {\left({\mathbb {C} }[M]\right)}\right)}_{\mathbb {C} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94851f0475a4b2a470714808ef34baa4917dc3dc)
![{\displaystyle S^{1}\longrightarrow {\left(\operatorname {Spek} {\left({\mathbb {C} }[M]\right)}\right)}_{\mathbb {C} }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa55714219be519a04e1212b218431a891bff4f0)
durch 
faktorisiert.
