Algebra

Elementary algebra studies which values solve equations formed using arithmetical operations.

Abstract algebra studies algebraic structures, such as the ring of integers given by the set of integers ${\displaystyle (\mathbb {Z} )}$ together with operations of addition (${\displaystyle +}$) and multiplication (${\displaystyle \times }$).

Algebra is the branch of mathematics that studies certain abstract systems, known as algebraic structures, and the manipulation of statements within those systems. It is a generalization of arithmetic that introduces variables and algebraic operations other than the standard arithmetic operations such as addition and multiplication.

Elementary algebra is the main form of algebra taught in school and examines mathematical statements using variables for unspecified values. It seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. Linear algebra is a closely related field investigating variables that appear in several linear equations, called a system of linear equations. It tries to discover the values that solve all equations in the system at the same time.

Abstract algebra studies algebraic structures, which consist of a set of mathematical objects together with one or several operations defined on that set. It is a generalization of elementary and linear algebra since it allows mathematical objects other than numbers and non-arithmetic operations. It distinguishes between different types of algebraic structures, such as groups, rings, and fields, based on the number of operations they use and the laws they follow. Universal algebra provides a general framework to investigate abstract patterns that characterize different classes of algebraic structures.

Algebraic methods were first studied in the ancient period to solve specific problems in fields such as geometry. Subsequent mathematicians examined general techniques to solve equations independent of their specific applications. They described equations and their solutions using words and abbreviations until the 16th and 17th centuries, when a rigorous symbolic formalism was developed. In the mid-19th century, the scope of algebra broadened beyond a theory of equations to cover diverse types of algebraic operations and structures. Algebra is relevant to many branches of mathematics, such as geometry, topology, number theory, and calculus, and other fields of inquiry, such as logic and the empirical sciences.

Algebra is the branch of mathematics that studies algebraic structures and the operations^[a] they use.^[2] An algebraic structure is a non-empty set of mathematical objects, such as the real numbers, together with algebraic operations defined on that set, such as addition and multiplication.^[3] Algebra explores the laws, general characteristics, and types of algebraic structures. Within certain algebraic structures, it examines the use of variables in equations and how to manipulate these equations.^[4][b]

Algebra is often understood as a generalization of arithmetic.^[8] Arithmetic studies operations such as addition, subtraction, multiplication, and division, in a particular domain of numbers, such as the real numbers.^[9] Elementary algebra constitutes the first level of abstraction. Like arithmetic, it restricts itself to specific types of numbers and operations. It generalizes these operations by allowing indefinite quantities in the form of variables in addition to numbers.^[10] A higher level of abstraction is found in abstract algebra, which is not limited to a particular domain and examines algebraic structures such as groups and rings. It extends beyond typical arithmetic operations by also covering other types of operations.^[11] Universal algebra is still more abstract in that it is not interested in specific algebraic structures but investigates the characteristics of algebraic structures in general.^[12]

The term "algebra" is sometimes used in a more narrow sense to refer only to elementary algebra or only to abstract algebra.^[14] When used as a countable noun, an algebra is a specific type of algebraic structure that involves a vector space equipped with a certain type of binary operation.^[15] Depending on the context, "algebra" can also refer to other algebraic structures, such as a Lie algebra or an associative algebra.^[16]

The word algebra comes from the Arabic term الجبر (al-jabr), which originally referred to the surgical treatment of bonesetting. In the 9th century, the term received a mathematical meaning when the Persian mathematician Muhammad ibn Musa al-Khwarizmi employed it to describe a method of solving equations and used it in the title of a treatise on algebra, al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wal-Muqābalah [The Compendious Book on Calculation by Completion and Balancing] which was translated into Latin as Liber Algebrae et Almucabola.^[c] The word entered the English language in the 16th century from Italian, Spanish, and medieval Latin.^[18] Initially, its meaning was restricted to the theory of equations, that is, to the art of manipulating polynomial equations in view of solving them. This changed in the 19th century^[d] when the scope of algebra broadened to cover the study of diverse types of algebraic operations and structures together with their underlying axioms, the laws they follow.^[21]

