Namespaces
Variants
Actions

Field

From Encyclopedia of Mathematics
Revision as of 21:52, 30 March 2012 by Ulf Rehmann (talk | contribs) (MR/ZBL numbers added)
Jump to: navigation, search

A commutative, associative ring containing a unit in which the set of non-zero elements is not empty and forms a group under multiplication (cf. Associative rings and algebras). A field may also be characterized as a simple non-zero commutative, associative ring containing a unit. Examples of fields: the field of rational numbers $\Q$, the field of real numbers $\R$, the field of complex numbers $\C$, finite fields (see Galois field), and the field of fractions of an integral domain.

A subfield of a field $K$ is a subset $M\subset K$ which itself is a field under the operations of addition and multiplication defined in $K$. For example, if $\def\s{\sigma}$ is some automorphism of a field $K$, then the set $$K^\s = \{ x\in K:\s(x)=x \}$$ is a subfield in $K$. If $M$ and $N$ are subfields of a field $K$, then their intersection $M\cap N$ is a subfield in $K$; also, there exists a smallest subfield $MN$ in the field $K$ that contains $M$ and $N$, called the composite of the fields $M$ and $N$ (in $K$). Each field contains a unique prime subfield (i.e. one not containing proper subfields).

Any field homomorphism is an imbedding. For an arbitrary field $K$ there exists a unique homomorphism $\def\phi{\varphi} \phi: \Z \to K$ which maps the unit of the ring $\Z$ to the unit of the field $K$. If $\ker \phi = 0$, $K$ is called a field of characteristic zero. In that case, the prime subfield of $K$ coincides with the field of fractions of the ring $\phi(\Z)$ and is isomorphic to the field $\Q$. If $\ker \phi \ne 0$, then $\ker\phi = p\Z$ for a certain prime $p$. This $p$ is called the characteristic of the field $K$. The prime subfield of $K$ coincides in that case with $\phi(\Z) \cong \Z/p\Z$.

If $k$ is a subfield of a field $K$, $K$ is called an extension of the field $k$. Let $Y$ be some subset in $K$. Then the field $k(Y)$ is defined as the smallest subfield of $K$ that contains $Y$ and $k$. It is said that $k(Y)$ is obtained from $k$ by adjoining the elements from the set $Y$.

Basic problems in the theory of fields consist of giving a description of all subfields of a given field, of all fields containing a given field, i.e. overfields (see Extension of a field), to examine all imbeddings of a field in some other field, to classify fields up to an isomorphism, and to examine the automorphism group of a given field.

A field $K$ is said to be finitely generated over a subfield $k$ if there exists a finite set $Y\subset K$ such that $K=k(Y)$. Any such field can be interpreted as the field of rational functions, $k(X)$, of a certain irreducible algebraic variety $X$ defined over $k$. Algebraic geometry deals, among other things, with the study of such fields. In particular, the classification of such fields is equivalent to the birational classification of irreducible algebraic varieties, and the problem of finding the group of automorphisms of a field $K=k(X)$ that leave all elements of the field $k$ invariant is equivalent to finding all birational automorphisms of the variety $X$ defined over $k$. Galois theory deals with finite separable extensions (cf. Separable extension) of arbitrary fields. An important part in number theory is played by the finite extensions of the field $\Q$, which are called algebraic number fields. Algebraic number theory deals with these fields.

Field theory also deals with fields having certain additional structures, such as differential fields, topological fields, ordered fields, formally real and formally $p$-adic fields, etc.

Field theory originated (within the framework of the theory of algebraic equations) in the middle of the 19th century. Papers by E. Galois and J.L. Lagrange on group theory and by C.F. Gauss on number theory made it clear that one had to examine the nature of number systems themselves. The concept of a field was put forward in papers by L. Kronecker and R. Dedekind. Dedekind introduced the concept of a field, which he originally called a "rational domainrational domain" . Dedekind's theory was published in the comments and supplements to P.G. Lejeune-Dirichlet's Zahlentheorie. In them, Dedekind substantially supplemented and extended the theory of numbers, the theory of ideals and the theory of finite fields. The term "field" first appeared in the edition of this book in 1871.

References

[1] N. Bourbaki, "Eléments de mathematique. Algèbre" , Masson (1981) pp. Chapt. 4–7 MR0643362 MR0647314 Zbl 0498.12001
[2] B.L. van der Waerden, "Algebra" , 1–2 , Springer (1967–1971) (Translated from German) MR1541390 Zbl 1032.00002 Zbl 1032.00001 Zbl 0903.01009 Zbl 0781.12003 Zbl 0781.12002 Zbl 0724.12002 Zbl 0724.12001 Zbl 0569.01001 Zbl 0534.01001 Zbl 0997.00502 Zbl 0997.00501 Zbl 0316.22001 Zbl 0297.01014 Zbl 0221.12001 Zbl 0192.33002 Zbl 0137.25403 Zbl 0136.24505 Zbl 0087.25903 Zbl 0192.33001 Zbl 0067.00502
[3] S. Lang, "Algebra" , Addison-Wesley (1974) MR0783636 Zbl 0712.00001
[4] O. Zariski, P. Samuel, "Commutative algebra" , 1 , Springer (1975) MR0389876 MR0384768 Zbl 0313.13001


Comments

The German term for "field" is "Körper" and this is of course the term used in [a2]. The edition cited here as [a2] is a corrected reprint of the 4th edition (Braunschweig, 1893); the 1871 edition was the second.

References

[a1] N. Jacobson, "Lectures in abstract algebra" , 1. Basic concepts , Springer (1975) MR0392906 MR0392227 MR0369381 Zbl 0314.15001
[a2] P.G. Lejeune-Dirichlet, "Zahlentheorie" , Chelsea, reprint (1968) Zbl 30.0171.10 Zbl 28.0191.01 Zbl 25.0252.01 Zbl 03.0063.01
How to Cite This Entry:
Field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Field&oldid=19662
This article was adapted from an original article by L.V. Kuz'min (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article