代数方程组(system of algebraic equations)是由多个n元多项式方程所构成的方程组，由数域P上m个n元多项式fi(x1，x2，…，xn)(i=1，2，…，m)组成的方程组称为数域P上的代数方程组，若x1=α1，x2=α2，…，xn=αn满足方程组中的每一个方程，则称它们为代数方程组的一个解。当代数方程组中每个方程的次数≤1时，则代数方程组就是通常的线性方程组；当代数方程组中m=n=1时，代数方程组就是通常的一元n次方程，因此，代数方程组可以看成是线性方程组与一元n次方程的推广和发