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

A ring has only the trivial one-sided ideals precisely when it is a division ring

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 7.4 Exercise 7.4.6


($\Rightarrow$) Suppose $R$ is a division ring. Let $L \subseteq R$ be a nonzero left ideal; that is, $rL \subseteq L$ for all $r \in R$. Now let $a \in L$ be nonzero. Since $R$ is a division ring, there exists $b \in R$ such that $ba = 1 \in L$. Then for all $r \in R$, $r \cdot 1 \in L$, and in fact $L = R$. Thus the only left ideals of $R$ are $0$ and $R$.

($\Leftarrow$) Suppose the only left ideals of $R$ are $0$ and $R$, and let $a \in R$ be nonzero. Now the left ideal $Ra$ generated by $a$ is nonzero since it contains $a$, so that $Ra = R$. So there exists an element $b \in R$ such that $ba = 1$. Similarly, there exists $c \in R$ such that $cb = 1$. Now $$c = c(ba)=(cb)a=a,$$hence $ab = 1$. So $a$ is $a$ unit in $R$, and thus $R$ 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