Abstract algebra flipped how textbooks teach structure
Before the 1800s, algebra meant polynomials. Then scattered facts from number theory, geometry, and equation-solving hardened into axiom systems for groups, rings, and fields—almost the reverse of the tidy textbook order that starts with definitions and adds examples later.
Abstract algebra, sometimes called modern algebra, studies sets equipped with operations—among them groups, rings, and fields, along with modules, vector spaces, lattice structures, and algebras built over a scalar field. The label "abstract algebra" appeared in the early twentieth century to separate this work from elementary algebra—variables standing for numbers in calculation. The perspective became so central that research mathematicians often just say "algebra," reserving the longer name for teaching. Related frameworks include category theory, which packages structures and their structure-preserving maps, and universal algebra, which treats whole types of structure as single objects.
History ran opposite to many modern syllabi. Circa 1700 BC, Babylonians could solve certain quadratic word problems—rhetorical algebra that dominated into the sixteenth century. Al-Khwarizmi coined the word "algebra" around 830 AD still in that verbal style. Fully symbolic algebra arrived late: François Viète's 1591 New Algebra, then Descartes's 1637 La Géométrie. George Peacock's 1830 Treatise tried a strictly symbolic basis, distinguishing arithmetical from symbolical algebra. Concrete pressure came from many directions: Lagrange's 1770 work on the quintic and Galois groups; Gauss's 1801 modular arithmetic and cyclic groups; Klein's 1872 Erlangen program and symmetry; Lie's 1874 Lie groups; and Hamilton's 1843 quaternions opening noncommutative ring theory.
The abstract group concept itself matured slowly. Galois used "group" in 1832 for closed collections of permutations; Cayley's 1854 paper defined what today looks like a monoid; Walther von Dyck in 1882 first required inverses in the definition. Unification into formal axioms for groups, rings, and fields happened in the early decades of the twentieth century. On the commutative side, Kummer's ideal numbers and Dedekind's unique factorization of ideals into primes seeded algebraic number theory; polynomial ideals and work by Hilbert, Lasker, and Macaulay fed algebraic geometry. Hilbert's 1890 basis theorem crowned a long invariant-theory arc. Textbooks such as van der Waerden's Moderne Algebra reverse the historical order: define first, exemplify later.
Source: Abstract algebra
