Algebra

• 1. Introduction

  ›

  Algebra began with a word about broken bones. The Arabic term al-jabr originally referred to the surgical treatment of bonesetting, before it took on a meaning that would reshape mathematics. In the 9th century, the Persian mathematician Muhammad ibn Musa al-Khwarizmi borrowed that word to name a method for transforming equations. He placed it in the title of a treatise that was later translated into Latin as Liber Algebrae et Almucabola. From there the term entered English in the 16th century, by way of Italian, Spanish, and medieval Latin. But algebra is far larger than its name. It is a branch of mathematics that deals with abstract systems and the manipulation of expressions inside them. How did a technique for solving specific problems become a discipline of its own? Why do mathematicians speak of groups, rings, and fields as if they were species in a vast taxonomy? And how did a study of equations grow into a tool that reaches geometry, number theory, cryptology, and the workings of machine learning? This is the story of how abstraction became power.

• 2. From Numbers To Variables

  ›

  Variables are symbols for unspecified or unknown quantities, and they are what separate algebra from plain arithmetic. By convention, lowercase letters stand in for these unknowns, while other lowercase letters serve as constants and coefficients. With them, a mathematician can state relationships without knowing exact values, and express general laws true for any numbers. The commutative property of multiplication is one such law, holding no matter which numbers fill the gaps.

  Elementary algebra, also called school algebra, college algebra, and classical algebra, is the oldest and most basic form of the subject. It uses the same operations arithmetic does, including addition, subtraction, multiplication, division, exponentiation, extraction of roots, and logarithm, but it allows variables alongside ordinary numbers. Algebraic expressions are built by combining variables and numbers with these operations.

  Some of those expressions become statements that relate two expressions to one another. An equation says that two expressions are equal, marked by the equals sign. An inequation says they differ, using symbols like the less-than sign or the greater-than sign. Unlike bare expressions, statements can be true or false, and their truth usually depends on the values of the variables. Identity equations are true for every value the variables can take, while conditional equations are true only for some.

  The central goal of elementary algebra is to find the values for which a statement holds. This is done by transforming statements according to fixed rules. The guiding principle is balance: whatever operation is applied to one side of an equation must be applied to the other. Subtract a number from the left, and it must come off the right as well. The aim is to isolate the variable of interest on one side, a process called solving the equation for that variable.

  Simplification replaces a complicated expression with an equivalent simpler one, often through the distributive property. Substitution swaps one variable for an equivalent expression that avoids it, and knowing one variable's value can unlock others. Equations can also be read geometrically, with variables treated as coordinates and solutions plotted as points. The graph of an equation is the full collection of pairs that solve it, and that bridge between symbol and shape carries into the study of polynomials.

• 3. The Search For Roots

  ›

  A polynomial is an expression built from one or more terms added or subtracted, where each term is a constant, a variable, or a product of constants and variables raised to positive integer powers. A monomial has one term, while two- and three-term versions are called binomials and trinomials. The degree of a polynomial is the largest sum of variable exponents among its terms. Polynomials of degree one are linear, and a polynomial is univariate or multivariate depending on whether it uses one variable or more.

  Factorization rewrites a polynomial as a product of several factors, which makes it easier to find where the polynomial equals zero. A product is zero exactly when one of its factors is zero, so factoring exposes the values that solve a polynomial equation. Before the 19th century, much of algebra was devoted to these polynomial equations, formed by setting a polynomial equal to zero.

  The first attempts to solve them expressed the answers in terms of nth roots. A second-degree equation yields to the quadratic formula, and degrees three and four are handled by the cubic and quartic formulas. Higher degrees resist this approach entirely. The Abel-Ruffini theorem, proven in the 19th century, showed that no general formula in roots exists beyond degree four. When formulas fail, approximate answers can still be found using numerical tools like the Newton-Raphson method.

  The fundamental theorem of algebra makes a sweeping promise about existence. Every univariate polynomial equation of positive degree, with real or complex coefficients, has at least one complex solution. It follows that any such polynomial can be factorized into linear polynomials. The theorem was proved at the beginning of the 19th century, yet it offers no recipe for computing the solutions it guarantees, leaving a gap between knowing an answer exists and finding it.

