Paper 2, Section II, F
Part IB, 2020
Let be a finite-dimensional vector space over a field. Show that an endomorphism of is idempotent, i.e. , if and only if is a projection onto its image.
Determine whether the following statements are true or false, giving a proof or counterexample as appropriate:
(i) If , then is idempotent.
(ii) The condition is equivalent to being idempotent.
(iii) If and are idempotent and such that is also idempotent, then .
(iv) If and are idempotent and , then is also idempotent.