Loading field map
Algebra is the branch of mathematics that studies the general rules by which quantities combine, and the structures that arise from those rules. Where arithmetic treats specific numbers, algebra treats symbols standing for unspecified numbers or other objects, and asks what can be deduced from the laws those objects obey. The subject's power lies in its abstraction: by stripping away the particular identities of the objects being manipulated, algebra reveals patterns that hold across many different systems at once.
At its core, algebra asks three families of questions. The first concerns solving equations: given a statement that two expressions are equal, what values of the unknown quantities make it true? This is the oldest and most intuitive form of algebra, reaching back to Babylonian and Egyptian problem texts that asked for unknown numbers satisfying linear or quadratic conditions. The second family concerns structure: what kinds of objects can be added, multiplied, or otherwise combined, and what laws do those operations obey? This leads to the study of groups, rings, fields, and vector spaces—the fundamental algebraic structures. The third family concerns symmetry and invariance: what transformations leave a system unchanged, and what does the collection of such transformations tell us about the system itself? This connects algebra to geometry, number theory, and physics.
These questions are not separate. Solving equations in a particular system depends on the structure of that system; understanding structure often requires solving equations about the objects that make it up; and symmetry groups encode both. The unity of these concerns is what makes algebra a single discipline rather than a cluster of techniques.
Algebra emerged independently in several traditions. Babylonian scribes solved quadratic equations by algorithmic procedures around four thousand years ago, though they expressed them verbally rather than symbolically. Ancient Greek mathematicians, notably Diophantus, developed a form of symbolic abbreviation for solving equations, but their work was largely confined to specific numerical problems. Indian mathematicians, including Brahmagupta and later Bhāskara, systematized methods for solving linear and quadratic equations and recognized negative and irrational solutions. Islamic scholars, most prominently al-Khwārizmī in the ninth century, consolidated these methods into a coherent discipline called al-jabr, meaning "restoration" or "completion"—the operation of moving terms from one side of an equation to the other. The word "algebra" derives from this title.
The decisive transformation came in the sixteenth and seventeenth centuries with the development of symbolic notation. François Viète and René Descartes introduced the practice of using letters for known and unknown quantities, making it possible to state general rules rather than individual cases. This allowed algebra to become a language for all of mathematics, not merely a set of techniques for solving particular problems. By the eighteenth century, algebra was understood primarily as the study of polynomial equations and their solutions.
The nineteenth century brought a conceptual revolution. Mathematicians began to study operations and structures abstractly, without reference to particular numbers. Évariste Galois, in the 1830s, showed that the solvability of polynomial equations by radicals—whether a formula using only arithmetic operations and roots exists—is governed by the symmetry group of the equation's roots. This result, now called Galois theory, demonstrated that the structure of a group could determine the answer to a purely algebraic question. Around the same time, William Rowan Hamilton introduced quaternions, a number system where multiplication is not commutative, and George Boole developed an algebra of logic. These examples showed that the laws of arithmetic were not universal: different systems could obey different rules, and the task of algebra was to study the rules themselves.
The late nineteenth and early twentieth centuries saw the codification of this abstract approach. Richard Dedekind and Emmy Noether developed the theory of rings and ideals, providing a framework for number theory and algebraic geometry. David Hilbert's work on invariant theory and his program of axiomatization pushed algebra toward greater rigor and generality. By the mid-twentieth century, algebra had become the study of abstract structures defined by axioms, with groups, rings, fields, and modules as the primary objects of investigation.
The oldest approach treats algebra as the art of solving equations. Its methods include factoring, completing the square, substitution, and the systematic elimination of variables. The central results are the quadratic formula, the cubic and quartic formulas discovered in the sixteenth century, and the fundamental theorem of algebra, which states that every nonconstant polynomial with complex coefficients has at least one complex root. This approach remains essential in applications, where solving explicit equations is often the goal. Its limitation is that it becomes unwieldy beyond low-degree equations in few variables; there is no general formula for the roots of a polynomial of degree five or higher, a fact proved by Galois and independently by Niels Henrik Abel.
The structural approach, dominant since the early twentieth century, defines algebraic objects by axioms and studies their properties. A group is a set with a single operation that is associative, has an identity element, and has inverses for every element. Groups capture symmetry and are the basic language for studying transformations. A ring is a set with two operations, usually called addition and multiplication, where addition forms a group and multiplication distributes over addition. Rings generalize the integers and polynomials. A field is a ring where multiplication is commutative and every nonzero element has a multiplicative inverse; the rational, real, and complex numbers are fields, as are the finite fields used in coding theory and cryptography.
The structural approach asks classification questions: what are all groups of a given type, or all fields satisfying certain conditions? It develops tools such as homomorphisms—structure-preserving maps between algebraic objects—and quotient structures, which collapse part of an object to form a smaller one. The theory of vector spaces, which are modules over fields, provides the algebraic foundation for linear algebra and connects to geometry through the notion of dimension.
A later development, emerging in the mid-twentieth century, studies algebraic structures through the maps between them rather than through their internal elements. Homological algebra uses sequences of objects and maps to measure the failure of exactness—roughly, the extent to which a smaller object fails to determine a larger one. This approach proved powerful in topology, where it gave rise to algebraic invariants of spaces, and in algebraic geometry, where it provides tools for studying sheaves. Category theory, developed by Samuel Eilenberg and Saunders Mac Lane in the 1940s, formalizes the study of mathematical structures and their relationships at an even higher level of abstraction. It treats objects and morphisms (structure-preserving maps) as the fundamental data, and has become a common language across much of modern mathematics. These approaches are not rivals to structural algebra but rather extensions of it, providing new tools and a broader perspective.
A more recent tendency, accelerated by computers, treats algebra as a computational enterprise. Gröbner bases, introduced by Bruno Buchberger in the 1960s, provide an algorithm for solving systems of polynomial equations and for determining whether one polynomial belongs to an ideal generated by others. This has made algebraic methods practical in robotics, computer-aided design, and cryptography. Computational algebra also includes algorithms for factoring polynomials, computing Galois groups, and performing arithmetic in finite fields. This approach does not replace the theoretical study of structures; rather, it makes the theory usable and often reveals patterns that motivate new theoretical questions.
These approaches are not competing schools but complementary perspectives on the same subject. Classical equation-solving is the historical root and remains the practical core; structural algebra provides the conceptual framework that explains why certain equations can or cannot be solved; homological and categorical methods supply tools for relating different structures; and computational algebra makes the theory effective. A working algebraist typically moves among these perspectives, choosing the one suited to the problem at hand.
The relationship between classical and structural algebra is particularly instructive. The classical question "can this equation be solved by radicals?" is answered by the structural theory of Galois groups. The classical technique of factoring a polynomial is understood structurally as finding the prime ideals of a ring. Conversely, structural results often have classical consequences: the classification of finite simple groups, a monumental project completed in the late twentieth century, has implications for the solvability of equations and the structure of symmetry groups throughout mathematics.
Contemporary algebra is characterized by its breadth and its deep connections to other fields. In number theory, algebraic methods underpin the study of Diophantine equations and the arithmetic of elliptic curves, which in turn are central to modern cryptography. In geometry, algebraic geometry—the study of solutions to polynomial equations—has become one of the largest and most active areas of mathematics, using tools from commutative algebra, homological algebra, and category theory. In physics, group theory and representation theory describe the symmetries of physical laws, and Lie algebras—algebraic structures arising from continuous symmetry groups—are fundamental to particle physics.
Algebra also continues to develop internally. The classification of finite simple groups, often described as one of the largest collaborative proofs in mathematics, was completed in the 1980s, though ongoing work aims to simplify and verify it. The theory of quantum groups, developed in the 1980s, extends classical group theory to noncommutative settings and connects algebra to mathematical physics. Computational algebra has grown into a mature field with sophisticated software systems that are standard tools in research and industry.
The boundaries of algebra are porous. What counts as algebraic is often a matter of emphasis rather than a sharp distinction: a problem may be algebraic in its methods, its objects, or its questions. This flexibility is a source of strength. Algebra provides a common language for mathematics, and its structures appear wherever there is regularity, symmetry, or combination. For the educated newcomer, the essential map is this: algebra studies the laws of combination, whether those laws govern numbers, symmetries, geometric objects, or abstract symbols, and it asks what those laws imply. The different approaches are different ways of asking and answering that question, and the subject's vitality comes from their interplay.