Algebraic Theory for Multivariable Linear Systems