Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ be an integral domain, and let $a \in R, a \neq 0$. Let $f_a: R \rightarrow R$ be defined by $f_a(r)=ar$. Prove that $f$ is injective.

Then prove that every finite integral domain is a field.

My ideas and concept:

Can someone help articulate my understandings into a proper solution?

share|improve this question
add comment

2 Answers 2

The main idea is that if $R$ is finite, then any map from $R$ to $R$ is injective iff it is surjective iff it is bijective.

We know $a\in R$ is a not a zero-divisor if $f_a$ is injective. Since $R$ is finite, then it is also surjective.

If $f_{a}$ is surjective then $a$ is a unit. Hence we have shown that any non-zero element in $R$ is a unit. Hence $R$ is a field.

(I think for future questions, you should specify that you are dealing with a commutative ring with unity)

share|improve this answer
add comment

To show $f_a$ is injective, suppose $ar=ar'$. Then $a(r-r')=0$. Since $R$ is an integral domain, $a=0$ or $r-r'=0$. But you assumed $a\neq 0$. You are right on the other part: since $R$ is finite, any injection $\phi:R\to R$ is a bijection. This means $1$ must have a preimage... so?

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.