While studying matrix equivalence, we have shown that for any homomorphism there are bases and such that the representation matrix has a block partial-identity form.
This representation describes the map as sending to , where is the dimension of the domain and is the dimension of the range. So, under this representation the action of the map is easy to understand because most of the matrix entries are zero.
This chapter considers the special case where the domain and the codomain are equal, that is, where the homomorphism is a transformation. In this case we naturally ask to find a single basis so that is as simple as possible (we will take "simple" to mean that it has many zeroes). A matrix having the above block partial-identity form is not always possible here. But we will develop a form that comes close, a representation that is nearly diagonal.