# Every Prime Ideal is Maximal if $a^n=a$ for any Element $a$ in the Commutative Ring

## Problem 530

Let $R$ be a commutative ring with identity $1\neq 0$. Suppose that for each element $a\in R$, there exists an integer $n > 1$ depending on $a$.

Then prove that every prime ideal is a maximal ideal.

Sponsored Links

Contents

## Hint.

Let $R$ be a commutative ring with $1$ and $I$ be an ideal of $R$.

Recall the following facts:

- $I$ is a prime ideal if and only if $R/I$ is an integral domain.
- $I$ is a maximal ideal if and only if $R/I$ is a field.

## Proof.

Let $I$ be a prime ideal of the ring $R$. To prove that $I$ is a maximal ideal, it suffices to show that the quotient $R/I$ is a field.

Let $\bar{a}=a+I$ be a nonzero element of $R/I$, where $a\in R$.

It follows from the assumption that there exists an integer $n > 1$ such that $a^n=a$.

Then we have

\[\bar{a}^n=a^n+I=a+I=\bar{a}.\]
Thus we have

\[\bar{a}(\bar{a}^{n-1}-1)=0\]
in $R/I$.

Note that $R/I$ is an integral domain since $I$ is a prime ideal.

Since $\bar{a}\neq 0$, the above equality yields that $\bar{a}^{n-1}-1=0$, and hence

\[\bar{a}\cdot \bar{a}^{n-2}=1.\]
It follows that $\bar{a}$ has a multiplicative inverse $\bar{a}^{n-2}$.

This proves that each nonzero element of $R/I$ is invertible, hence $R/I$ is a field.

We conclude that $I$ is a field.

Add to solve later

Sponsored Links