Forward order law for the generalized inverses of multiple matrix product (Q2471349)

Given a complex matrix \(A\), a \(\{1\}\)-inverse of \(A\) is a complex matrix \(G\) satisfying \(AGA=A\). The set of all such matrices \(G\) is denoted by \(A\{1\}\). The authors provide necessary and sufficient conditions for matrices \(A_1,A_2,\dots,A_n\) which guarantee that \(A_1\{1\}A_2\{1\}\cdots A_n\{1\}\subseteq (A_1 A_2 \cdots A_n)\{1\}\).