beschrieben durch Aussage p = 0 für Polynom p
für alle x1, y1,... : (p1 = 0∧...∧pn = 0)⇒(q = 0)
Beweis: Idealmitgliedschaft:
q = cipi,
dann
q(x1, y1,…) = cipi(x1, y1,…) =
ci⋅0 = 0
gdw.
qB0
bzgl. einer Gröberbasis B für F.
Ü: für das Beispiel ausrechnen