Elementary algebra, also called school algebra, college algebra, and classical algebra,^[22] is the oldest and most basic form of algebra. It is a generalization of arithmetic that relies on variables and examines how mathematical statements may be transformed.^[23]

Arithmetic is the study of numerical operations and investigates how numbers are combined and transformed using the arithmetic operations of addition, subtraction, multiplication, division, exponentiation, extraction of roots, and logarithm. For example, the operation of addition combines two numbers, called the addends, into a third number, called the sum, as in ${\displaystyle 2+5=7}$.^[9]

Elementary algebra relies on the same operations while allowing variables in addition to regular numbers. Variables are symbols for unspecified or unknown quantities. They make it possible to state relationships for which one does not know the exact values and to express general laws that are true, independent of which numbers are used. For example, the equation ${\displaystyle 2\times 3=3\times 2}$ belongs to arithmetic and expresses an equality only for these specific numbers. By replacing the numbers with variables, it is possible to express a general law that applies to any possible combination of numbers, such as the commutative property of multiplication, which is expressed in the equation ${\displaystyle a\times b=b\times a}$.^[23]

Algebraic expressions are formed by using arithmetic operations to combine variables and numbers. By convention, the lowercase letters ${\displaystyle x}$, ${\displaystyle y}$, and ${\displaystyle z}$ represent variables. In some cases, subscripts are added to distinguish variables, as in ${\displaystyle x_{1}}$, ${\displaystyle x_{2}}$, and ${\displaystyle x_{3}}$. The lowercase letters ${\displaystyle a}$, ${\displaystyle b}$, and ${\displaystyle c}$ are usually used for constants and coefficients.^[e] The expression ${\displaystyle 5x+3}$ is an algebraic expression created by multiplying the number 5 with the variable ${\displaystyle x}$ and adding the number 3 to the result. Other examples of algebraic expressions are ${\displaystyle 32xyz}$ and ${\displaystyle 64x_{1}^{2}+7x_{2}-c}$.^[25]

Some algebraic expressions take the form of statements that relate two expressions to one another. An equation is a statement formed by comparing two expressions, saying that they are equal. This can be expressed using the equals sign (${\displaystyle =}$), as in ${\displaystyle 5x^{2}+6x=3y+4}$. Inequations involve a different type of comparison, saying that the two sides are different. This can be expressed using symbols such as the less-than sign (${\displaystyle <}$), the greater-than sign (${\displaystyle >}$), and the inequality sign (${\displaystyle \neq }$). Unlike other expressions, statements can be true or false and their truth value usually depends on the values of the variables. For example, the statement ${\displaystyle x^{2}=4}$ is true if ${\displaystyle x}$ is either 2 or −2 and false otherwise.^[26] Equations with variables can be divided into identity equations and conditional equations. Identity equations are true for all values that can be assigned to the variables, such as the equation ${\displaystyle 2x+5x=7x}$. Conditional equations are only true for some values. For example, the equation ${\displaystyle x+4=9}$ is only true if ${\displaystyle x}$ is 5.^[27]

The main goal of elementary algebra is to determine the values for which a statement is true. This can be achieved by transforming and manipulating statements according to certain rules. A key principle guiding this process is that whatever operation is applied to one side of an equation also needs to be done to the other side. For example, if one subtracts 5 from the left side of an equation one also needs to subtract 5 from the right side to balance both sides. The goal of these steps is usually to isolate the variable one is interested in on one side, a process known as solving the equation for that variable. For example, the equation ${\displaystyle x-7=4}$ can be solved for ${\displaystyle x}$ by adding 7 to both sides, which isolates ${\displaystyle x}$ on the left side and results in the equation ${\displaystyle x=11}$.^[28]

