Main Theorem A finite commutative domain is a field. A finite skew field is a field. Proof The first case is basic abstract algebra. The second one is a big theorem.