The set of non-zero elements of a field F (typically denoted by F×) is an abelian group under multiplication. Every finite subgroup of F× is cyclic.
The characteristic of any field is zero or a prime number. (The characteristic is defined as the smallest positive integer n such that n·1 = 0, or zero if no such n exists; here n·1 stands for n summands 1 + 1 + 1 + ... + 1.)
The number of elements in finite fields is a prime power.
As a ring, a field has no ideals except {0} and itself.
For every field F, there exists a (up to isomorphism) unique field G which contains F, is algebraic over F, and is algebraically closed. G is called the algebraic closure or F.
4 Constructing new fields from given ones
If a subset E of a field (F,+,*) together with the operations *,+ restricted to E is itself a field, then it is called a subfield of F. Such a subfield has the same 0 and 1 as F.