Why are maximal ideals prime?

Question

Could anyone explain to me why maximal ideals are prime?

I'm approaching it like this, let $R$ be a commutative ring with $1$ and $A$ be a maximal ideal. Let $a,b\in R:ab\in A$

I'm trying to construct a ideal $B$ such that $A\subset B \neq A$ As this would be a contradiction. An alternative idea I had was to prove that $R/A$ is an integral domain, but this reduces to the same problem.

EDIT: Ergh.. just realized that I've learnt a theorem that states is $A$ is a maximal ideal then $R/A$ is a field

Answer 1

Let $A$ be a maximal ideal. Then $R/A$ contains no proper ideals, by the correspondence theorem. Indeed, $R/A$ is a field (assuming that $R$ contains an identity).

Thm: R/A is a field.

Proof: Let $i+A\in R/A$ such that $i+A\neq 0+A$. We want to prove that $i+A$ is a unit. Then set $B=A+Ra=\{a+ri: a\in A, r\in R\}$.

Now, you (yourself!) need to prove that $B$ is an ideal, and that $A\subset B$ properly. So, since $A$ is maximal this means that $B=R$.

As $B=R$ we have that $1\in B$, so $(1+ri)+A=ri+A=(r+A)(i+A)$, and so $i+A$ is a unit, as required.

Answer 2

Here’s a proof that doesn’t involve the quotient $R/A$.

Suppose that $A$ is not prime; then there are $a,b\in R\setminus A$ such that $ab\in A$. Let $B$ be the ideal generated by $A \cup \{a\}$; $B = \{x+ar: x\in A\text{ and }r\in R\}$. Clearly $A \subsetneq B$, so $B = R$, $1_R \in B$, and hence $1_R = x + ar$ for some $x\in A$ and $r\in R$. Then $$b = b1_R = b(x+ar) = bx + bar.$$ But $bx \in bA \subseteq RA = A$, and $bar \in Ar \subseteq AR = A$, so $b \in A$. This contradiction shows that $A$ is prime.

Answer 3

$A$ is an maximal ideal $\Rightarrow$ $R/A$ is a field $\Rightarrow$ $R/A$ is an integral domain $\Rightarrow$ $A$ is prime