a) Show that if and are -by- matrices with coefficients in an arbitrary field , then .
b) use (a) to show that if and are similar matrices, then .
c) Show that the matrices of trace zero form a subspace of of dimension . [Hint: The mapping is a linear transformation.]
d) Prove that the subspace of defined in (c) is generated by the matrices .