Ring theory, Every finite integral domain is a field i

Every finite integral domain is a field. The only thing we need to show is that a typical element a ≠ 0 has a multiplicative inverse. Consider a, a2, a3, .. Since there are only finitely many elements we must have am = an for some