i need help with the proove of every finite integer domain is a field, the proof is as follows:
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 need to clarify why if $R$ is finite, then any map from $R$ to $R$ is injective iff it is surjective iff it is bijective.
and what is $f_a$ and why If $f_{a}$ is surjective then $a$ is a unit