Short answers, pulled from the story.
Algebra is a branch of mathematics that deals with abstract systems called algebraic structures and the manipulation of expressions within them. It is a generalization of arithmetic that introduces variables and algebraic operations beyond standard ones like addition and multiplication.
The word algebra comes from the Arabic term al-jabr, which originally referred to the surgical treatment of bonesetting. In the 9th century, Muhammad ibn Musa al-Khwarizmi gave it a mathematical meaning, and the word entered English in the 16th century by way of Italian, Spanish, and medieval Latin.
The Persian mathematician al-Khwarizmi systematized algebra as an independent discipline distinct from geometry in the 9th century. He published The Compendious Book on Calculation by Completion and Balancing in 825 CE, classifying equations into six standard forms with step-by-step solution procedures.
The main branches are elementary algebra, linear algebra, and abstract algebra. Elementary algebra uses variables and equation transformations, linear algebra studies systems of linear equations and vector spaces, and abstract algebra studies algebraic structures such as groups, rings, and fields.
They differ in the number of operations they use and the laws they obey. A group has one associative operation with an identity element and inverse elements, a ring has two operations behaving like addition and multiplication, and a field is a commutative ring in which every nonzero element has a multiplicative inverse.
Algebra is applied across geometry, topology, number theory, and calculus, and in physics, chemistry, biology, economics, engineering, and computer science. Linear algebra plays a central role in artificial intelligence and machine learning, while group theory is used in crystallography, quantum mechanics, and even puzzles like Rubik's Cubes.
Starting in the mid-19th century, interest shifted from the study of polynomials toward a general inquiry into algebraic structures, marking the emergence of abstract algebra. Mathematicians including David Hilbert, Ernst Steinitz, Emmy Noether, and Emil Artin categorized structures into types like groups, rings, and fields based on their axioms.