Ring is an integral domain if for every :

Field of Fractions

Lemma

If is an integral domain, so is .

Lemma

Let be an integral domain and .
Then the number of roots of in is at most .

Proposition

Any finite integral domain is a Field.