A ring $R$ is a field $\iff R$ has exactly two ideals.

2.8k Views Asked by At

Let $R$ a ring (with $1\in R$). I want to show that $R$ is a field $\iff$ it has exactly two ideals.

For $\implies $ it's obvious. Indeed, if $R$ is a field and $I\neq \{0\}$ an ideal, then, $I=A$ since $$x\in I\implies xx^{-1}\in I$$ and thus $1\in I$. In particular, if $x\in A$, then $x\cdot 1\in I$ and thus $x\in I$.

For the converse I don't really know how to do. My idea was the following one:

I show that if $R$ is not a field then it has more that two ideals. Indeed, let $R$ be not a field. Then, there is $x\in R$ that has no inverse. In particular, $(x)\notin \{R,\{0\}\}$. Indeed, if $(x)=(0)$ then $x=0$ which is a contradiction. If $(x)=R$, then $1\in (x)$ and thus there is $n$ s.t. $x^n=1$ what prove that $x$ is invertible and is also a contradiction.

Is it correct ? Is there a more direct proof ? i.e. like this:

Let $A$ and $\{0\}$ the two ideal of $R$. How can I show that all element of $A\backslash \{0\}$ are invertible ? By contradiction, if not, the $$xy\neq 1$$ for all $y\in R$. Therefore, $(x)$ doesn't contain $1$, and thus, $R$ has at least three ideal, which is a contradiction.

Is it correct ?

2

There are 2 best solutions below

3
On

Your proof is essentially correct. I would have only stated it a bit differently (and more succintly), as follows.

Let $0 \ne x \in R$ and consider the ideal $(x)$. Clearly, $(x) \ne 0$, therefore necessarily $(x) = R$. This means that there exist $y \in R$ such that $yx = 1$. There also exist $z \in R$ such that $xz = 1$ (because $(x)$ is a bilateral ideal). Multiplying $yx = 1$ by $z$ on the right, we get $y(xz) = z$, i.e. $y = z$, so the left and right inverses coincide, therefore $x$ is invertible. We have therefore proven that every non-zero element is inversible, so $R$ is a field.

0
On

Your proof is incorrect. By a small detail, but important:

If $(x)=R$, then $1\in(x)$ and so there exists $y\in R$ with $xy=1$.

Maybe your writing of $x^n=1$ is just a typo, but…


You are also assuming $R$ is commutative, otherwise the statement is false. There are (noncommutative) rings having exactly two (two-sided) ideals, but are not even division rings. For instance the matrix rings over a field (or a division ring, more generally).