If X is an n×m matrix over a field, show that there are invertible matrices P and Q such that
Q−1XP=[Ir000]
for some 0⩽r⩽min(m,n), where Ir is the identity matrix of dimension r.
For a square matrix of the form A=[B0DC] with B and C square matrices, prove that det(A)=det(B)det(C).
If A∈Mn×n(C) and B∈Mm×m(C) have no common eigenvalue, show that the linear map
L:Mn×m(C)X⟶Mn×m(C)⟼AX−XB
is injective.