# How do I prove that $\operatorname{rank}{AB}+\operatorname{rank}{BC}\le\operatorname{rank}{B}+\operatorname{rank}{ABC}$? [duplicate]

The Frobenius inequality of linear algebra, with $A,B,C\in M_n(\mathbb{F})$, is: $$\operatorname{rank}{AB}+\operatorname{rank}{BC}\le\operatorname{rank}{B}+\operatorname{rank}{ABC}$$

• In wikipedia, I've already read the proof you referred to. What I don't understand is, what is $\ker{ABC}/\ker{BC}$ and why that projection is one-to-one?
– xzhu
Sep 19, 2012 at 0:03
• This is also a duplicate of math.stackexchange.com/questions/497830/… . Jul 23, 2016 at 15:40

The clear candidate map is $x\mapsto Cx +\ker (B)$, which gives you a homomorphism from $\ker(ABC)\rightarrow \ker(AB)/\ker(B)$.
Modding out by this map's kernel, which happens to be $\ker(BC)$, the new map from $\ker(ABC)/\ker(BC)\rightarrow \ker(AB)/\ker(B)$ is necessarily an injection. (This is just an isomorphism theorem.)
From that point on, presumably you are working with all finite dimensional spaces, so this isomorphism gives you the inequality $\dim(\ker(ABC))-\dim(\ker(BC))\leq \dim(\ker(AB))-\dim(\ker(B))$