Representations and symbolic computation of generalized inverses over fields

Abstract

This paper investigates representations of outer matrix inverses with prescribed range and/or null space in terms of inner inverses. Further, required inner inverses are computed as solutions of appropriate linear matrix equations (LME). In this way, algorithms for computing outer inverses are derived using solutions of appropriately defined LME. Using symbolic solutions to these matrix equations it is possible to derive corresponding algorithms in appropriate computer algebra systems. In addition, we give sufficient conditions to ensure the proper specialization of the presented representations. As a consequence, we derive algorithms to deal with outer inverses with prescribed range and/or null space and with meromorphic functional entries.