Finite Integral Domain is Galois Field/Proof 3
Jump to navigation
Jump to search
Theorem
A finite integral domain is a Galois field.
Proof
An integral domain is by definition a ring which has no proper zero divisors.
By definition, a Galois field is a field whose underlying set is finite.
The result follows from Finite Ring with No Proper Zero Divisors is Field.
$\blacksquare$