Algebra is the branch of mathematics that studies algebraic structures — sets of objects together with operations that combine them — and the rules for manipulating symbolic expressions built from those operations. It began as the art of solving equations and grew into the general science of mathematical structure itself.

Algebra

Algebra occupies a peculiar dual position in mathematics. To a schoolchild it is the manipulation of $x$'s and $y$'s; to a research mathematician it is the axiomatic study of groups, rings, fields, modules, and the categories that organize them. These two faces are not accidents of pedagogy. They mark the two great historical moments of the subject: the ancient and medieval project of solving equations, and the nineteenth-century revolution that transformed algebra into a theory of structures. Understanding algebra at a rigorous level means understanding how the first became the second, and why that transformation reshaped the whole of modern mathematics.

This chapter traces algebra from its computational origins through the structural turn, examines its principal branches, and closes with the historiographical debates and open frontiers that keep the field alive.

The word and the idea

The word algebra carries its own history. It descends from the Arabic الجبر (al-jabr), a word that in ordinary ninth-century usage referred to the setting of broken bones — the restoration of something to wholeness. The mathematical sense was fixed by the Persian scholar Muḥammad ibn Mūsā al-Khwārizmī (c. 780 – c. 850), who worked at the House of Wisdom (Bayt al-Ḥikma) in Baghdad under the Abbasid caliph al-Maʾmūn. In his treatise al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wal-Muqābala ("The Compendious Book on Calculation by Completion and Balancing"), al-jabr named the operation of moving a subtracted quantity to the other side of an equation — "restoring" it — while al-muqābala named the balancing or cancellation of like terms. To transform $x^2 = 40x - 4x^2$ into $5x^2 = 40x$ is to perform al-jabr followed by al-muqābala.

A Soviet stamp (1983) commemorating the 1200th anniversary of al-Khwārizmī, the scholar who gave algebra its name — source

When the treatise was rendered into Latin in the twelfth century as Liber Algebrae et Almucabola, the Arabic word entered European mathematics. The author's own name, Latinized as Algoritmi, gave us algorithm. The word algebra reached English in the sixteenth century by way of Italian and Spanish, and for a long time it meant exactly what al-Khwārizmī had intended: the theory of equations, the art of manipulating polynomial equations to solve them. Only in the nineteenth century did the meaning broaden to encompass the study of abstract operations and structures — a semantic shift that mirrors the intellectual one.

It is worth being precise about the modern layering of the term. Arithmetic studies fixed operations — addition, subtraction, multiplication, division — on a fixed domain such as the integers or reals. Elementary algebra raises the level of abstraction by admitting variables, symbols standing for unspecified quantities, so that one can state general laws such as the commutative law $a \times b = b \times a$ rather than mere numerical facts like $2 \times 3 = 3 \times 2$. Abstract algebra abandons the restriction to numbers altogether, studying structures whose elements may be permutations, symmetries, functions, or matrices. Universal algebra and category theory ascend one level further, studying not particular structures but the general patterns common to whole classes of them. And in a still narrower technical sense, an algebra (a countable noun) is a specific object: a vector space equipped with a bilinear multiplication — as in a Lie algebra or an associative algebra.

Elementary algebra: the science of the unknown

Elementary algebra — variously called school, college, or classical algebra — is the generalization of arithmetic through the introduction of variables. Its objects are algebraic expressions, built by applying arithmetic operations to numbers and to variables, conventionally $x, y, z$ for unknowns and $a, b, c$ for constants and coefficients. An expression such as $5x + 3$ or $64x_1{}^2 + 7x_2 - c$ is not itself true or false; it merely denotes a quantity depending on the values of its variables.

Meaning enters when two expressions are compared. An equation asserts equality, $5x^2 + 6x = 3y + 4$; an inequation asserts a relation of order or difference using $<$, $>$, or $\neq$. Such statements possess a truth value that generally depends on the variables. The subtle distinction between an identity equation, true for all admissible values — for instance $2x + 5x = 7x$ — and a conditional equation, true only for particular values such as $x + 4 = 9$, lies at the heart of what algebra does. Identities express structural laws; conditional equations pose the problem of the unknown.

