2.1. An field is a nonzero ring where every nonzero element is invert-ible. Given a field a subeld is a subring that is itself a eld.
For a field k, we write k
for the subset k nf0g. This generalizes the usual notation
R
that refers to the group of invertible elements in a ring R