Remark

Since by definition every nonzero element is invertible, the nonzero elements of a field K form a group with respect to the multiplication: K* = K\{0}, see a previous theorem.