The central task of elementary algebra is to determine the values that make a conditional statement true — to solve the equation. The governing principle is one of balance: any operation applied to one side of an equation must be applied to the other, so that equality is preserved. To solve $x - 7 = 4$ one adds $7$ to both sides, isolating the variable to obtain $x = 11$. Supporting techniques include simplification, replacing an expression by an equivalent simpler one — $7x - 3x = (7-3)x = 4x$ by the distributive law — and substitution, replacing a variable by an equivalent expression, so that knowing $y = 3x$ turns $7xy$ into $21x^2$.

A conceptual leap of the seventeenth century made these manipulations geometric. If the variables of an equation are read as coordinates, then its solutions form a graph. The pair $(0, -1)$ satisfies $y = 0.5x - 1$ and so lies on its graph; the pair $(0, 7)$ does not. This translation between the symbolic and the spatial — the founding insight of analytic geometry — bound algebra permanently to geometry and to the calculus that grew from it.

Polynomials and the theory of equations

A polynomial is an expression of terms added or subtracted, each term a constant, a variable, or a product of a constant with variables raised to non-negative integer powers, as in $x^4 + 3xy^2 + 5x^3 - 1$. Its degree is the largest total exponent among its terms — here $4$. Polynomials of one term, two terms, and three terms are monomials, binomials, and trinomials; those of degree one are linear.

Before the nineteenth century, algebra was essentially the theory of polynomial equations — equations formed by setting a polynomial equal to zero. Factorization, rewriting a polynomial as a product, is the key computational tool, for a product vanishes exactly when one of its factors does: since $x^2 - 3x - 10 = (x+2)(x-5)$, the equation $x^2 - 3x - 10 = 0$ has solutions $x = -2$ and $x = 5$.

The paradigm of a solution formula is the quadratic, known in geometric form to the Babylonians and stated in general as

$$x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$$

for $ax^2 + bx + c = 0$. The great drama of Renaissance algebra was the search for analogous formulas of higher degree, resolved for the cubic and quartic in sixteenth-century Italy (discussed below), and then — after nearly three centuries of frustration — decisively closed. The Abel–Ruffini theorem, argued by Paolo Ruffini around 1799 and proved rigorously by Niels Henrik Abel in 1824, shows that no general solution in radicals exists for polynomials of degree five or higher. Where exact radical solutions fail, numerical methods such as the Newton–Raphson iteration furnish arbitrarily good approximations.

Underpinning the whole theory is the fundamental theorem of algebra: every univariate polynomial of positive degree with complex coefficients has at least one complex root, so that every such polynomial factors completely into linear factors over $\mathbb{C}$. First proved with rigor by Carl Friedrich Gauss in his 1799 doctoral dissertation (and refined by him in later proofs), the theorem is existential, not constructive — it guarantees roots without telling us how to find them, a gap that motivates much of numerical and computational algebra.

Linear algebra: equations in many unknowns

Linear algebra grows from the study of systems of linear equations. An equation is linear if it has the form

$$a_1 x_1 + a_2 x_2 + \cdots + a_n x_n = b,$$

with the $a_i$ and $b$ constants; a system is a collection of such equations sought to be satisfied simultaneously. The decisive notational advance was the matrix, a rectangular array of coefficients. A system such as

$$\begin{aligned} 9x_1 + 3x_2 - 13x_3 &= 0 \\ 2.3x_1 + 7x_3 &= 9 \\ -5x_1 - 17x_2 &= -3 \end{aligned}$$

compresses to the single equation $AX = B$, where $A$ is the coefficient matrix, $X$ the column of unknowns, and $B$ the column of constants. This is far more than shorthand. It reframes the problem: solving a linear system becomes a question about a linear transformation between vector spaces, and the solution set acquires geometric meaning as an intersection of hyperplanes — a point, a line, a plane, or the empty set.

The conceptual vocabulary of linear algebra — vector space, basis, dimension, linear independence, rank, determinant, eigenvalue, and eigenvector — was assembled over the nineteenth and early twentieth centuries from disparate sources: the study of determinants by Leibniz, Cramer, and Cauchy; Hermann Grassmann's visionary but neglected Ausdehnungslehre (1844), which anticipated the abstract vector space; Arthur Cayley's A Memoir on the Theory of Matrices (1858), which treated matrices as objects of an algebra with their own multiplication; and the axiomatization of vector spaces by Giuseppe Peano in 1888 and, definitively, by Hermann Weyl and others in the 1910s and 1920s. Today linear algebra is arguably the most widely applied branch of mathematics: it is the computational engine of quantum mechanics, statistics, computer graphics, the numerical solution of differential equations, and the machine-learning systems that power modern artificial intelligence, where enormous matrices of weights are the fundamental objects of computation.