There are many other techniques used to solve equations. Simplification is employed to replace a complicated expression with an equivalent simpler one. For example, the expression ${\displaystyle 7x-3x}$ can be replaced with the expression ${\displaystyle 4x}$ since ${\displaystyle 7x-3x=(7-3)x=4x}$ by the distributive property.^[29] Factorization is used to rewrite an expression as a product of several factors. This technique is commonly used to determine the values of a polynomial^[f] that evaluate to zero. For example, the polynomial ${\displaystyle x^{2}-3x-10}$ can be factorized as ${\displaystyle (x+2)(x-5)}$. The polynomial as a whole is zero if and only if one of its factors is zero, i.e., if ${\displaystyle x}$ is either −2 or 5.^[31] For statements with several variables, substitution is a common technique to replace one variable with an equivalent expression that does not use this variable. For example, if one knows that ${\displaystyle y=3x}$ then one can simplify the expression ${\displaystyle 7xy}$ to arrive at ${\displaystyle 21x^{2}}$. In a similar way, if one knows the value of one variable one may be able to use it to determine the value of other variables.^[32]

Algebraic equations can be interpreted geometrically to describe spatial figures in the form of a graph. To do so, the different variables in the equation are understood as coordinates and the values that solve the equation are interpreted as points of a graph. For example, if ${\displaystyle x}$ is set to zero in the equation ${\displaystyle y=0.5x-1}$, then ${\displaystyle y}$ must be −1 for the equation to be true. This means that the ${\displaystyle (x,y)}$-pair ${\displaystyle (0,-1)}$ is part of the graph of the equation. The ${\displaystyle (x,y)}$-pair ${\displaystyle (0,7)}$, by contrast, does not solve the equation and is therefore not part of the graph. The graph encompasses the totality of ${\displaystyle (x,y)}$-pairs that solve the equation.^[33]

Linear algebra employs the methods of elementary algebra to study systems of linear equations.^[34][g] An equation is linear if it can be expressed in the form ${\displaystyle a_{1}x_{1}+a_{2}x_{2}+...+a_{n}x_{n}=b}$ where ${\displaystyle a_{1}}$, ${\displaystyle a_{2}}$, ..., ${\displaystyle a_{n}}$ and ${\displaystyle b}$ are constants. This means that no variables are multiplied with each other and no variables are raised to a power greater than one. For example, the equations ${\displaystyle x_{1}-7x_{2}+3x_{3}=0}$ and ${\displaystyle 0.25x-y=4}$ are linear while the equations ${\displaystyle x^{2}=y}$ and ${\displaystyle 3x_{1}x_{2}+15=0}$ are non-linear. Several equations form a system of equations if they all rely on the same set of variables.^[36]

Systems of linear equations are often expressed through matrices^[h] and vectors^[i] to represent the whole system in a single equation. This can be done by moving the variables to the left side of each equation and moving the constant terms to the right side. The system is then expressed by formulating a matrix that contains all the coefficients of the equations and multiplying it with the column vector made up of the variables.^[39] For example, the system of equations $${\displaystyle {\begin{aligned}9x_{1}+3x_{2}-13x_{3}&=0\\2.3x_{1}+7x_{3}&=9\\-5x_{1}-17x_{2}&=-3\end{aligned}}}$$ can be written as $${\displaystyle {\begin{bmatrix}9&3&-13\\2.3&0&7\\-5&-17&0\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\\x_{3}\end{bmatrix}}={\begin{bmatrix}0\\9\\-3\end{bmatrix}}}$$

Like elementary algebra, linear algebra is interested in manipulating and transforming equations to solve them. It goes beyond elementary algebra by dealing with several equations at once and looking for the values for which all equations are true at the same time. For example, if the system is made of the two equations ${\displaystyle 3x_{1}-x_{2}=0}$ and ${\displaystyle x_{1}+x_{2}=8}$ then using the values 1 and 3 for ${\displaystyle x_{1}}$ and ${\displaystyle x_{2}}$ does not solve the system of equations because it only solves the first but not the second equation.^[40]

