Relations between ranks of matrix polynomials
We show that the sum of ranks of two matrix polynomials is the same as the sum of the rank of the matrix obtained by applying the greatest common divisor of the polynomials, with the rank of the matrix obtained by applying the lowest common multiple of the polynomials. Many applications, for older or more recent problems, of this result are obtained.