Go back

The proof of the day is: Finite integral domain is Galois field

Theorem: Every finite integral domain is a Galois field.

Proof:
By the definition of field, for a integral domain $\mathcal{D}=(D,+,\cdot)$ to be a field, it must exist $a^{-1}$ such that $a\cdot a^{-1} = 1, \forall a\in \mathcal{D}^{*}$.
Consider the homomorphism $\psi:\mathcal{D}\to\mathcal{D}$ such that $\psi(x)=\alpha\cdot x$, $\alpha \neq 0$.
We have that $ker(\psi)=\{x\in\mathcal{D}\mid\alpha\cdot x = 0\} = \{0\}$, since by definition, $\mathcal{D}$ doesn't have zero divisors. So $\psi$ is one-to-one, which implies that it is surjective too, since $\mathcal{D}$ is finite (pigeonhole princple). So, $\exists x\in\mathcal{D} \mid \alpha\cdot x=1$.
Then $x=a^{-1}$, and $\mathcal{D}$ is a finite field, as we wanted.