Maximal Left and Right Ideal iff Quotient Ring is Division Ring/Quotient Ring is Division Ring implies Maximal Right Ideal
Jump to navigation
Jump to search
Theorem
Let $R$ be a ring with unity.
Let $J$ be an ideal of $R$.
If the quotient ring $R / J$ is a division ring then $J$ is a maximal right ideal.
Proof
Let $K$ be a right ideal of $R$ such that $J \subsetneq K \subset R$.
Let $x \in K \setminus J$.
As $x \notin J$ then $x + J \ne J$, the zero in $R / J$.
As $R / J$ is a division ring then $x + J \in R / J$ has an inverse, say $s + J$.
That is:
- $1_R + J = \paren {x + J} \circ \paren {s + J} = \paren {x \circ s} + J$
By Left Cosets are Equal iff Product with Inverse in Subgroup then:
- $1_R - x \circ s \in J \subsetneq K$
By the definition of a right ideal:
- $x \in K$ and $s \in R \implies x \circ s \in K$
- $1_R - x \circ s \in K$ and $x \circ s \in K \implies \paren {1_R - x \circ s} + \paren {x \circ s} = 1_R \in K$
- $1_R \in K \implies \forall y \in R, 1_R \circ y = y \in K$
Hence $K = R$
The result follows.
$\blacksquare$