• 4. Systems And Spaces

  ›

  Linear algebra begins with systems of linear equations, sets of equations whose common solutions are the prize. An equation counts as linear when it can be written in a standard form built from constants. The field provides methods to find values that satisfy all equations in a system at once, and to study the entire set of those solutions.

  Matrices, rectangular arrays of values, were first introduced to give systems of linear equations a compact and synthetic notation. Under conditions on their rows and columns, matrices can be added, multiplied, and sometimes inverted. Every method for solving linear systems can be recast as a manipulation of matrices. Solving a system may amount to computing an inverted matrix and multiplying it through to reveal the answer.

  Techniques for solving these systems range from the introductory to the advanced. Substitution and elimination sit at the simple end, while matrix methods like Cramer's rule, Gaussian elimination, and LU decomposition lie further along. Some systems are inconsistent, with no solutions because the equations contradict each other. Consistent systems have either a single unique solution or infinitely many.

  Vector spaces and linear maps occupy a large part of the field. A vector space is an algebraic structure with an addition making it an abelian group and a scalar multiplication compatible with that addition. A linear map is a function between vector spaces that respects both operations. For finite-dimensional spaces, vectors and linear maps can be represented by matrices, which means the theory of matrices and the theory of finite-dimensional vector spaces are essentially the same.

  Geometry gives these systems a visible form. With two variables, each equation is a line in two-dimensional space, and the point where lines cross solves the whole system. Parallel lines mean an inconsistent system with no solution, while two equations describing the same line share every solution. Adding variables raises the dimension, so three-variable equations become planes in three-dimensional space, and the place where all planes meet is where the system resolves.

• 5. Groups, Rings, Fields

  ›

  Abstract algebra, also called modern algebra, compares algebraic structures rather than working inside any single one. It asks how structures differ and what types exist, sorting them by the number of operations they use and the laws they obey. In mathematics education, it is the advanced undergraduate course that majors take after linear algebra. Formally, an algebraic structure is an underlying set of mathematical objects together with one or more operations, often binary operations that take two objects from the set and return another.

  Groups are among the most basic types. A group has a single operation that must be associative and must possess an identity element and inverse elements. Associativity means the order of repeated applications does not matter. An identity element leaves any other element unchanged, and an inverse element undoes its partner, returning the identity. The integers under addition form a group, with zero as the neutral element. The natural numbers under addition do not, because they hold only positive integers and lack inverses.

  Group theory studies these objects through results like the fundamental theorem of finite abelian groups and the Feit-Thompson theorem. That second theorem was an early step toward one of the great achievements of 20th-century mathematics. A collaborative effort spanning more than 10,000 journal pages, mostly published between 1960 and 2004, produced a complete classification of finite simple groups.

  A ring carries two operations that behave like the addition and multiplication of numbers. Under addition, a ring is a commutative group, and its multiplication is associative, distributive over addition, and equipped with an identity element. Multiplication need not commute, but when it does, the structure is a commutative ring, and the integers are among the simplest examples. A field is a commutative ring in which every nonzero element has a multiplicative inverse. The integers fall short, since most have no inverse within them, but the rational numbers, the real numbers, and the complex numbers each form a field.

  Ring theory explores subrings, quotient rings, polynomial rings, and ideals, alongside results like Hilbert's basis theorem. Field theory examines field extensions, algebraic closures, and finite fields. Galois theory binds the two together, mapping the relationship between fields and groups through the fundamental theorem of Galois theory.

• 6. The Architecture Of Structures

  ›

  Magmas, semigroups, monoids, modules, lattices, and algebras over a field are only part of the wider family of structures algebra studies. They differ in the objects they describe and the requirements their operations meet. Many are linked: a basic structure becomes a more specialized one by adding constraints, so a magma turns into a semigroup once its operation is associative.

  Homomorphisms compare two algebraic structures by mapping one underlying set to another while preserving structural features. The existence of a homomorphism shows that an operation in the second structure plays the same role as one in the first. Isomorphisms are a special kind, a bijective homomorphism that pairs the elements of two structures one to one, with nothing left unmapped, signaling a deep similarity between them.

  Subalgebras offer another lens. A subalgebra shares the operations and axioms of its parent structure, differing only in that its underlying set is a subset of the larger one. Its operations must stay closed, producing only elements that belong to the subset. The even integers under addition form a subalgebra of the integers, since two even numbers always sum to another. The odd integers do not, because adding two of them yields an even number outside the chosen set.

  Universal algebra rises above particular structures to study them in general. It ignores the specific elements of underlying sets and admits operations with more than two inputs, including ternary operations. It investigates which structural features different structures share, among them the identities that hold true across them. A variety is the class of all structures satisfying certain identities, so any two structures obeying commutativity belong to the same variety.

  Category theory frames objects by the morphisms, or arrows, that connect them. A category is a collection of objects together with morphisms that can be composed, where composition is associative and every object has an identity morphism. Categories now run through contemporary mathematics as a unifying language. Sets form the category of sets, and any group can be seen as the morphisms of a category with a single object.