Two central questions in linear algebra are whether a system of equations has any solutions and, if so, whether it has a unique solution. A system of equations has no solutions if it is inconsistent, meaning that two or more equations contradict each other. For example, the equations ${\displaystyle x_{1}-3x_{2}=0}$ and ${\displaystyle x_{1}-3x_{2}=7}$ contradict each other since no values of ${\displaystyle x_{1}}$ and ${\displaystyle x_{2}}$ exist that solve both equations at the same time. Only consistent systems of equations have solutions.^[41]

Whether a consistent system of equations has a unique solution depends on the number of variables and independent equations. Several equations are independent of each other if they do not provide the same information and cannot be derived from each other. A unique solution exists if the number of variables is the same as the number of independent equations. Underdetermined systems, by contrast, have more variables than independent equations and have an infinite number of solutions if they are consistent.^[42]

Many techniques employed in elementary algebra to solve equations are also applied in linear algebra. The substitution method starts with one equation and isolates one variable in it. It proceeds to the next equation and replaces the isolated variable with the found expression, thereby reducing the number of unknown variables by one. It applies the same process again to this and the remaining equations until the values of all variables are determined.^[43] The elimination method creates a new equation by adding one equation to another equation. This way, it is possible to eliminate one variable that appears in both equations. For a system that contains the equations ${\displaystyle -x+7y=3}$ and ${\displaystyle 2x-7y=10}$, it is possible to eliminate ${\displaystyle y}$ by adding the first to the second equation, thereby revealing that ${\displaystyle x}$ is 13. In some cases, the equation has to be multiplied by a constant before adding it to another equation.^[44] Many advanced techniques implement algorithms based on matrix calculations, such as Cramer's rule, the Gauss–Jordan elimination, and LU decomposition.^[45]

Systems of equations can be interpreted as geometric figures. For systems with two variables, each equation represents a line in two-dimensional space. The point where the two lines intersect is the solution of the full system because this is the only point that solves both the first and the second equation. For inconsistent systems, the two lines run parallel, meaning that there is no solution since they never intersect. If two equations are not independent then they describe the same line, meaning that every solution of one equation is also a solution of the other equation. These relations make it possible to seek solutions graphically by plotting the equations and determining where they intersect.^[46] The same principles also apply to systems of equations with more variables, with the difference being that the equations do not describe lines but higher dimensional figures. For instance, equations with three variables correspond to planes in three-dimensional space, and the points where all planes intersect solve the system of equations.^[47]

Abstract algebra, also called modern algebra,^[48] studies different types of algebraic structures. An algebraic structure is a framework for understanding operations on mathematical objects, such as the addition of numbers. While elementary algebra and linear algebra work within the confines of particular algebraic structures, abstract algebra takes a more general approach that compares how algebraic structures differ from each other and what types of algebraic structures there are, such as groups, rings, and fields.^[49] The key difference between these types of algebraic structures lies in the number of operations they use and the laws they obey.^[50]

On a formal level, an algebraic structure is a set^[j] of mathematical objects, called the underlying set, together with one or several operations.^[k] Abstract algebra is primarily interested in binary operations,^[l] which take any two objects from the underlying set as inputs and map them to another object from this set as output.^[54] For example, the algebraic structure ${\displaystyle \langle \mathbb {N} ,+\rangle }$ has the natural numbers (${\displaystyle \mathbb {N} }$) as the underlying set and addition (${\displaystyle +}$) as its binary operation.^[52] The underlying set can contain mathematical objects other than numbers and the operations are not restricted to regular arithmetic operations.^[55] For instance, the underlying set of the symmetry group of a geometric object is made up of geometric transformations, such as rotations, under which the object remains unchanged. Its binary operation is function composition, which takes two transformations as input and has the transformation resulting from applying the first transformation followed by the second as its output.^[56]

