Sharp lower bounds for the dimension of linearizations of matrix polynomials.
It is proved that generalized polynomials with rational exponents over a commutative field form an elementary divisor ring; an algorithm for computing the Smith normal form is derived and implemented.
We establish some criteria for a nonsingular square matrix depending on several parameters to be represented in the form of a matrix product of factors which depend on the single parameters.