Finite integral domains are fields

Finite integral domains are fields: If $D$ is a finite integral domain, then $D$ is a field.

Using cancellation in an integral domain , the map $x\mapsto ax$ is injective for $a\neq 0$; finiteness forces it to be surjective, so $a$ is a unit . Hence every nonzero element is invertible and the ring is a field .