A pair of right and left reducing subspaces and of satisfy and for all , and furthermore . Also, the dimension of exceeds the dimension of by , the dimension of the right null space of over the field of all rational functions of [119]. It is easy to express in terms of the Kronecker canonical form, described below. There is still a correspondence between subsets of eigenvalues and reducing subspaces (as there was a correspondence between subsets of eigenvalue of invariant subspaces for single matrices), but reducing subspaces are no longer spanned by eigenvectors, which are no longer well defined.
Consider the singular pencil (2.6). It has a nontrivial right reducing subspace spanned by the first two columns of the 3 by 3 identity matrix and corresponding left reducing subspace spanned by . Here is spanned by .