Solution

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

The th column of is . The permutation matrix fixes and interchanges , so these columns are . They are exactly the first, second, fourth and third columns of . Thus right multiplication by interchanges columns three and four, leaving the others unchanged.

New to topics? Read the docs here!