Nullmodul

Der Nullmodul ${\displaystyle (\{0\},+,\cdot )}$ ist ein Modul über einem beliebigen Ring ${\displaystyle R}$ bestehend aus der einelementigen Menge ${\displaystyle \{0\}}$ versehen mit der einzig möglichen Addition gegeben durch

${\displaystyle 0+0=0}$

und der einzig möglichen Multiplikation gegeben durch

${\displaystyle r\cdot 0=0}$

für alle Elemente ${\displaystyle r\in R}$.

In der Kategorie aller Moduln über einem gegebenen Ring mit den Modulhomomorphismen als Morphismen ist der Nullmodul das Nullobjekt: Von jedem Modul aus existiert genau ein Homomorphismus in den Nullmodul und vom Nullmodul existiert in jeden Modul genau ein Homomorphismus, nämlich jeweils die Nullfunktion, die gerade der jeweilige Nullmorphismus ist.

• Nullvektorraum

• Michael Artin: Algebra. Birkhäuser, Basel u. a. 1998, ISBN 3-7643-5938-2.