Abstract algebra classifies algebraic structures based on the laws or axioms that its operations obey and the number of operations it uses. One of the most basic types is a group, which has one operation and requires that this operation is associative and has an identity element and inverse elements. An operation is associative if the order of several applications does not matter, i.e., if ${\displaystyle (a\circ b)\circ c}$^[m] is the same as ${\displaystyle a\circ (b\circ c)}$ for all elements. An operation has an identity element or a neutral element if one element e exists that does not change the value of any other element, i.e., if ${\displaystyle a\circ e=e\circ a=a}$. An operation has inverse elements if for any element ${\displaystyle a}$ there exists a reciprocal element ${\displaystyle a^{-1}}$ that undoes ${\displaystyle a}$. If an element operates on its inverse then the result is the neutral element e, expressed formally as ${\displaystyle a\circ a^{-1}=a^{-1}\circ a=e}$. Every algebraic structure that fulfills these requirements is a group.^[58] For example, ${\displaystyle \langle \mathbb {Z} ,+\rangle }$ is a group formed by the set of integers together with the operation of addition. The neutral element is 0 and the inverse element of any number ${\displaystyle a}$ is ${\displaystyle -a}$.^[59] The natural numbers with addition, by contrast, do not form a group since they contain only positive integers and therefore lack inverse elements.^[60] Group theory is the subdiscipline of abstract algebra which studies groups.^[61]

A ring is an algebraic structure with two operations (${\displaystyle \circ }$ and ${\displaystyle \star }$) that work similarly to addition and multiplication. All the requirements of groups also apply to the first operation: it is associative and has an identity element and inverse elements. Additionally, it is commutative, meaning that ${\displaystyle a\circ b=b\circ a}$ is true for all elements. The axiom of distributivity governs how the two operations interact with each other. It states that ${\displaystyle a\star (b\circ c)=(a\star b)\circ (a\star c)}$ and ${\displaystyle (b\circ c)\star a=(b\star a)\circ (c\star a)}$.^[62] The ring of integers is the ring denoted by ${\displaystyle \langle \mathbb {Z} ,+,\times \rangle }$.^[63][n] A ring becomes a field if both operations follow the axioms of associativity, commutativity, and distributivity and if both operations have an identity element and inverse elements.^[65][o] The ring of integers does not form a field because it lacks multiplicative inverses. For example, the multiplicative inverse of ${\displaystyle 7}$ is ${\displaystyle {\tfrac {1}{7}}}$, which is not part of the integers. The rational numbers, the real numbers, and the complex numbers each form a field with the operations addition and multiplication.^[67]

Besides groups, rings, and fields, there are many other algebraic structures studied by abstract algebra. They include magmas, semigroups, monoids, abelian groups, commutative rings, modules, lattices, vector spaces, and algebras over a field. They differ from each other in regard to the types of objects they describe and the requirements that their operations fulfill. Many are related to each other in that a basic structure can be turned into a more advanced structure by adding additional requirements.^[50] For example, a magma becomes a semigroup if its operation is associative.^[68]

Universal algebra is the study of algebraic structures in general. As part of its general perspective, it is not concerned with the specific elements that make up the underlying sets and considers operations with more than two inputs, such as ternary operations. It provides a framework for investigating what structural features different algebraic structures have in common.^[69][p] One of those structural features concerns the identities that are true in different algebraic structures. In this context, an identity is a universal equation or an equation that is true for all elements of the underlying set. For example, commutativity is a universal equation that states that ${\displaystyle a\circ b}$ is identical to ${\displaystyle b\circ a}$ for all elements.^[71] Two algebraic structures that share all their identities are said to belong to the same variety.^[72] For instance, the ring of integers and the ring of polynomials form part of the same variety because they have the same identities, such as commutativity and associativity. The field of rational numbers, by contrast, does not belong to this variety since it has additional identities, such as the existence of multiplicative inverses.^[73][r]

