Field (mathematics) Definition Examples Of Fields

Fields are important objects of study in algebra since they provide the proper generalization of number domains, such as the sets of rational numbers, real numbers, or

The concept of a field is of use, for example, in defining vectors and matrices, two structures in linear algebra whose components can be elements of an arbitrary field. Galois theory studies the symmetry of equations by investigating the ways in which fields can be contained in each other. See Field theory (mathematics) for more.

1 Definition

A field is a commutative ringIn ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation obeys the commutative law. This means that if a and b are any elements of the ring, and if the multiplication operation is written as then a ' (F, +, *) such that 0 does not equal 1 and all elements of F except 0 have a multiplicative inverse.

The requirement 0 ≠ 1 ensures that the set which only contains a single zero is not a field. Directly from the axioms, one may show that (F, +) and (F - {0}, *) are commutative groupsIn mathematics, a group is a set, together with a binary operation satisfying certain axioms, detailed below. The branch of mathematics which studies groups is called group theory. The historical origin of group theory goes back to the works of Evariste G and that therefore (see elementary group theoryGroup theory First Theorems about Groups A group G ) is usually defined as: G is a set and is an associative binary operation on G obeying the following rules (or axioms): :A1. G ) has closure. That is, if a and b are in G then a ''b is in G :A2. The oper) the additive inverse -a and the multiplicative inverse a^-1 are uniquely determined by a. Furthermore, the multiplicative inverse of a product is equal to the product of the inverses:

all rules familiar from elementary arithmeticArithmetic Arithmetic or arithmetics in common usage is a branch of (or the forerunner of) mathematics which records elementary properties of certain operations on numerals, though in usage by professional mathematicians, it often is treated as synonym fo.

2 Examples of fields

The rational numbers Q = { a/b | a, b in Z, b ≠ 0 } where Z is the set of integersThe integers consist of the positive natural numbers (1, 2, 3, …) the negative natural numbers (−1, −2, −3,. and the number zero. The set of all integers is usually denoted in mathematics by Z (or Z in blackboard bold, ), which st.

The real numbers R .

The complex numbers C.

The smallest field has only two elements: 0 and 1. It is sometimes denoted by F₂ or Z₂ and can be defined by the two tables

+ 0 1 * 0 1 0 0 1 0 0 0 1 1 0 1 0 1

It has important uses in computer science, especially in cryptography and coding theory.

More generally: if q > 1 is a power of a prime number, then there exists ( up to isomorphism) exactly one finite field with q elements. No other finite fields exist. For instance, for a prime number p, the set of integers modulo p is a finite field with p elements: this is often written as Z_p = {0,1,...,p-1} where the operations are defined by performing the operation in Z, dividing by p and taking the remainder, see modular arithmetic. Such fields are often called Galois fields.

The real numbers contain several interesting fields: the real algebraic numbers, the computable numbers, and the definable numbers.

The complex numbers contain the field of algebraic numbers, the algebraic closure of Q.

The rational numbers can be extended to the fields of p-adic numbers for every prime number p.

Let E and F be two fields with E a subfield of F (i.e., a subset of F containing 0 and 1, closed under the operations + and * of F and with its own operations defined by restriction). Let x be an element of F not in E. Then E(x) is defined to be the smallest subfield of F containing E and x. For instance, Q(i) is the subfield of the complex numbers C consisting of all numbers of the form a+bi where both a and b are rational numbers.

For a given field F, the set F(X) of rational functions in the variable X with coefficients in F is a field; this is defined as the set of quotients of polynomials with coefficients in F.

If F is a field, and p(X) is an irreducible polynomial in the polynomial ring F[X], then the quotient F[X]/<p(X)> is a field with a subfield isomorphic to F. For instance, R[X]/<X²+1> is a field (in fact, it is isomorphic to the field of complex numbers).

When F is a field, the set F((X)) of formal Laurent series over F is a field.

If V is an algebraic variety over F, then the rational functions V → F form a field, the function field of V.

If S is a Riemann surface, then the meromorphic functions S → C form a field.

If I is an index set, U is an ultrafilter on I, and F_i is a field for every i in I, the ultraproduct of the F_i (using U) is a field.

Hyperreal numbers and superreal numbers extend the real numbers with the addition of infinitesimal and infinite numbers.

There are also proper classes with field structure, which are some times called Fields.

The surreal numbers form a Field containing the reals, and would be a field except for the fact that they are a proper class, not a set. The set of all surreal numbers with birthday smaller than some inaccessible cardinal number form a field.

The nimbers form a Field. The set of nimbers with birthday smaller than 2^(2^n), the nimbers with birthday smaller than any infinite cardinal are all examples of fields.

3 Some first theorems

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.
The polynomial field F(x) is the field of fractions of polynomials in x with coefficients in F.
An algebraic extension of a field F is the smallest field containing F and a root of an irreducible polynomial p(x) in F[x]. Alternatively, it is identical to the factor ring F[x]/<p(x)>, where <p(x)> is the ideal generated by p(x).

5 See also

See field theory (mathematics) for some history and other information.
See Glossary of field theory for more definitions in field theory.
Fields - wikibook link.

Algebra Abstract algebra Ring theory

<Hide>

Home > Field (mathematics)