The structural turn: from equations to abstract algebra

The most consequential event in the history of algebra was not the solution of any particular equation but the recognition, in the nineteenth century, that the operations themselves — abstracted from any particular numbers — form the true subject matter. Abstract algebra studies algebraic structures: a non-empty set together with one or more operations obeying stated axioms. It classifies structures by how many operations they carry and which laws those operations satisfy.

Groups

The most primordial structure is the group: a set $G$ with a single binary operation that is associative, possesses an identity element, and provides an inverse for every element. When the operation is also commutative, the group is called abelian, after Abel. Groups arose not from arithmetic but from the theory of equations and from geometry. Évariste Galois, in manuscripts written before his death in a duel in 1832 at the age of twenty, showed that the solvability of a polynomial equation by radicals is governed by the structure of a group of permutations of its roots — the Galois group. His famous last letter to his friend Auguste Chevalier, written on the eve of the duel, urged that his ideas be examined:

"Tu prieras publiquement Jacobi ou Gauss de donner leur avis, non sur la vérité, mais sur l'importance des théorèmes." ("Ask Jacobi or Gauss publicly to give their opinion, not on the truth, but on the importance of these theorems.")

Galois's work, published only in 1846 by Joseph Liouville, revealed that the abstract structure of symmetry — the group — controls the solvability of equations. The independent discovery that permutation groups (Cauchy, Lagrange) and transformation groups (Felix Klein, whose 1872 Erlangen Program reorganized geometry around its symmetry groups; Sophus Lie, who created the theory of continuous groups) shared a common abstract form led to the modern axiomatic definition, given by Walther von Dyck in 1882 and Heinrich Weber in 1893.

Rings and fields

Adding a second operation yields richer structures. A ring is a set with two operations, addition and multiplication, where addition forms an abelian group and multiplication is associative and distributes over addition — the integers $\mathbb{Z}$ are the archetype. A field is a commutative ring in which every nonzero element has a multiplicative inverse, so that division is always possible: the rationals $\mathbb{Q}$, the reals $\mathbb{R}$, and the complex numbers $\mathbb{C}$ are fields, as are the finite fields $\mathbb{F}_p$ of arithmetic modulo a prime.

These concepts crystallized in the study of number theory. Richard Dedekind, editing and extending the work of his teacher Gauss and of Ernst Kummer, introduced ideals in the 1870s to restore unique factorization in rings of algebraic integers where ordinary factorization fails — coining the word "ring" only later (the term is due to David Hilbert). Leopold Kronecker developed a parallel constructive theory. The abstraction proceeded through Heinrich Weber's field axioms and reached maturity in the twentieth century.

Emmy Noether and the axiomatic style