Homomorphisms are tools in universal algebra to examine structural features by comparing two algebraic structures.^[76] A homomorphism is a function from the underlying set of one algebraic structure to the underlying set of another algebraic structure that preserves certain structural characteristics. If the two algebraic structures use binary operations and have the form ${\displaystyle \langle A,\circ \rangle }$ and ${\displaystyle \langle B,\star \rangle }$ then the function ${\displaystyle h:A\to B}$ is a homomorphism if it fulfills the following requirement: ${\displaystyle h(x\circ y)=h(x)\star h(y)}$. The existence of a homomorphism reveals that the operation ${\displaystyle \star }$ in the second algebraic structure plays the same role as the operation ${\displaystyle \circ }$ does in the first algebraic structure.^[77] Isomorphisms are a special type of homomorphism that indicates a high degree of similarity between two algebraic structures. An isomorphism is a bijective homomorphism, meaning that it establishes a one-to-one relationship between the elements of the two algebraic structures. This implies that every element of the first algebraic structure is mapped to one unique element in the second structure without any unmapped elements in the second structure.^[78]

Another tool of comparison is the relation between an algebraic structure and its subalgebra.^[79] The algebraic structure and its subalgebra use the same operations,^[s] which follow the same axioms. The only difference is that the underlying set of the subalgebra is a subset of the underlying set of the algebraic structure.^[t] All operations in the subalgebra are required to be closed in its underlying set, meaning that they only produce elements that belong to this set.^[79] For example, the set of even integers together with addition is a subalgebra of the full set of integers together with addition. This is the case because the sum of two even numbers is again an even number. But the set of odd integers together with addition is not a subalgebra because it is not closed: adding two odd numbers produces an even number, which is not part of the chosen subset.^[80]

The origin of algebra lies in attempts to solve mathematical problems involving arithmetic calculations and unknown quantities. These developments happened in the ancient period in Babylonia, Egypt, Greece, China, and India. One of the earliest documents on algebraic problems is the Rhind Papyrus from ancient Egypt, which was written around 1650 BCE.^[u] It discusses solutions to linear equations, as expressed in problems such as "A quantity; its fourth is added to it. It becomes fifteen. What is the quantity?" Babylonian clay tablets from around the same time explain methods to solve linear and quadratic polynomial equations, such as the method of completing the square.^[83]

Many of these insights found their way to the ancient Greeks. Starting in the 6th century BCE, their main interest was geometry rather than algebra, but they employed algebraic methods to solve geometric problems. For example, they studied geometric figures while taking their lengths and areas as unknown quantities to be determined, as exemplified in Pythagoras' formulation of the difference of two squares method and later in Euclid's Elements.^[84] In the 3rd century CE, Diophantus provided a detailed treatment of how to solve algebraic equations in a series of books called Arithmetica. He was the first to experiment with symbolic notation to express polynomials.^[85] In ancient China, The Nine Chapters on the Mathematical Art, a book composed over the period spanning from the 10th century BCE to the 2nd century CE,^[86] explored various techniques for solving algebraic equations, including the use of matrix-like constructs.^[87]

It is controversial to what extent these early developments should be considered part of algebra proper rather than precursors. They offered solutions to algebraic problems but did not conceive them in an abstract and general manner, focusing instead on specific cases and applications.^[88] This changed with the Persian mathematician al-Khwarizmi,^[v] who published his The Compendious Book on Calculation by Completion and Balancing in 825 CE. It presents the first detailed treatment of general methods that can be used to manipulate linear and quadratic equations by "reducing" and "balancing" both sides.^[90] Other influential contributions to algebra came from the Arab mathematician Thābit ibn Qurra also in the 9th century and the Persian mathematician Omar Khayyam in the 11th and 12th centuries.^[91]

In India, Brahmagupta investigated how to solve quadratic equations and systems of equations with several variables in the 7th century CE. Among his innovations were the use of zero and negative numbers in algebraic equations.^[92] The Indian mathematicians Mahāvīra in the 9th century and Bhāskara II in the 12th century further refined Brahmagupta's methods and concepts.^[93] In 1247, the Chinese mathematician Qin Jiushao wrote the Mathematical Treatise in Nine Sections, which includes an algorithm for the numerical evaluation of polynomials, including polynomials of higher degrees.^[94]

