Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2023/digital-systems-linear-algebra-and-introduction-to-formal-proof/5/b/solution

Take and the linear map . Then
Their intersection is nonzero and their sum is only one-dimensional. Hence . This nilpotent linear map has , illustrating why taking sufficiently high powers changes the situation.

New to topics? Read the docs here!