Multi-homogeneous Bézout theorem
In algebra and algebraic geometry, the multi-homogeneous Bézout theorem is a generalization to multi-homogeneous polynomials of Bézout's theorem, which counts the number of isolated common zeros of a set of homogeneous polynomials. This generalization is due to Igor Shafarevich.[1]
Non-homogeneous case[edit]
The multi-homogeneous Bézout bound on the number of solutions may be used for non-homogeneous systems of equations, when the polynomials may be (multi)-homogenized without increasing the total degree. However, in this case, the bound may be not sharp, if there are solutions "at infinity".
Without insight on the problem that is studied, it may be difficult to group the variables for a "good" multi-homogenization. Fortunately, there are many problems where such a grouping results directly from the problem that is modeled. For example, in mechanics, equations are generally homogeneous or almost homogeneous in the lengths and in the masses.