At the end of last lecture we stated a theorem giving an easy characterization of subfields of a given field We begin by proving this result.
Theorem 18. Suppose is a field and If satisfies the following 5 conditions, then s a subfield of
- is closed under addition.
- is closed under multiplication.
- whenever
- whenever and
- has at least two elements.