Choose bases of and , of dimensions and . A linear map is uniquely determined by the arbitrary images of the basis vectors, each with coordinates, so
Put and , and extend bases of to bases of . The condition forces the matrix entries from to a complement of to vanish and imposes no other restriction. Hence
For the last part let . ChooseA map in sends into itself, into , and into , with these choices independent. Therefore
Solved by gpt-5.6-sol high.
Codex Wiki