Maximal order reduction and supremal (A,B)-invariant and controllability subspaces

Given the system \{A,B,C,E\} the supremal ( A,B )-invariant and controllability subspaces are studied and their dimensions are explicitly determined as functions of the number of zeros and the degree of the determinant of the interactor. This is done by solving the problem of the maximal order reduction via linear state feedback.