We all know that, for polynomial functions of one real variable, say $x$, if zeros of polynomial $P$ are a subset of zeros of polynomial $Q$, then $P$ divides $Q$.
Assume that $P,Q$ are polynomials in several variables. For example, three: $P = P(x,y,z)$ and $Q = Q(x,y,z)$.
Does the property ($P(x,y,z)=0 \Rightarrow Q(x,y,z) =0$) imply $P$ divides $Q$?