Algebraic theory of right invertible operators