Fundamental Theorem of Algebra for Two Variables

abstract-algebra

Is there an extension for the Fundamental Theorem of Algebra for Two or more variables, such in case of polynomials systems:

$ \begin{cases} f(x, y) = 0 \\ g(x, y) = 0 \end{cases} $

For single-variable polynomials, the Theorem states that nth-degree polynomials implies n complex roots. And about two or more variables, there is such extension? Perhaps a sum of degrees or the max number of degrees of the variables?

Best Answer

This is Bézout's theorem. The number of solutions is either infinite or equal to the product of the degrees if you count them in the right way (some solutions may be at infinity). So you need to look for solutions in the complex projective plane, and some solutions may need to be counted multiple times.

An example that shows why you need the projective plane is $f(z,w)=w$, $g(z,w)=w-1$. Then $\{f=0\}$ and $\{g=0\}$ are parallel complex "lines" that do not intersect in $\mathbb{C}^2$, but the projective plane has "points at infinity" where parallel lines intersect.