Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ib/paper-2/8f/iii/solution

Statement (iii) is false over an arbitrary field. Expanding the assumed idempotence gives
Multiplying this relation on the left and right by shows
Thus , so the conclusion would be true in characteristic different from two. In characteristic two, however, take . Then , , and are idempotent, but .

New to topics? Read the docs here!