Inequalities and equalities for \(\ell=2\) (Sylvester), \(\ell=3\) (Frobenius), and \(\ell>3\) matrices (Q329386)

The author gives simple proofs of the Sylvester inequality \[ \mathrm{rank} (AB)\geq \mathrm{rank}(A) +\mathrm{rank}(B)-n \] (\(n\) the number of columns of \(A\) and rows of \(B\)) and the Frobenius inequality \[ \mathrm{rank} (ABC)\geq \mathrm{rank}(AB) +\mathrm{rank}(BC)-\mathrm{rank}(B). \] Moreover, a new sufficient condition for the equality of the Frobenius inequality is provided. In addition, an extension for more than three matrices and an application to generalized inverses are provided.