>>15

f = x^2 + ((y(y - 1))^2

とおく。fが分解するなら、xの2次式と0次式の積、またはxの2つの1次式の積にならないといけないが、係数を比較すればそれは無理だと分かる。よって、fは既約。
一方、

Z(f) = {(x, y) = (0, 0), (0, 1)}

であり、これは2つの閉集合V(x, y), V(x, y - 1)の集合だから、既約ではない。□