If Galois opened the structural era, Emmy Noether consummated it. Working at Göttingen from 1915 (though barred, as a woman, from a salaried professorship for years, lecturing at first under Hilbert's name), Noether reconceived algebra as the study of structures defined by their axioms and their morphisms rather than by the concrete nature of their elements. Her 1921 paper Idealtheorie in Ringbereichen founded the general theory of commutative rings and introduced the ascending chain condition that defines what we now call Noetherian rings. Her insistence that theorems be proved from axioms alone, and that the objects of study be understood through the maps between them, set the tone for the entire modern subject.

Emmy Noether (1882–1935), whose axiomatic reconstruction of ring and ideal theory defined the style of modern abstract algebra — source

Her student circle and its intellectual descendants — including B. L. van der Waerden, whose textbook Moderne Algebra (1930–1931) transmitted the new structural viewpoint to a generation — carried the program forward. The French collective writing under the pseudonym Nicolas Bourbaki, founded in 1935, made structure the organizing concept of all mathematics in their monumental Éléments de mathématique, treating algebra as one of the "mother structures" alongside order and topology. Hermann Weyl captured the spirit of the era in a memorial address, praising Noether's ability to see "the axiomatic point of view" not as a formal game but as the natural home of mathematical thought.

Universal algebra and category theory

Abstraction did not stop with particular structures. Universal algebra, launched systematically by Garrett Birkhoff in the 1930s and named in the tradition of Alfred North Whitehead's 1898 A Treatise on Universal Algebra, studies what all algebraic structures have in common. Its objects are sets equipped with arbitrary collections of operations of various arities (numbers of arguments), and its theorems — such as Birkhoff's theorem characterizing varieties as classes of algebras closed under homomorphic images, subalgebras, and products — hold uniformly across groups, rings, lattices, and beyond. A single framework of identities subsumes the commutative, associative, and distributive laws as instances of one general notion.

Category theory, created by Samuel Eilenberg and Saunders Mac Lane in 1945 originally to clarify constructions in algebraic topology, took a further step: it studies not the internal composition of structures but the morphisms between them and the way whole classes of structures relate through functors and natural transformations. In category theory an object is known entirely by its relationships. This viewpoint, initially derided by some as "general abstract nonsense," became indispensable — providing the language of Alexander Grothendieck's revolution in algebraic geometry in the 1950s and 1960s, and unifying constructions across algebra, topology, and logic. It represents the furthest reach of the impulse that began when al-Khwārizmī first treated the manipulation of an unknown as a subject in its own right.

Historiography: whose algebra, and when did it begin?

The history of algebra is contested terrain, and the debates are substantive, not merely territorial.

The first concerns origins. Babylonian scribes of the Old Babylonian period (c. 1800 BCE), on tablets such as those studied by Otto Neugebauer and preserved in collections like Plimpton 322, solved quadratic problems by systematic procedures. The Egyptian Rhind Papyrus (c. 1550 BCE) contains linear "aha" problems. Yet historians disagree sharply over whether these constitute algebra or merely sophisticated arithmetic recipes. Jens Høyrup has argued influentially that Babylonian problem-solving was a genuine "cut-and-paste" geometric algebra with its own conceptual logic, not a mere collection of rules; others insist that without a symbolic or explicitly general method the label is anachronistic.

A parallel debate surrounds the Greeks. Euclid's Elements Book II contains propositions — such as the geometric identity equivalent to $(a+b)^2 = a^2 + 2ab + b^2$ — that nineteenth-century historians like Paul Tannery and Hieronymus Zeuthen read as "geometric algebra," a spatial encoding of algebraic identities. This interpretation was forcefully attacked in the 1970s by Sabetai Unguru, who charged it with imposing modern symbolic categories on a fundamentally geometric Greek mathematics. The ensuing "Unguru controversy," which drew in figures like André Weil and B. L. van der Waerden, remains a touchstone for how historians should read ancient texts — as evidence of their authors' concepts or as raw material translatable into ours.

The third debate concerns the founding of algebra proper. Diophantus of Alexandria (fl. c. 250 CE), in his Arithmetica, introduced a symbolic abbreviation for the unknown and its powers and solved indeterminate equations — the very problems, later called Diophantine, whose margin in Pierre de Fermat's copy of 1637 bore the note that became Fermat's Last Theorem. Some historians therefore call Diophantus "the father of algebra." Others reserve that title for al-Khwārizmī, on the ground that he alone presented algebra as an autonomous, systematic discipline with a general method and classification of equation types, independent of the specific numerical puzzles of Diophantus. Still others emphasize the crucial contributions of Indian mathematicians — Brahmagupta, who in the Brāhmasphuṭasiddhānta (628 CE) gave rules for solving quadratics and worked freely with negative numbers and zero, and Bhāskara II, whose Bījagaṇita (1150) advanced symbolic technique.

The fourth thread traces the emergence of symbolism itself, which historians following the Danish scholar's periodization divide into three stages: rhetorical algebra (everything in words, as in al-Khwārizmī), syncopated algebra (abbreviations, as in Diophantus), and symbolic algebra (full operative notation). The decisive transition came in the sixteenth and seventeenth centuries in Europe. The Italian cossists and the dramatic contest over the cubic — Scipione del Ferro's secret solution, Niccolò Tartaglia's independent rediscovery, and Gerolamo Cardano's publication of it (together with Lodovico Ferrari's solution of the quartic) in the Ars Magna of 1545 — forced mathematicians to confront quantities, including the square roots of negatives, that had no ready arithmetic meaning. François Viète's In Artem Analyticem Isagoge (1591) introduced letters for both knowns and unknowns, the birth of literal symbolic algebra; and René Descartes's La Géométrie (1637) fixed much of our modern notation — $x, y, z$ for unknowns, $a, b, c$ for knowns, exponents for powers — and fused algebra with geometry. It is precisely because these developments were so hard-won that the "geometric algebra" debate matters: the question of when symbolic generality truly appears is a question about the nature of algebraic thought.

The research frontier

Algebra is not a closed subject. Its open problems and active programs are among the deepest in mathematics.

In number theory and arithmetic geometry, the Langlands program — a vast web of conjectures proposed by Robert Langlands beginning in 1967 — predicts profound correspondences between Galois representations and automorphic forms, effectively a grand unified theory linking algebra, harmonic analysis, and geometry. Andrew Wiles's 1994 proof of Fermat's Last Theorem was, in structural terms, the resolution of a special case (the modularity of elliptic curves) within this program. The Birch and Swinnerton-Dyer conjecture, one of the seven Millennium Prize Problems, concerns the algebraic structure of the group of rational points on an elliptic curve and remains unproven.

In representation theory, the classification of finite simple groups — completed around 2004 after a collective effort spanning tens of thousands of journal pages and involving the discovery of the sporadic "Monster" group of order roughly $8 \times 10^{53}$ — stands as one of the largest theorems ever proved, and the ongoing project of producing a "second-generation" simplified proof is itself a major undertaking. The unexpected numerical coincidences of "monstrous moonshine," relating the Monster group to modular functions and later explained through string theory and vertex operator algebras (Richard Borcherds, Fields Medal 1998), show how algebra continues to entangle itself with theoretical physics.

In commutative algebra and algebraic geometry, questions about the resolution of singularities in positive characteristic, the minimal model program, and the foundations of homotopy type theory and derived and higher category theory extend Grothendieck's structural vision into new territory. And computational and applied algebra — Gröbner bases, algebraic complexity theory, coding theory, cryptography (whose security often rests on the hardness of algebraic problems such as factoring or discrete logarithms), and the algebraic structures underlying quantum computation — connect the most abstract structures to the most practical technologies.

What unites these frontiers is the same conviction that drove the nineteenth-century structural turn: that beneath the surface of particular calculations lie structures, and that the deepest understanding comes from studying those structures and their transformations directly. From al-Khwārizmī balancing an equation to a category theorist tracing a natural transformation, algebra remains the discipline that finds the general law hidden in the particular manipulation.

Further exploration

• B. L. van der Waerden, Moderne Algebra (1930–1931) — The textbook, distilled from lectures by Emmy Noether and Emil Artin, that carried the structural revolution into the mainstream; reading its opening chapters shows how the axiomatic style was consciously introduced.
• Victor J. Katz and Karen Hunger Parshall, Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century (2014) — The best single-volume scholarly history, careful about the historiographical debates and rich in primary detail.
• Jens Høyrup, Lengths, Widths, Surfaces: A Portrait of Old Babylonian Algebra and Its Kin (2002) — The definitive case for reading Babylonian mathematics as genuine geometric algebra; essential for the origins debate.
• al-Khwārizmī, The Compendious Book on Calculation by Completion and Balancing (c. 830) — Available in Frederic Rosen's 1831 English translation; reading the founding text shows algebra done entirely in words, before symbolism.
• Gerolamo Cardano, Ars Magna (1545) — Translated by T. Richard Witmer as The Great Art (1968); the Renaissance breakthrough on cubics and quartics, and the birthplace of the modern struggle with complex numbers.
• Charles C. Gillispie et al., eds., and the writings of Évariste Galois — Galois's collected mathematical papers, including the final letter to Chevalier, reveal genius under extraordinary pressure and the origin of group theory.
• Hermann Weyl, "Emmy Noether" (memorial address, 1935) — A moving and mathematically insightful tribute by a great contemporary; the finest short portrait of the mind that shaped modern algebra.
• Saunders Mac Lane, Categories for the Working Mathematician (1971) — The classic exposition of category theory by one of its founders, for the reader ready to see algebra from its highest vantage point.
• The Plimpton 322 tablet (Columbia University) — The famous Old Babylonian clay tablet of Pythagorean-triple data; an artifact that lets you confront the origins question with the evidence in front of you.