If you find any mistakes, please make a comment! Thank you.

In a division ring, every centralizer is a division ring

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 7.1 Exercise 7.1.10

Prove that if $D$ is a division ring, then $C_D(a)$ is a division ring for all $a \in D$.

Solution: We saw in Exercise 7.1.9 that $C_D(a)$ is a subring which contains 1. It remains to be shown that every nonzero element of $C_D(a)$ has an inverse in $C_D(a)$. To that end, let $x \in C_D(a)$ be nonzero. Then $xa = ax$. Now $x^{-1}$ exists in $D$, and we have $x^{-1}xa = x^{-1}ax$, so that $a = x^{-1}ax$. Similarly, right multiplying by $x^{-1}$ yields $ax^{-1} = x^{-1}a$. Thus $x^{-1} \in C_D(a)$. Thus $C_D(a)$ is a division ring.


This website is supposed to help you study Linear Algebras. Please only read these solutions after thinking about the problems carefully. Do not just copy these solutions.
Close Menu