François Viète and René Descartes invented a symbolic notation to express equations in an abstract and concise manner.

The Italian mathematician Fibonacci brought al-Khwarizmi's ideas and techniques to Europe in books including his Liber Abaci.^[95] In 1545, the Italian polymath Gerolamo Cardano published his book Ars Magna, which covered many topics in algebra, discussed imaginary numbers, and was the first to present general methods for solving cubic and quartic equations.^[96] In the 16th and 17th centuries, the French mathematicians François Viète and René Descartes introduced letters and symbols to denote variables and operations, making it possible to express equations in an abstract and concise manner. Their predecessors had relied on verbal descriptions of problems and solutions.^[97] Some historians see this development as a key turning point in the history of algebra and consider what came before it as the prehistory of algebra because it lacked the abstract nature based on symbolic manipulation.^[98]

Many attempts in the 17th and 18th centuries to find general solutions^[w] to polynomials of degree five and higher failed.^[100] At the end of the 18th century, the German mathematician Carl Friedrich Gauss proved the fundamental theorem of algebra, which describes the existence of zeros of polynomials of any degree without providing a general solution.^[19] At the beginning of the 19th century, the Italian mathematician Paolo Ruffini and the Norwegian mathematician Niels Henrik Abel were able to show that no general solution exists for polynomials of degree five and higher.^[100] In response to and shortly after their findings, the French mathematician Évariste Galois developed what came later to be known as Galois theory, which offered a more in-depth analysis of the solutions of polynomials while also laying the foundation of group theory.^[20] Mathematicians soon realized the relevance of group theory to other fields and applied it to disciplines such as geometry and number theory.^[101]

Starting in the mid-19th century, interest in algebra shifted from the study of polynomials associated with elementary algebra towards a more general inquiry into algebraic structures, marking the emergence of abstract algebra. This approach explored the axiomatic basis of arbitrary algebraic operations.^[102] The invention of new algebraic systems based on different operations and elements accompanied this development, such as Boolean algebra, vector algebra, and matrix algebra.^[103] Influential early developments in abstract algebra were made by the German mathematicians David Hilbert, Ernst Steinitz, and Emmy Noether as well as the Austrian mathematician Emil Artin. They researched different forms of algebraic structures and categorized them based on their underlying axioms into types, such as groups, rings, and fields.^[104] The idea of the even more general approach associated with universal algebra was conceived by the English mathematician Alfred North Whitehead in his 1898 book A Treatise on Universal Algebra. Starting in the 1930s, the American mathematician Garrett Birkhoff expanded these ideas and developed many of the foundational concepts of this field.^[105] Closely related developments were the formulation of model theory, category theory, topological algebra, homological algebra, Lie algebras, free algebras, and homology groups.^[106]

The influence of algebra is wide-reaching and includes many branches of mathematics as well as the empirical sciences. Algebraic notation and principles play a key role in physics and related disciplines to express scientific laws and solve equations.^[107] They are also used in fields such as engineering, economics, computer science, and geography to express relationships, solve problems, and model systems.^[108]

The algebraization of mathematics is the process of applying algebraic methods and principles to other branches of mathematics. It happens by employing symbols in the form of variables to express mathematical insights on a more general level, allowing mathematicians to develop formal models describing how objects interact and relate to each other.^[109] This is possible because the abstract patterns studied by algebra have many concrete applications in fields such as geometry, topology, number theory, and calculus.^[110]

