Solution

ID: past-exam-of-the-non-commutative-rings-course-of-the-university-of-oxford/2023/1/b/solution

Assume , as is implicit in the claimed conclusion. Suppose that a surjective ring homomorphism exists. Choose mapping to the matrix units and . Applying to the assumed relation gives integers such that
But and , so the right side is . Its entry is zero, whereas the entry of is . This contradiction proves that no such surjective ring homomorphism exists.
If the convention for rings allows to be the zero ring, that case must be excluded from the assertion: , and the zero ring homomorphism is surjective. This is a convention issue in the printed question.

New to topics? Read the docs here!