• 7. A Discipline Takes Shape

  ›

  Around 1650 BCE, the Rhind Mathematical Papyrus of ancient Egypt posed a problem that reads almost like a riddle: a quantity, its fourth added to it, becomes fifteen. The papyrus is among the earliest documents on algebraic problems, and it discusses solutions to linear equations. Babylonian clay tablets from around the same era laid out methods for linear and quadratic equations, including completing the square. These efforts solved real problems but treated them as specific cases, not as a general theory.

  Greek mathematicians, starting in the 6th century BCE, cared mostly for geometry, yet they bent algebraic methods to geometric ends. They treated lengths and areas as unknown quantities, seen in Pythagoras' difference of two squares and later in Euclid's Elements. In the 3rd century CE, Diophantus gave a detailed treatment of solving algebraic equations in his Arithmetica, and he was the first to experiment with symbolic notation for polynomials, influencing later Arabic algebra. In ancient China, The Nine Chapters on the Mathematical Art explored solution techniques that included matrix-like constructs.

  Al-Khwarizmi changed the nature of the subject when he published The Compendious Book on Calculation by Completion and Balancing in 825 CE. He gave the first analytical theory for solving equations, sorting them into six standard forms with systematic step-by-step procedures. By treating unknowns as general algebraic objects rather than features of specific figures, he built a formal operational framework and turned algebra into a self-contained discipline. The 9th-century Arab mathematician Thabit ibn Qurra and the 11th- and 12th-century Persian mathematician Omar Khayyam added further contributions.

  In India, Brahmagupta worked on quadratic equations and systems of several variables in the 7th century CE, and among his innovations were zero and negative numbers in equations. Mahavira in the 9th century and Bhaskara II in the 12th refined his methods, while in 1247 the Chinese mathematician Qin Jiushao wrote the Mathematical Treatise in Nine Sections, with an algorithm for evaluating polynomials of higher degrees.

  Fibonacci carried al-Khwarizmi's ideas into Europe through works including his Liber Abaci. In 1545, the Italian polymath Gerolamo Cardano published Ars Magna, which discussed imaginary numbers and first presented general methods for cubic and quartic equations. In the 16th and 17th centuries, Francois Viete and Rene Descartes introduced letters and symbols for variables and operations, replacing the verbal descriptions their predecessors had used. Some historians treat this shift toward symbolic manipulation as the true beginning of algebra, calling everything before it the prehistory of the subject.

• 8. Algebra Everywhere

  ›

  Carl Friedrich Gauss closed the 18th century by proving the fundamental theorem of algebra, establishing that polynomials of any degree have zeros without giving a general solution to find them. Soon after, Paolo Ruffini and Niels Henrik Abel showed that no general solution exists for polynomials of degree five and higher. In response, Evariste Galois built what became Galois theory, deepening the analysis of polynomial solutions while laying the foundation of group theory, which mathematicians quickly carried into geometry and number theory.

  From the mid-19th century, interest shifted from polynomials toward a general inquiry into algebraic structures, the birth of abstract algebra. New systems appeared, including Boolean algebra, vector algebra, and matrix algebra. David Hilbert, Ernst Steinitz, Emmy Noether, and Emil Artin studied these structures and sorted them by their axioms into groups, rings, and fields. The still broader idea of universal algebra was conceived by Alfred North Whitehead in his 1898 book A Treatise on Universal Algebra, and from the 1930s Garrett Birkhoff developed its foundations. Topological algebra, homological algebra, category theory, and model theory followed.

  The reach of these ideas extends far beyond pure mathematics. Algebraic geometry studies algebraic varieties, the solutions to systems of polynomial equations, while algebraic topology uses group theory to classify spaces by features like loops or holes through homotopy groups. Algebraic number theory analyzes integers with structures like the ring of integers, and figures such as Fermat's Last Theorem express its general laws. Algebraic combinatorics applies group theory to graphs and symmetries, and algebraic logic uses Boolean algebra to describe propositional logic.

  Outside mathematics, algebraic methods express scientific laws and solve equations across physics, chemistry, and biology, as well as economics, geography, engineering, and computer science. Linear algebra sits at the center of artificial intelligence and machine learning, enabling efficient processing of large datasets. Group theory runs through crystallography and quantum mechanics, and it even governs puzzles like Sudoku, Rubik's Cubes, and origami. Coding theory and cryptology lean on abstract algebra to fight noise in data transmission and to keep information secure.

  For most people, though, the encounter with algebra comes far earlier and far more concretely. School algebra is usually held back until secondary education, because it demands mastery of arithmetic while adding the new strain of abstract reasoning. Teachers reach for balance scales, sticks, cups, and function machines drawn as flow diagrams to make the abstract tangible. A word problem about Naomi and her brother sharing twelve apples can introduce the same symbolic thinking that, pursued far enough, leads to the rings and fields waiting at the university level.