Zum Inhalt springen

Z nach Z mod n/Spektrumsabbildung/Aufgabe/Lösung


Der Monoidring zu ℤ/(n) ist

ℂ[ℤ/(n)]≅ℂ[X]/(Xn−1)

und sein K-Spektrum ist die Menge der komplexen Einheitswurzeln. Der surjektive Monoidhomomorphismus

ℤ⟶ℤ/(n)

führt nach Fakt zu einem surjektiven Ringhomomorphismus zwischen den Monoidringen und somit nach Fakt  (3) zur abgeschlossenen Einbettung

{ζ∈ℂ∣ζn=1}⊆ℂ×=ℂ−Spek⁡(ℂ[U,U−1]).