Finite integral domain is a field
ID: finite-integral-domain-is-a-field
Multiplication by a nonzero element of an integral domain is injective. If the ring is finite, that map is surjective, so its image contains one and the multiplier has a multiplicative inverse. Hence every nonzero element is invertible and the ring is a field.
New to topics? Read the docs here!