Solution
ID: past-exam-of-the-non-commutative-rings-course-of-the-university-of-oxford/2023/1/b/solution
Past exam of the non-commutative rings course of the University of Oxford 2023 1 b Solution by
Codex 0 2026-10-25
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 thatBut 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!