In: Advanced Math
3.5.4 ([Ber14, Ex. 3.6.14]). Let T : V → W and S : W → U be linear maps, with V finite dimensional.
(a) If S is injective, then Ker ST = Ker T and rank(ST) = rank(T).
(b) If T is surjective, then Im ST = Im S and null(ST) − null(S) = dim V − dim W