The reverse-order law \((AB)^\dagger= B^\dagger (A^\dagger ABB^\dagger)^\dagger A^\dagger\) and its equivalent equalities (Q2494642)

Let \(A\) and \(B\) be complex matrices of sizes \(m\times n\) and \(n\times p\) respectively. The author gives \(26\) matrix equalities which are equivalent to the condition \((AB)^{\dag}=B^{\dag}(A^{\dag}ABB^{\dag})^{\dag}A^{\dag}\) where \(\dag\) denotes the Moore-Penrose inverse. Some typical examples are: \((B^{\dag}A^{\dag})^{\dag}=A(BB^{\dag}A^{\dag}A)^{\dag}B=AB-A(F_{A} E_{B})^{\dag}B\) where \(F_{A}=I_{n}-A^{\dag}A\) and \(E_{B}=I_{n}-BB^{\dag}\); \((A^{\ast}AB)^{\dag}A^{\ast}=B^{\ast}(ABB^{\ast})^{^{\dag}}\) where \(\ast\) denotes the hermitian conjugate; and \(\mathcal{R}[ (AB)^{\dag}] =\mathcal{R}(B^{\dag}A^{\dag})\) together with \(\mathcal{R}[( B^{\ast}A^{\ast}) ^{\dag}] =\mathcal{R}[ (A^{\ast })^{^{\dag}}(B^{\ast})^{\dag}] \) where \(\mathcal{R}\) denotes the range.