Field (mathematics): definition, properties, and examples

Defining properties

Informally, a field is a set F with two operations satisfying axioms that ensure predictable arithmetic. These include:

1. Commutative group under addition: there is an additive identity 0 and each element has an additive inverse.
2. Commutative group for nonzero elements under multiplication: there is a multiplicative identity 1 (distinct from 0) and each nonzero element has a multiplicative inverse.
3. Distributive law: multiplication distributes over addition.

These axioms imply familiar rules such as cancellation and the ability to solve linear equations when denominators are nonzero. For formal treatments see axioms and field theory.

Common examples and constructions

Basic examples are the rational numbers Q, the real numbers R and the complex numbers C, each forming a field with usual arithmetic. Finite fields, often denoted GF(p) or F_q, exist for prime power sizes and play a central role in applications. One can also build fields from polynomials and by forming quotient constructions; these methods produce extension fields used throughout algebra. Examples and constructions give concrete models.

History and development

The modern notion of a field evolved in the 19th century from work on equations and number systems, notably through contributions by mathematicians such as Galois and Dedekind. Abstract axiomatization emerged as algebra matured, leading to the subject now called field theory and forming the backbone of algebraic number theory and algebraic geometry.

Uses, distinctions, and notable facts

Fields are fundamental in linear algebra, since vector spaces are defined over fields, and in areas like number theory, algebraic geometry, coding theory and cryptography. Distinctions to note include rings (which may lack multiplicative inverses) and integral domains (which lack zero divisors but need not allow all divisions). For applications see linear algebra, cryptography and coding theory.