Geometry is interested in geometric figures, which can be described with algebraic statements. For example, the equation ${\displaystyle y=3x-7}$ describes a line in two-dimensional space while the equation ${\displaystyle x^{2}+y^{2}+z^{2}=1}$ corresponds to a sphere in three-dimensional space. Of special interest to algebraic geometry are algebraic varieties,^[x] which are solutions to systems of polynomial equations that can be used to describe more complex geometric figures.^[112] Algebraic reasoning can also solve geometric problems. For example, one can determine whether and where the line described by ${\displaystyle y=x+1}$ intersects with the circle described by ${\displaystyle x^{2}+y^{2}=25}$ by solving the system of equations made up of these two equations.^[113] Topology studies the properties of geometric figures or topological spaces that are preserved under operations of continuous deformation. Algebraic topology relies on algebraic theories such as group theory to classify topological spaces. For example, homotopy groups classify topological spaces based on the existence of loops or holes in them.^[114] Number theory is concerned with the properties of and relations between integers. Algebraic number theory applies algebraic methods and principles to this field of inquiry. Number theorists employ algebraic expressions to describe general laws, such as Fermat's Last Theorem, and analyze how numbers form algebraic structures, such as the ring of integers.^[115] The insights of algebra are also relevant to calculus, which utilizes mathematical expressions to examine rates of change and accumulation. It relies on algebra to understand how these expressions can be transformed and what role variables play in them.^[116]

Abstract algebra has various uses in applied mathematics, ranging from electronics and robotics to cryptography.^[118] More specific applications are the use of group theory to solve puzzles including Sudoku and Rubik's cubes^[119] and the reliance on algebraic tools to analyze origami.^[120]

Logic is the study of correct reasoning.^[121] Algebraic logic employs algebraic methods to describe and analyze the structures and patterns that underlie logical reasoning.^[122] One part of it is interested in understanding the mathematical structures themselves without regard for the concrete consequences they have on the activity of drawing inferences. Another part investigates how the problems of logic can be expressed in the language of algebra and how the insights obtained through algebraic analysis affect logic.^[123]

Boolean algebra is an influential device in algebraic logic to describe propositional logic.^[124] Propositions are statements that can be true or false.^[125] Propositional logic uses logical connectives to combine two propositions to form a complex proposition. For example, the connective "if ... then" can be used to combine the propositions "it rains" and "the streets are wet" to form the complex proposition "if it rains then the streets are wet". Propositional logic is interested in how the truth value of a complex proposition depends on the truth values of its constituents.^[126] With Boolean algebra, this problem can be addressed by interpreting truth values as numbers: 0 corresponds to false and 1 corresponds to true. Logical connectives are understood as binary operations that take two numbers as input and return the output that corresponds to the truth value of the complex proposition.^[127] Algebraic logic is also interested in how more complex systems of logic can be described through algebraic structures and which varieties and quasivarities these algebraic structures belong to.^[128]

Algebra education mostly focuses on elementary algebra, which is one of the reasons why elementary algebra is also called school algebra. It is usually not introduced until secondary education since it requires mastery of the fundamentals of arithmetic while posing new cognitive challenges associated with abstract reasoning and generalization.^[130] It aims to familiarize students with the formal side of mathematics by helping them understand mathematical symbolism, for example, how variables can be used to represent unknown quantities. An additional difficulty for students lies in the fact that, unlike arithmetic calculations, algebraic expressions are often difficult to solve directly. Instead, students need to learn how to transform them according to certain laws, often with the goal of determining an unknown quantity.^[131]

Some tools to introduce students to the abstract side of algebra rely on concrete models and visualizations of equations, including geometric analogies, manipulatives including sticks or cups, and "function machines" representing equations as flow diagrams. One method uses balance scales as a pictorial approach to help students grasp basic problems of algebra. The mass of some objects on the scale is unknown and represents variables. Solving an equation corresponds to adding and removing objects on both sides in such a way that the sides stay in balance until the only object remaining on one side is the object of unknown mass.^[132] Word problems are another tool to show how algebra is applied to real-life situations. For example, students may be presented with a situation in which Naomi's brother has twice as many apples as Naomi. Given that both together have twelve apples, students are then asked to find an algebraic equation that describes this situation (${\displaystyle 2x+x=12}$) and to determine how many apples Naomi has (${\displaystyle x=4}$).^[133]

Wikiquote has quotations related to Algebra.

Look up algebra in Wiktionary, the free dictionary.

Wikibooks has a book on the topic of: Algebra

Wikisource has the text of the 1911 Encyclopædia Britannica article "Algebra".