With the coefficient matrices of the polynomial matrices replacing the scalar coefficients in the standard Sylvester matrix, common factors exist if and only if this (generalized) Sylvester matrix is singular and the coefficient matrices commute. If the coefficient matrices do not commute, a...