Integral domain

A finite integral domain is a field

Let be a finite Integral domain. Then is a Field, i.e. every nonzero element of is a unit. ring

Proof

Let be a nonzero, non-unity element of (if it is unity it is trivially a unit). Since is finite, there must exist some such that . By cancellation it follows and hence so is a unit.

It follows that is a field.

---

tidy | en | sembr