Binomiale Gleichungen/Nullstellengebilde/Monoidstruktur/Fakt

Es sei ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge, die durch binomiale Gleichungen gegeben sei.

Dann ist ${}V$ ein Untermonoid des affinen Raumes, versehen mit der komponentenweisen multiplikativen Verknüpfung.