A field is a number system where you can always divide
Add, subtract, multiply, and divide—except by zero—and demand the same laws the rationals obey. That axiom package is a field: the stage for linear algebra's scalars, Galois theory's extensions, and proofs that some classical constructions are impossible.
The best-known fields are the rationals, the reals, and the complexes. Others include fields of rational functions, number fields from algebraic integers, fields with finitely many elements, and p-adic completions—tools of number theory and algebraic geometry. Any field can serve as the scalar system for a vector space. Analysis leans on extra structure built atop fields, especially the reals. Finite fields power error-correcting codes and cryptography. Field theory sits inside arguments showing that trisecting an arbitrary angle, or squaring a circle, cannot be finished with only compass and straightedge, and Galois theory uses field-extension symmetries to explain the Abel–Ruffini barrier for general quintics.
Formally a field is a set with addition and multiplication that are associative and commutative, with distinct identities 0 and 1, additive inverses for every element, multiplicative inverses for every nonzero element, and distributivity. Equivalently, it is a commutative ring in which 0 ≠ 1 and every nonzero element is a unit. Subtraction and division are then defined via inverses. Alternative presentations add unary inverse maps and nullary constants to avoid existential quantifiers—useful in constructive mathematics and computing. Division by zero is excluded by definition.
Rationals were used long before anyone named the axioms: fractions a/b with b nonzero, additive inverse −a/b, multiplicative inverse b/a when a is nonzero. The abstract laws simply bottle those habits. Once bottled, the same pattern applies to systems that are not subsets of the reals at all—systems with only finitely many elements, or p-adic number systems built for arithmetic geometry. Wherever you need a place where linear algebra, polynomials, and inverses coexist cleanly, you are looking for a field.
Source: Field (mathematics)
