Kommutative Ringtheorie/Nullteiler und Einheiten/Charakterisierung mit Multiplikationsabbildung/Aufgabe/Lösung


Die Multiplikationsabbildung ist ein Gruppenhomomorphismus, wie direkt aus dem Distributivitätsgesetz folgt. Es gilt:

ist ein Nichtnullteiler genau dann, wenn für alle aus folgt . Dies ist genau dann der Fall, wenn der Kern von nur aus besteht, was genau dann gilt, wenn injektiv ist.

ist eine Einheit genau dann, wenn es ein gibt mit , was genau dann der Fall ist, wenn zum Bild von gehört. Dies wiederum ist äquivalent dazu, dass surjektiv ist, denn aus folgt sofort für jedes .