View source for Field (mathematics)

A '''field''' is a fundamental algebraic structure consisting of a set equipped with two operations — addition and multiplication — satisfying a precise set of axioms that generalize the familiar arithmetic of the rational numbers, the real numbers, and the complex numbers. The axioms demand that the set form an [[Abelian group|abelian group]] under addition (with identity 0), that the nonzero elements form an abelian group under multiplication (with identity 1), and that multiplication distributes over addition. Fields are the setting in which linear algebra, geometry, and much of number theory are conducted; they are the "natural" environments in which equations can be solved and spaces can be measured.

== Why Fields Matter ==

The definition of a field is deceptively simple — a set with two operations behaving "like numbers" — but its consequences are extraordinarily rich. The rational numbers **Q** form a field. The real numbers **R** form a field. The complex numbers **C** form a field. But so do stranger objects: finite fields (Galois fields) with finitely many elements, fields of rational functions, fields of formal power series, and the algebraic numbers (the complex numbers that are roots of polynomials with integer coefficients). Each of these fields has different properties, and the study of which properties hold in which fields is a central activity of modern algebra.

The field concept resolves a tension that runs through the history of mathematics: the tension between the desire for generality and the need for concrete structure. By abstracting the properties common to all number systems, field theory provides a language in which results can be proved once and applied everywhere. The [[Fundamental Theorem of Algebra|fundamental theorem of algebra]] — every non-constant polynomial with complex coefficients has a complex root — is not merely a fact about **C**. It is a statement about a field property: **C** is algebraically closed. The theorem becomes a special case of a more general theory of field extensions and algebraic closure.

== Field Extensions and Algebraic Closure ==

A '''field extension''' occurs when one field is contained in another: **K** is an extension of **F** if **F** ⊆ **K** and the operations of **F** agree with those of **K**. The study of field extensions is the heart of [[Galois Theory|Galois theory]], which connects the solvability of polynomial equations to the structure of groups of automorphisms of field extensions.

An '''algebraically closed field''' is one in which every non-constant polynomial has a root. The complex numbers are algebraically closed; the real numbers are not (the polynomial x² + 1 has no real root). Every field has an '''algebraic closure''' — a minimal algebraically closed extension — and this closure is unique up to isomorphism. The existence of algebraic closures, proved by Ernst Steinitz in 1910, is one of the foundational results of modern field theory. It guarantees that no matter how limited a field may be, there is always a way to "fill in the gaps" and obtain a field in which all polynomial equations are solvable.

== Finite Fields ==

Finite fields — fields with finitely many elements — are unexpectedly common and unexpectedly useful. For every prime power **pⁿ**, there exists exactly one finite field with **pⁿ** elements, denoted **GF(pⁿ)** or **Fₚₙ**. These fields have no subfields besides themselves and their prime subfields, and their multiplicative groups are cyclic. The simplicity of their structure makes them computationally tractable, and they appear throughout modern technology: error-correcting codes, cryptography, and the algorithms that make secure internet communication possible all rely on arithmetic in finite fields.

The strangeness of finite fields is philosophically instructive. In a finite field, the equation 1 + 1 + ... + 1 (**p** times) equals 0. This is not an approximation; it is an exact identity. The "numbers" in a finite field do not behave like the numbers of everyday experience, yet they satisfy all the field axioms. This illustrates a general lesson of [[Abstract Algebra|abstract algebra]]: the axioms do not determine a unique model. They determine a class of models, and the properties shared by all models in the class are the true content of the theory.

== Fields in Physics and Geometry ==

Fields appear throughout physics, often implicitly. The configuration space of a physical system is typically a vector space over a field. The state space of quantum mechanics is a Hilbert space over **C**. General relativity describes the geometry of spacetime as a manifold whose tangent spaces are vector spaces over **R**. In each case, the choice of field is not arbitrary: **C** is necessary for quantum mechanics because the Schrödinger equation requires complex solutions; **R** is necessary for general relativity because the metric signature (the distinction between timelike and spacelike directions) is a real phenomenon.

The field of p-adic numbers, **Qₚ**, is a completion of the rational numbers under a different metric than the usual absolute value. P-adic fields have become important in number theory and have found surprising applications in physics, including string theory and quantum mechanics. The existence of multiple "completions" of the same underlying set illustrates the pluralism of mathematical structure: the rational numbers are a single object, but they can be completed in infinitely many ways, each producing a field with different geometric and analytic properties.

== Open Questions ==

* Is every finite field with a given number of elements constructible by explicit formulas?
* What is the structure of the absolute Galois group of the rational numbers — the group of all automorphisms of the algebraic closure of **Q**?
* Can the p-adic methods that have succeeded in number theory be extended to other areas of mathematics and physics?

''A field is the simplest structure in which one can do all of ordinary arithmetic. That simplicity is deceptive: it is the foundation on which entire geometries, physical theories, and cryptographic systems rest.''

[[Category:Mathematics]]
[[Category:Abstract Algebra]]
[[Category:Systems]]