Misplaced Pages

Algebra: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 01:52, 17 January 2002 editTarquin (talk | contribs)14,993 editsmNo edit summary← Previous edit Latest revision as of 12:32, 28 December 2024 edit undoRemsense (talk | contribs)Extended confirmed users, Page movers, New page reviewers, Template editors59,963 edits Reverting edit(s) by 2409:4089:1E9B:AECC:0:0:A30A:9B06 (talk) to rev. 1265097155 by Remsense: Vandalism (UV 0.1.6)Tags: Ultraviolet Undo 
Line 1: Line 1:
{{Short description|Branch of mathematics}}
The term '''algebra''' is used in ] in several different senses.
{{About||the kind of algebraic structure|Algebra over a field|other uses}}
{{Featured article}}
{{Use mdy dates|date=August 2024}}
{{multiple image
|perrow=1 / 1
|total_width=350
|image1=Polynomial2.svg
|alt1=Polynomial equation
|link1=Polynomial equation
|caption1=] studies which values solve equations formed using arithmetical operations.
|image2=Ring of integers2.svg
|alt2=Signature of the ring of integers
|link2=Ring of integers
|caption2=] studies ]s, such as the ] given by the set of ]s <math>(\Z)</math> together with ] of ] (<math>+</math>) and ] (<math>\times</math>).
}}


'''Algebra''' is the branch of ] that studies certain abstract ]s, known as ], and the manipulation of ] within those systems. It is a generalization of ] that introduces ] and ]s other than the standard arithmetic operations, such as ] and ].


] is the main form of algebra taught in schools. It examines mathematical statements using variables for unspecified values and seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. ] is a closely related field that investigates ]s and combinations of them called '']''. It provides methods to find the values that solve all equations in the system at the same time, and to study the set of these solutions.


] studies algebraic structures, which consist of a ] of ] together with one or several ] 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 ], ], and ], based on the number of operations they use and the laws they follow, called ]. ] and ] provide general frameworks to investigate abstract patterns that characterize different classes of algebraic structures.
At an elementary level, '''algebra''' involves the manipulation of simple ] in ] (or sometimes ]) variables. See ].


Algebraic methods were first studied in the ] to solve specific problems in fields like ]. 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 ] to cover diverse types of algebraic operations and structures. Algebra is relevant to many branches of mathematics, such as geometry, ], ], and ], and other fields of inquiry, like ] and the ].


== Definition and etymology ==
Algebra is the branch of mathematics that studies ]s and the ] they use.<ref>{{multiref | {{harvnb|Merzlyakov|Shirshov|2020|loc=Lead section}} | {{harvnb|Gilbert|Nicholson|2004|p=}} }}</ref> An algebraic structure is a non-empty ] of ]s, such as the ]s, together with algebraic operations defined on that set, like ] and ].<ref>{{multiref | {{harvnb|Fiche|Hebuterne|2013|p=}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ The Subject Matter of Algebra, Its Principal Branches and Its Connection with Other Branches of Mathematics.}} | {{harvnb|Gilbert|Nicholson|2004|p=}} }}</ref>{{efn|When understood in the widest sense, an algebraic operation is a ] from a ], expressed formally as {{nowrap|<math>\omega: A^n \to A</math>.}} Addition of real numbers is an example of an algebraic operation: it takes two numbers as input and produces one number as output. It has the form {{nowrap|<math>+: \R^2 \to \R</math>.<ref>{{harvnb|Baranovich|2023|loc=Lead section}}</ref>}}}} Algebra explores the laws, general characteristics, and types of algebraic structures. Within certain algebraic structures, it examines the use of ] in ] and how to manipulate these equations.<ref>{{multiref | {{harvnb|Pratt|2022|loc=Lead section, § 1. Elementary Algebra, § 2. Abstract Algebra, § 3. Universal Algebra}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ The Subject Matter of Algebra, Its Principal Branches and Its Connection with Other Branches of Mathematics.}} }}</ref>{{efn|Algebra is covered by division 512 in the ]<ref>{{harvnb|Higham|2019|p=}}</ref> and subclass QA 150{{hyphen}}272.5 in the ].<ref>{{harvnb|Library of Congress|p=3}}</ref> It encompasses several areas in the ].<ref>{{harvnb|zbMATH Open|2024}}</ref>}}


Algebra is often understood as a generalization of ].<ref>{{multiref | {{harvnb|Maddocks|2008|p=129}} | {{harvnb|Burgin|2022|p=}} }}</ref> Arithmetic studies operations like addition, ], multiplication, and ], in a particular domain of numbers, such as the real numbers.<ref name="auto1">{{multiref | {{harvnb|Romanowski|2008|pp=302–303}} | {{harvnb|HC Staff|2022}} | {{harvnb|MW Staff|2023}} | {{harvnb|Bukhshtab|Pechaev|2020}} }}</ref> ] 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.<ref>{{multiref | {{harvnb|Maddocks|2008|pp=129–130}} | {{harvnb|Pratt|2022|loc=Lead section, § 1. Elementary Algebra}} | {{harvnb|Wagner|Kieran|2018|p=}} }}</ref> A higher level of abstraction is found in ], which is not limited to a particular domain and examines algebraic structures such as ] and ]. It extends beyond typical arithmetic operations by also covering other types of operations.<ref>{{multiref | {{harvnb|Maddocks|2008|pp=131–132}} | {{harvnb|Pratt|2022|loc=Lead section, § 2. Abstract Algebra}} | {{harvnb|Wagner|Kieran|2018|p=}} }}</ref> 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.<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 3. Universal Algebra}} | {{harvnb|Grillet|2007|p=}} | {{harvnb|Denecke|Wismath|2018|p=}} | {{harvnb|Cohn|2012|p=}} }}</ref>
More generally, '''algebra''' (or '''abstract algebra''') is the study of algebraic structures such as ], ] and ]. See ] for further details.


]'s book {{transliteration|ar|]}}.<ref>{{multiref | {{harvnb|Cresswell|2010|p=}} | {{harvnb|OUP Staff}} | {{harvnb|Menini|Oystaeyen|2017|p=722}} }}</ref>]]


The term "algebra" is sometimes used in a more narrow sense to refer only to elementary algebra or only to abstract algebra.<ref>{{multiref | {{harvnb|Weisstein|2003|p=46}} | {{harvnb|Walz|2016|loc=}} }}</ref> When used as a ], an algebra is ] that involves a ] equipped with ].<ref>{{multiref | {{harvnb|Weisstein|2003|p=46}} | {{harvnb|Brešar|2014|p=}} | {{harvnb|Golan|1995|pp=}} }}</ref> Depending on the context, "algebra" can also refer to other algebraic structures, like a ] or an ].<ref>{{harvnb|EoM Staff|2017}}</ref>


The word ''algebra'' comes from the ] term {{lang|ar|الجبر}} ({{transliteration|ar|al-jabr}}), which originally referred to the surgical treatment of ]. In the 9th century, the term received a mathematical meaning when the Persian mathematician ] employed it to describe a method of solving equations and used it in the title of a treatise on algebra, {{transliteration|ar|]}} which was translated into Latin as {{lang|la|Liber Algebrae et Almucabola}}.{{efn|The exact meaning of the term {{transliteration|ar|al-jabr}} in al-Khwarizmi's work is disputed. In some passages, it expresses that a quantity diminished by subtraction is restored to its original value, similar to how a bonesetter restores broken bones by bringing them into proper alignment.<ref>{{multiref | {{harvnb|Oaks|Alkhateeb|2007|pp=45–46, 58}} | {{harvnb|Gandz|1926|p=437}} }}</ref>}} The word entered the English language in the 16th century from ], ], and medieval ].<ref>{{multiref | {{harvnb|Cresswell|2010|p=}} | {{harvnb|OUP Staff}} | {{harvnb|Menini|Oystaeyen|2017|p=722}} | {{harvnb|Hoad|1993|p=10}} }}</ref> Initially, its meaning was restricted to the ], that is, to the art of manipulating ] in view of solving them. This changed in the 19th century{{efn|These changes were in part triggered by discoveries that solved many of the older problems of algebra. For example, the proof of the ] demonstrated the existence of complex solutions of polynomials<ref name="auto7">{{multiref | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Kvasz|2006|p=308}} | {{harvnb|Corry|2024|loc=§ The Fundamental Theorem of Algebra}} }}</ref> and the introduction of ] characterized the polynomials that have ].<ref name="auto2">{{multiref | {{harvnb|Kvasz|2006|pp=314–345}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} | {{harvnb|Corry|2024|loc=§ Galois Theory, § Applications of Group Theory}} }}</ref>}} when the scope of algebra broadened to cover the study of diverse types of algebraic operations and structures together with their underlying ]s, the laws they follow.<ref>{{multiref | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Corry|2024|loc=§ Structural Algebra}} | {{harvnb|Hazewinkel|1994|pp=}} }}</ref>
An '''algebra over a field''' (or simply an '''algebra''') is a ] ''A'' together with a vector multiplication that distributes over vector addition and has the further property that (''ax'')(''by'') = (''ab'')(''xy'') for all scalars ''a'' and ''b'' and all vectors ''x'' and ''y''. Such a vector multiplication is a ] ''A'' x ''A'' <tt>-></tt> ''A''. The most important types of algebras are the ], such as algebras of ] or ], and the ], such as '''R'''<sup>3</sup> with the multiplication given by the ] or algebras of ].


== Major branches ==
Other examples are the ] and the ].
=== Elementary algebra ===
{{main|Elementary algebra}}


]


Elementary algebra, also called school algebra, college algebra, and classical algebra,<ref>{{multiref | {{harvnb|Arcavi|Drijvers|Stacey|2016|p=}} | {{harvnb|Benson|2003|pp=}} }}</ref> is the oldest and most basic form of algebra. It is a generalization of ] that relies on ] and examines how mathematical ] may be transformed.<ref name="auto4">{{multiref | {{harvnb|Maddocks|2008|p=129}} | {{harvnb|Berggren|2015|loc=Lead section}} | {{harvnb|Pratt|2022|loc=§ 1. Elementary Algebra}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ 1. Historical Survey}} }}</ref>


Arithmetic is the study of numerical operations and investigates how numbers are combined and transformed using the arithmetic operations of ], ], ], ], ], extraction of ], and ]. For example, the operation of addition combines two numbers, called the addends, into a third number, called the sum, as in {{nowrap|<math>2 + 5 = 7</math>.<ref name="auto1"/>}}
See also ], ] and ].


Elementary algebra relies on the same operations while allowing variables in addition to regular numbers. Variables are ]s 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 ] <math>2 \times 3 = 3 \times 2</math> 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, like the ], which is expressed in the equation {{nowrap|<math>a \times b = b \times a</math>.<ref name="auto4"/>}}

]s are formed by using arithmetic operations to combine variables and numbers. By convention, the lowercase letters <math>x</math>, <math>y</math>, and <math>z</math> represent variables. In some cases, subscripts are added to distinguish variables, as in <math>x_1</math>, <math>x_2</math>, and <math>x_3</math>. The lowercase letters <math>a</math>, <math>b</math>, and <math>c</math> are usually used for ] and ]s.{{efn|Constants represent fixed numbers that do not change during the study of a specific problem.<ref>{{harvnb|Sobolev|2015}}</ref>}} The expression <math>5x + 3</math> is an algebraic expression created by multiplying the number 5 with the variable <math>x</math> and adding the number 3 to the result. Other examples of algebraic expressions are <math>32xyz</math> and {{nowrap|<math>64x_1^2 + 7x_2 - c</math>.<ref>{{multiref | {{harvnb|Maddocks|2008|pp=129–130}} | {{harvnb|Young|2010|p=}} | {{harvnb|Majewski|2004|p=347}} | {{harvnb|Pratt|2022|loc=§ 1. Elementary Algebra}} | {{harvnb|Sorell|2000|p=}} }}</ref>}}

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 ] (<math>=</math>), as in {{nowrap|<math>5x^2 + 6x = 3y + 4</math>.}} ]s involve a different type of comparison, saying that the two sides are different. This can be expressed using symbols such as the ] (<math><</math>), the ] (<math>></math>), and the inequality sign (<math>\neq</math>). Unlike other expressions, statements can be true or false, and their ] usually depends on the values of the variables. For example, the statement <math>x^2 = 4</math> is true if <math>x</math> is either 2 or −2 and false otherwise.<ref>{{multiref | {{harvnb|Maddocks|2008|pp=129–130}} | {{harvnb|Tsokos|Wooten|2015|p=}} | {{harvnb|Mishra|2016|p=1.2}} }}</ref> 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 {{nowrap|<math>2x + 5x = 7x</math>.}} Conditional equations are only true for some values. For example, the equation <math>x + 4 = 9</math> is only true if <math>x</math> is 5.<ref>{{multiref | {{harvnb|Musser|Peterson|Burger|2013|p=16}} | {{harvnb|Goodman|2001|p=}} | {{harvnb|Williams|2022}} }}</ref>

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 ] for that variable. For example, the equation <math>x - 7 = 4</math> can be solved for <math>x</math> by adding 7 to both sides, which isolates <math>x</math> on the left side and results in the equation {{nowrap|<math>x = 11</math>.<ref>{{multiref | {{harvnb|Maddocks|2008|p=130}} | {{harvnb|McKeague|1986|pp=}} | {{harvnb|Pratt|2022|loc=§ 1. Elementary Algebra}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ 1. Historical Survey}} }}</ref>}}

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 <math>7x - 3x</math> can be replaced with the expression <math>4x</math> since <math>7x - 3x = (7-3)x = 4x</math> by the distributive property.<ref>{{multiref | {{harvnb|Tan|Steeb|Hardy|2012|p=}} | {{harvnb|Lamagna|2019|p=}} }}</ref> For statements with several variables, ] is a common technique to replace one variable with an equivalent expression that does not use this variable. For example, if one knows that <math>y = 3x</math> then one can simplify the expression <math>7xy</math> to arrive at {{nowrap|<math>21x^2</math>.}} 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.<ref>{{multiref | {{harvnb|Berggren|2015|loc=§ Solving Systems of Algebraic Equations}} | {{harvnb|McKeague|2014|p=}} | {{harvnb|McKeague|1986|p=}} }}</ref>

]

Algebraic equations can be interpreted ] to describe spatial figures in the form of a ]. To do so, the different variables in the equation are understood as ] and the values that solve the equation are interpreted as points of a graph. For example, if <math>x</math> is set to zero in the equation <math>y=0.5x - 1</math>, then <math>y</math> must be −1 for the equation to be true. This means that the <math>(x, y)</math>-pair <math>(0, -1)</math> is part of the graph of the equation. The <math>(x, y)</math>-pair {{nowrap|<math>(0, 7)</math>,}} by contrast, does not solve the equation and is therefore not part of the graph. The graph encompasses the totality of <math>(x, y)</math>-pairs that solve the equation.<ref>{{multiref | {{harvnb|Maddocks|2008|pp=130–131}} | {{harvnb|Rohde|Jain|Poddar|Ghosh|2012|p=}} | {{harvnb|Walz|2016|loc=}}}}</ref>

==== Polynomials ====
{{main|Polynomial}}

A polynomial is an expression consisting of one or more terms that are added or subtracted from each other, like {{nowrap|<math>x^4+3xy^2+5x^3-1</math>.}} Each term is either a constant, a variable, or a product of a constant and variables. Each variable can be raised to a positive-integer power. A monomial is a polynomial with one term while two- and three-term polynomials are called binomials and trinomials. The ] is the maximal value (among its terms) of the sum of the exponents of the variables (4 in the above example).<ref>{{multiref | {{harvnb|Bracken|Miller|2014|pp=386–387}} | {{harvnb|Kaufmann|Schwitters|2011|p=220}} | {{harvnb|Markushevich|2015}} }}</ref> Polynomials of degree one are called ''linear polynomials''. Linear algebra studies systems of linear polynomials.<ref>{{multiref | {{harvnb|Sahai|Bist|2002|p=}} | {{harvnb|Maddocks|2008|p=131}} | {{harvnb|Barrera-Mora|2023|pp=}} }}</ref> A polynomial is said to be ''univariate'' or ''multivariate'', depending on whether it uses one or more variables.<ref>{{harvnb|Geddes|Czapor|Labahn|2007|p=}}</ref>

] is a method used to simplify polynomials, making it easier to analyze them and determine the values for which they ]. Factorization consists in rewriting a polynomial as a product of several factors. For example, the polynomial <math>x^2 - 3x - 10</math> can be factorized as {{nowrap|<math>(x + 2)(x - 5)</math>.}} The polynomial as a whole is zero if and only if one of its factors is zero, i.e., if <math>x</math> is either −2 or 5.<ref>{{multiref | {{harvnb|Lukas|2022|pp=}} | {{harvnb|Berggren|2015|loc=§ Algebraic Expressions, § Solving Algebraic Equations}} }}</ref> Before the 19th century, much of algebra was devoted to ]s, that is ]s obtained by equating a polynomial to zero. The first attempts for solving polynomial equations were to express the solutions in terms of ]. The solution of a second-degree polynomial equation of the form <math>ax^2 + bx + c = 0</math> is given by the ]<ref>{{multiref | {{harvnb|Berggren|2015|loc=§ Solving algebraic equations}} | {{harvnb|Corry|2024|loc=§ Classical algebra}} }}</ref>
<math display=block>x = \frac{-b \pm \sqrt {b^2-4ac\ }}{2a}.</math>
Solutions for the degrees 3 and 4 are given by the ] and ] formulas. There are no general solutions for higher degrees, as proven in the 19th century by the ].<ref name="auto3"/> Even when general solutions do not exist, approximate solutions can be found by numerical tools like the ].<ref>{{harvnb|Igarashi|Altman|Funada|Kamiyama|2014|p=}}</ref>

The ] asserts that every univariate polynomial equation of positive degree with ] or ] coefficients has at least one complex solution. Consequently, every polynomial of a positive degree can be ] into linear polynomials. This theorem was proved at the beginning of the 19th century, but this does not close the problem since the theorem does not provide any way for computing the solutions.<ref>{{multiref | {{harvnb|Berggren|2015|loc=§ Solving algebraic equations}} | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Kvasz|2006|p=308}} | {{harvnb|Corry|2024|loc=§ The Fundamental Theorem of Algebra}} }}</ref>

=== Linear algebra ===
{{main|Linear algebra}}

Linear algebra starts with the study ].<ref>{{multiref | {{harvnb|Maddocks|2008|p=131}} | {{harvnb|Barrera-Mora|2023|pp=, }} }}</ref> An ] if it can be expressed in the form <math>a_1x_1 + a_2x_2 + ... + a_nx_n = b</math> where <math>a_1</math>, <math>a_2</math>, ..., <math>a_n</math> and <math>b</math> are constants. Examples are <math>x_1 - 7x_2 + 3x_3 = 0</math> and <math display=inline>\frac14x - y = 4</math>. A ''system of linear equations'' is a set of linear equations for which one is interested in common solutions.<ref>{{multiref | {{harvnb|Anton|Rorres|2013|pp=2–3}} | {{harvnb|Maddocks|2008|p=131}} | {{harvnb|Voitsekhovskii|2011}} }}</ref>

] are rectangular arrays of values that have been originally introduced for having a compact and synthetic notation for systems of linear equations.<ref>{{multiref | {{harvnb|Saikia|2008|p=}} | {{harvnb|Lal|2017|p=}} | {{harvnb|Mirakhor|Krichene|2014|p=}} }}</ref> For example, the system of equations
<math display="block"> \begin{align}
9x_1 + 3x_2 - 13x_3 &= 0 \\
2.3x_1 + 7x_3 &= 9 \\
-5x_1 - 17x_2 &= -3
\end{align}
</math>
can be written as
<math display="block">AX=B,</math>
where <math>A,X</math> and <math>B</math> are the matrices
<math display="block">A=\begin{bmatrix}9 & 3 & -13 \\ 2.3 & 0 & 7 \\ -5 & -17 & 0 \end{bmatrix}, \quad X= \begin{bmatrix}x_1 \\ x_2 \\ x_3 \end{bmatrix},\quad B = \begin{bmatrix}0 \\ 9 \\ -3 \end{bmatrix}.</math>

Under some conditions on the number of rows and columns, matrices can be ], ], and sometimes ]. All methods for solving linear systems may be expressed as matrix manipulations using these operations. For example, solving the above system consists of computing an inverted matrix <math>A^{-1}</math> such that <math>A^{-1}A = I,</math> where <math>I</math> is the ]. Then, multiplying on the left both members of the above matrix equation by <math>A^{-1},</math> one gets the solution of the system of linear equations as<ref>{{multiref | {{harvnb|Brown|2015|pp=}} | {{harvnb|Waerden|2003|pp=70–72}} }}</ref>
<math display="block">X=A^{-1}B.</math>

Methods of solving systems of linear equations range from the introductory, like substitution<ref>{{multiref | {{harvnb|Young|2010|pp=}} | {{harvnb|Maddocks|2008|p=131}} | {{harvnb|Sullivan|2010|pp=}} }}</ref> and elimination,<ref>{{multiref | {{harvnb|Anton|Rorres|2013|pp=7–8}} | {{harvnb|Sullivan|2010|pp=}} | {{harvnb|Atanasiu|Mikusinski|2019|p=}}}}</ref> to more advanced techniques using matrices, such as ], the ], and ].<ref>{{multiref | {{harvnb|Maddocks|2008|p=131}} | {{harvnb|Anton|Rorres|2013|pp=7–8, 11, 491}} }}</ref> Some systems of equations are ], meaning that no solutions exist because the equations contradict each other.<ref name="auto10">{{multiref | {{harvnb|Anton|Rorres|2013|pp=3–7}} | {{harvnb|Mortensen|2013|pp=}} | {{harvnb|Young|2023|pp=}} }}</ref>{{efn|For example, the equations <math>x_1 - 3x_2 = 0</math> and <math>x_1 - 3x_2 = 7</math> contradict each other since no values of <math>x_1</math> and <math>x_2</math> exist that solve both equations at the same time.<ref name="auto10"/>}} Consistent systems have either one unique solution or an infinite number of solutions.<ref name="auto11">{{multiref | {{harvnb|Maddocks|2008|p=131}} | {{harvnb|Harrison|Waldron|2011|p=}} | {{harvnb|Anton|2013|p=}} }}</ref>{{efn|Whether a consistent system of equations has a unique solution depends on the number of variables and ]s. 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. ]s, by contrast, have more variables than independent equations and have an infinite number of solutions if they are consistent.<ref name="auto11"/>}}

The study of ]s and ]s form a large part of linear algebra. A vector space is an algebraic structure formed by a set with an addition that makes it an ] and a ] that is compatible with addition (see ] for details). A linear map is a function between vector spaces that is compatible with addition and scalar multiplication. In the case of ]s, vectors and linear maps can be represented by matrices. It follows that the theories of matrices and finite-dimensional vector spaces are essentially the same. In particular, vector spaces provide a third way for expressing and manipulating systems of linear equations.<ref>{{multiref | {{harvnb|Valenza|2012|p=}} | {{harvnb|Chahal|2018|loc=}} | {{harvnb|Solomon|2014|pp=}} | {{harvnb|Ricardo|2009|p=}} }}</ref> From this perspective, a matrix is a representation of a linear map: if one chooses a particular ] to describe the vectors being transformed, then the entries in the matrix give the results of applying the linear map to the basis vectors.<ref>{{multiref | {{harvnb|Solomon|2014|p=}} | {{harvnb|Ricardo|2009|pp=}} }}</ref>

]

Systems of equations can be interpreted as geometric figures. For systems with two variables, each equation represents a ] in ]. 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.<ref>{{multiref | {{harvnb|Anton|Rorres|2013|pp=3–5}} | {{harvnb|Young|2010|pp=}} | {{harvnb|Sneyd|Fewster|McGillivray|2022|p=}} }}</ref> 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 ] in ], and the points where all planes intersect solve the system of equations.<ref>{{multiref | {{harvnb|Anton|Rorres|2013|pp=3–5}} | {{harvnb|Young|2010|p=}} | {{harvnb|Sneyd|Fewster|McGillivray|2022|p=}} }}</ref>

=== Abstract algebra ===
{{main|Abstract algebra}}

Abstract algebra, also called modern algebra,<ref>{{multiref | {{harvnb|Gilbert|Nicholson|2004|p=}} | {{harvnb|Dominich|2008|p=}} }}</ref> is the study of ]. An algebraic structure is a framework for understanding ] on ]s, like 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 ], ], and ].<ref>{{multiref | {{harvnb|Maddocks|2008|pp=131–132}} | {{harvnb|Pratt|2022|loc=Lead section, § 2. Abstract Algebra}} | {{harvnb|Gilbert|Nicholson|2004|pp=}} | {{harvnb|Dominich|2008|p=}} }}</ref> The key difference between these types of algebraic structures lies in the number of operations they use and the laws they obey.<ref name="auto9"/> In ], abstract algebra refers to an advanced ] course that mathematics majors take after completing courses in linear algebra.<ref>{{harvnb|Hausberger|2020|loc=Abstract Algebra Teaching and Learning}}</ref>

]

On a formal level, an algebraic structure is a ]{{efn|A set is an unordered collection of distinct elements, such as numbers, vectors, or other sets. ] describes the laws and properties of sets.<ref>{{multiref | {{harvnb|Tanton|2005|p=460}} | {{harvnb|Murthy|2012|p=}} }}</ref>}} of mathematical objects, called the underlying set, together with one or several operations.{{efn|According to some definitions, algebraic structures include a distinguished element as an additional component, such as the identity element in the case of multiplication.<ref name="auto5">{{harvnb|Ovchinnikov|2015|p=}}</ref>}} Abstract algebra is primarily interested in ]s,{{efn|Some of the algebraic structures studied by abstract algebra include ]s in addition to binary operations. For example, ]s have a ], which is a unary operation often used to associate a vector with its length.<ref>{{harvnb|Grillet|2007|p=}}</ref>}} which take any two objects from the underlying set as inputs and map them to another object from this set as output.<ref>{{multiref | {{harvnb|Whitelaw|1995|p=}} | {{harvnb|Nicholson|2012|p=}} | {{harvnb|Fiche|Hebuterne|2013|p=}} | {{harvnb|Pratt|2022|loc=Lead section, § 2. Abstract Algebra}} }}</ref> For example, the algebraic structure <math>\langle \N, + \rangle</math> has the ] (<math>\N</math>) as the underlying set and addition (<math>+</math>) as its binary operation.<ref name="auto5"/> The underlying set can contain mathematical objects other than numbers, and the operations are not restricted to regular arithmetic operations.<ref>{{multiref | {{harvnb|Maddocks|2008|pp=131–132}} | {{harvnb|Pratt|2022|loc=Lead section, § 2. Abstract Algebra}} }}</ref> For instance, the underlying set of the ] of a geometric object is made up of ]s, such as ]s, under which the object remains ]. Its binary operation is ], which takes two transformations as input and has the transformation resulting from applying the first transformation followed by the second as its output.<ref>{{multiref | {{harvnb|Olver|1999|pp=}} | {{harvnb|Abas|Salman|1994|pp=}} | {{harvnb|Häberle|2009|p=}} }}</ref>

====Group theory====
{{main|Group theory}}
Abstract algebra classifies algebraic structures based on the laws or ]s 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 ] and has an ] and ]s. An operation is associative if the order of several applications does not matter, i.e., if {{nowrap|<math>(a \circ b) \circ c</math>{{efn|The symbols <math>\circ</math> and <math>\star</math> are used in this article to represent any operation that may or may not resemble arithmetic operations.<ref>{{harvnb|Gilbert|Nicholson|2004|p=}}</ref>}}}} is the same as <math>a \circ (b \circ c)</math> 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 {{nowrap|<math>a \circ e = e \circ a = a</math>.}} An operation has inverse elements if for any element <math>a</math> there exists a reciprocal element <math>a^{-1}</math> that undoes <math>a</math>. If an element operates on its inverse then the result is the neutral element ''e'', expressed formally as {{nowrap|<math>a \circ a^{-1} = a^{-1} \circ a = e</math>.}} Every algebraic structure that fulfills these requirements is a group.<ref>{{multiref | {{harvnb|Kargapolov|Merzlyakov|2016|loc=§ Definition}} | {{harvnb|Khattar|Agrawal|2023|pp=}} | {{harvnb|Maddocks|2008|pp=131–132}} | {{harvnb|Pratt|2022|loc=Lead section, § 2. Abstract Algebra}} | {{harvnb|Neri|2019|p=}} }}</ref> For example, <math>\langle \Z, + \rangle</math> is a group formed by the set of ] together with the operation of addition. The neutral element is 0 and the inverse element of any number <math>a</math> is {{nowrap|<math>-a</math>.<ref>{{multiref | {{harvnb|Khattar|Agrawal|2023|pp=}} | {{harvnb|Maddocks|2008|pp=131–132}} | {{harvnb|Adhikari|Adhikari|2013|p=}}}}</ref>}} The natural numbers with addition, by contrast, do not form a group since they contain only positive integers and therefore lack inverse elements.<ref>{{multiref | {{harvnb|McWeeny|2002|p=}} | {{harvnb|Kramer|Pippich|2017|p=}} }}</ref>

] examines the nature of groups, with basic theorems such as the ] and the ].<ref>{{multiref | {{harvnb|Tanton|2005|p=242}} | {{harvnb|Bhattacharya|Jain|Nagpaul|1994|p=}} | {{harvnb|Weisstein|2003|p=}} }}</ref> The latter was a key early step in one of the most important mathematical achievements of the 20th century: the collaborative effort, taking up more than 10,000 journal pages and mostly published between 1960 and 2004, that culminated in a complete ].<ref>{{multiref | {{harvnb|Elwes|2006}} | {{harvnb|Wilson|2009|p=2}} }}</ref>

====Ring theory and field theory====
{{main|Ring theory|Field (mathematics)}}
A ring is an algebraic structure with two operations that work similarly to addition and multiplication of numbers and are named and generally denoted similarly. A ring is a ] under addition: the addition of the ring is associative, commutative, and has an identity element and inverse elements. The multiplication is associative and ] with respect to addition; that is, <math>a (b + c) = a b + a c</math> and <math>(b + c) a = b a + c a.</math> Moreover, multiplication is associative and has an ] generally denoted as {{math|1}}.<ref>{{multiref | {{harvnb|Weisstein|2003|p=2579}} | {{harvnb|Maxwell|2009|pp=}} | {{harvnb|Pratt|2022|loc=§ 2.3 Rings}} }}</ref>{{efn|Some authors do not require the existence of multiplicative identity elements. A ring without multiplicative identity is sometimes called a {{not a typo|].}}<ref>{{harvnb|Silverman|2022|p=}}</ref>}} Multiplication needs not to be commutative; if it is commutative, one has a ].<ref>{{harvnb|Geddes|Czapor|Labahn|2007|p=}}</ref> The ] (<math>\Z</math>) is one of the simplest commutative rings.<ref>{{harvnb|Smith|2015|p=}}</ref>

A '']'' is a commutative ring such that {{tmath|1\ne 0}} and each nonzero element has a ].<ref>{{multiref | {{harvnb|Geddes|Czapor|Labahn|2007|p=}} | {{harvnb|Weisstein|2003|pp=1047, 2579}} | {{harvnb|Pratt|2022|loc=§ 2.4 Fields}} }}</ref> The ring of integers does not form a field because it lacks multiplicative inverses. For example, the multiplicative inverse of <math>7</math> is {{nowrap|<math>\tfrac{1}{7}</math>,}} which is not an integer. The ], the ], and the ] each form a field with the operations of addition and multiplication.<ref>{{multiref | {{harvnb|Irving|2004|pp=77, 236}} | {{harvnb|Weisstein|2003|pp=1047, 2579}} | {{harvnb|Hohn|2013|pp=}} }}</ref>

] is the study of rings, exploring concepts such as ]s, ]s, ]s, and ] as well as theorems such as ].<ref>{{multiref | {{harvnb|Serovajsky|2020|loc=§ Room 4B.5 Rings}} | {{harvnb|Kleiner|2007|p=}} | {{harvnb|Kline|1990|p=}} }}</ref> Field theory is concerned with fields, examining ]s, ]s, and ].<ref>{{multiref | {{harvnb|Waerden|2003|pp=110–114, 231, 246}} | {{harvnb|Karpilovsky|1989|p=}} | {{harvnb|Kleiner|2007|p=}} }}</ref> ] explores the relation between field theory and group theory, relying on the ].<ref>{{multiref | {{harvnb|Lang|2005|pp=}} | {{harvnb|Cox|2012|pp=}} }}</ref>

====Theories of interrelations among structures====

] becomes a ] if its operation is associative.]]

Besides groups, rings, and fields, there are many other algebraic structures studied by algebra. They include ], ]s, ]s, ]s, ]s, ], ], ]s, ], and ] and ]. 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.<ref name="auto9">{{multiref | {{harvnb|Pratt|2022|loc=Lead section, § 2. Abstract Algebra}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=The Subject Matter of Algebra, Its Principal Branches and Its Connection with Other Branches of Mathematics.}} | {{harvnb|Bourbaki|1998|pp=}} }}</ref> For example, a magma becomes a semigroup if its operation is associative.<ref>{{harvnb|Cooper|2011|p=}}</ref>

]s are tools to examine structural features by comparing two algebraic structures.<ref>{{multiref | {{harvnb|Rowen|2006|p=}} | {{harvnb|Pratt|2022|loc=§ 3.3 Birkhoff's Theorem}} | {{harvnb|Grätzer|2008|p=34}} }}</ref> 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 <math>\langle A, \circ \rangle</math> and <math>\langle B, \star \rangle</math> then the function <math>h: A \to B</math> is a homomorphism if it fulfills the following requirement: {{nowrap|<math>h(x \circ y) = h(x) \star h(y)</math>.}} The existence of a homomorphism reveals that the operation <math>\star</math> in the second algebraic structure plays the same role as the operation <math>\circ</math> does in the first algebraic structure.<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 3.3 Birkhoff's Theorem}} | {{harvnb|Rowen|2006|p=}} | {{harvnb|Gowers|Barrow-Green|Leader|2010|pp=}} | {{harvnb|Adhikari|2016|pp=}} }}</ref> ] are a special type of homomorphism that indicates a high degree of similarity between two algebraic structures. An isomorphism is a ] 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.<ref>{{multiref | {{harvnb|Neri|2019|pp=}} | {{harvnb|Ivanova|Smirnov|2012}} | {{harvnb|Deo|2018|p=}} | {{harvnb|Ono|2019|p=}}}}</ref>

]s restrict their operations to a subset of the underlying set of the original algebraic structure.]]

Another tool of comparison is the relation between an algebraic structure and its ].<ref name="auto8">{{multiref | {{harvnb|Indurkhya|2013|pp=}} | {{harvnb|Pratt|2022|loc=§ 3.3 Birkhoff's Theorem}} | {{harvnb|Grätzer|2008|p=34}} }}</ref> The algebraic structure and its subalgebra use the same operations,{{efn|According to some definitions, it is also possible for a subalgebra to have fewer operations.<ref name="auto6">{{harvnb|Indurkhya|2013|pp=}}</ref>}} 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.{{efn|This means that all the elements of the first set are also elements of the second set but the second set may contain elements not found in the first set.<ref>{{harvnb|Efimov|2014}}</ref>}} All operations in the subalgebra are required to be ] in its underlying set, meaning that they only produce elements that belong to this set.<ref name="auto8"/> For example, the set of ] 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.<ref name="auto6"/>

] 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 ]s. It provides a framework for investigating what structural features different algebraic structures have in common.<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 3. Universal Algebra}} | {{harvnb|Cohn|2012|p=}} }}</ref>{{efn|A slightly different approach understands universal algebra as the study of one type of algebraic structures known as universal algebras. Universal algebras are defined in a general manner to include most other algebraic structures. For example, groups and rings are special types of universal algebras.<ref>{{multiref | {{harvnb|Smirnov|2020}} | {{harvnb|Grätzer|2008|pp=7–8}} | {{harvnb|Bahturin|2013|p=}} }}</ref>}} One of those structural features concerns the ] that are true in different algebraic structures. In this context, an identity is a ] equation or an equation that is true for all elements of the underlying set. For example, commutativity is a universal equation that states that <math>a \circ b</math> is identical to <math>b \circ a</math> for all elements.<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 3.2 Equational Logic}} | {{harvnb|Mal’cev|1973|pp=210–211}} }}</ref> A ] is a class of all algebraic structures that satisfy certain identities. For example, if two algebraic structures satisfy commutativity then they are both part of the corresponding variety.<ref>{{multiref | {{harvnb|Mal’cev|1973|pp=210–211}} | {{harvnb|Cohn|2012|p=}} | {{harvnb|Rosen|2012|p=}} | {{harvnb|Hazewinkel|1994|p=}} }}</ref>{{efn|Not every type of algebraic structure forms a variety. For example, both groups and rings form varieties but fields do not.<ref>{{harvnb|Cohn|1995|p=}}</ref>}}{{efn|Besides identities, universal algebra is also interested in structural features associated with ]. A quasi-identity is an identity that only needs to be present under certain conditions (which take the form of a ]<ref>{{harvnb|Mal’cev|1973|p=211}}</ref>). It is a generalization of identity in the sense that every identity is a quasi-identity but not every quasi-identity is an identity. A ] is a class of all algebraic structures that satisfy certain quasi-identities.<ref>{{multiref | {{harvnb|Mal’cev|1973|pp=210–211}} | {{harvnb|Pratt|2022|loc=§ 3. Universal Algebra}} | {{harvnb|Artamonov|2003|p=}} }}</ref>}}

] examines how mathematical objects are related to each other using the concept of ]. A category is a collection of objects together with a collection of ] or "arrows" between those objects. These two collections must satisfy certain conditions. For example, morphisms can be joined, or ''composed'': if there exists a morphism from object <math>a</math> to object <math>b</math>, and another morphism from object <math>b</math> to object <math>c</math>, then there must also exist one from object <math>a</math> to object <math>c</math>. Composition of morphisms is required to be associative, and there must be an "identity morphism" for every object.<ref>{{multiref | {{harvnb|Weisstein|2003|pp=347–348}} | {{harvnb|Gowers|Barrow-Green|Leader|2010|pp=}} | {{harvnb|Cheng|2023|p=102}} }}</ref> Categories are widely used in contemporary mathematics since they provide a unifying framework to describe and analyze many fundamental mathematical concepts. For example, sets can be described with the ], and any group can be regarded as the morphisms of a category with just one object.<ref>{{multiref | {{harvnb|Gowers|Barrow-Green|Leader|2010|pp=}} | {{harvnb|Borceux|1994|p=}} | {{harvnb|Laos|1998|p=}} | {{harvnb|Cheng|2023|pp=128–131}} }}</ref>

== History ==
{{main|History of algebra|Timeline of algebra}}

] from ], dated {{circa|1650 BCE}}, is one of the earliest documents discussing algebraic problems.]]

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 ], ], ], ], and ]. One of the earliest documents on algebraic problems is the ] from ancient Egypt, which was written around 1650&nbsp;BCE.{{efn|The exact date is disputed and some historians suggest a later date around 1550 BCE.<ref>{{multiref | {{harvnb|Corry|2024|loc=§ Problem Solving in Egypt and Babylon}} | {{harvnb|Brezinski|Meurant|Redivo-Zaglia|2022|p=}} }}</ref>}} It discusses solutions to ], as expressed in problems like "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 ], such as the method of ].<ref>{{multiref | {{harvnb|Tanton|2005|p=9}} | {{harvnb|Kvasz|2006|p=290}} | {{harvnb|Corry|2024|loc=§ Problem Solving in Egypt and Babylon}} }}</ref>

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 ]' formulation of the ] method and later in ].<ref>{{multiref | {{harvnb|Tanton|2005|p=9}} | {{harvnb|Kvasz|2006|p=290}} | {{harvnb|Corry|2024|loc=§ The Pythagoreans and Euclid}} }}</ref> In the 3rd century CE, ] provided a detailed treatment of how to solve algebraic equations in a series of books called '']''. He was the first to experiment with symbolic notation to express polynomials.<ref>{{multiref | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} | {{harvnb|Sialaros|2018|p=}} | {{harvnb|Corry|2024|loc=§ Diophantus}} }}</ref> Diophantus's work influenced Arab development of algebra with many of his methods reflected in the concepts and techniques used in medieval Arabic algebra.<ref>{{multiref | {{harvnb|Hettle|2015|pp=139–141, 160–161}} | {{harvnb|Christianidis|Megremi|2019|pp=16–17}} }}</ref> In ancient China, '']'', a book composed over the period spanning from the 10th century BCE to the 2nd century CE,<ref>{{harvnb|Burgin|2022|p=}}</ref> explored various techniques for solving algebraic equations, including the use of matrix-like constructs.<ref>{{harvnb|Higgins|2015|p=}}</ref>

There is no unanimity as to whether these early developments are part of algebra or only 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.<ref>{{multiref | {{harvnb|Kvasz|2006|pp=290–291}} | {{harvnb|Sialaros|2018|p=}} | {{harvnb|Boyer|Merzbach|2011|p=}} | {{harvnb|Derbyshire|2006|p=}} }}</ref> This changed with the Persian mathematician ],{{efn|Some historians consider him the "father of algebra" while others reserve this title for Diophantus.<ref>{{multiref | {{harvnb|Boyer|Merzbach|2011|p=}} | {{harvnb|Derbyshire|2006|p=}} }}</ref> }} who published his '']'' 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.<ref>{{multiref | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Kvasz|2006|pp=291–293}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} }}</ref> Other influential contributions to algebra came from the Arab mathematician ] also in the 9th century and the Persian mathematician ] in the 11th and 12th centuries.<ref>{{multiref | {{harvnb|Waerden|2013|pp=3, 15–16, 24–25}} | {{harvnb|Jenkins|2010|p=}} | {{harvnb|Pickover|2009|p=}} }}</ref>

In India, ] 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.<ref>{{multiref | {{harvnb|Tanton|2005|pp=9–10}} | {{harvnb|Corry|2024|loc=§ The Equation in India and China}} }}</ref> The Indian mathematicians ] in the 9th century and ] in the 12th century further refined Brahmagupta's methods and concepts.<ref>{{multiref | {{harvnb|Seshadri|2010|p=}} | {{harvnb|Emch|Sridharan|Srinivas|2005|p=}} }}</ref> In 1247, the Chinese mathematician ] wrote the '']'', which includes ] for the ], including polynomials of higher degrees.<ref>{{multiref | {{harvnb|Smorynski|2007|p=}} | {{harvnb|Zwillinger|2002|p=}} }}</ref>

{{multiple image
|perrow=2
|total_width=350
|image1=Francois Viete.jpeg
|alt1=Drawing of François Viète
|image2=Frans Hals - Portret van René Descartes (cropped).jpg
|alt2=Painting of René Descartes
|footer=] (left) and ] invented a symbolic notation to express equations in an abstract and concise manner.
}}

The Italian mathematician ] brought al-Khwarizmi's ideas and techniques to Europe in books including his '']''.<ref>{{multiref | {{harvnb|Waerden|2013|pp=32–35}} | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Kvasz|2006|p=293}} }}</ref> In 1545, the Italian polymath ] published his book '']'', which covered many topics in algebra, discussed ], and was the first to present general methods for solving ] and ]s.<ref>{{multiref | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Kvasz|2006|p=293}} | {{harvnb|Corry|2024|loc=§ Cardano and the Solving of Cubic and Quartic Equations}} | {{harvnb|Miyake|2002|p=}} }}</ref> In the 16th and 17th centuries, the French mathematicians ] and ] 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.<ref>{{multiref | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Kvasz|2006|pp=291–292, 297–298, 302}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} | {{harvnb|Corry|2024|loc=§ Viète and the Formal Equation, § Analytic Geometry}} }}</ref> 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.<ref>{{multiref | {{harvnb|Hazewinkel|1994|p=}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} }}</ref>

In the 17th and 18th centuries, many attempts were made to find general solutions to polynomials of degree five and higher. All of them failed.<ref name="auto3">{{multiref | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} | {{harvnb|Corry|2024|loc=§ Impasse with Radical Methods}} }}</ref> At the end of the 18th century, the German mathematician ] proved the ], which describes the existence of ] of polynomials of any degree without providing a general solution.<ref name="auto7"/> At the beginning of the 19th century, the Italian mathematician ] and the Norwegian mathematician ] were ] that no general solution exists for polynomials of degree five and higher.<ref name="auto3"/> In response to and shortly after their findings, the French mathematician ] developed what came later to be known as ], which offered a more in-depth analysis of the solutions of polynomials while also laying the foundation of ].<ref name="auto2"/> Mathematicians soon realized the relevance of group theory to other fields and applied it to disciplines like geometry and number theory.<ref>{{multiref | {{harvnb|Corry|2024|loc=§ Applications of Group Theory}} | {{harvnb|Bueno|French|2018|pp=}} }}</ref>

] developed many of the foundational concepts of universal algebra.|left|upright=0.8]]

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 ]. This approach explored the axiomatic basis of arbitrary algebraic operations.<ref>{{multiref | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Corry|2024|loc=§ Structural Algebra}} | {{harvnb|Hazewinkel|1994|pp=}} }}</ref> The invention of new algebraic systems based on different operations and elements accompanied this development, such as ], ], and ].<ref>{{multiref | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} | {{harvnb|Tanton|2005|p=10}} | {{harvnb|Corry|2024|loc=§ Matrices, § Quaternions and Vectors}} }}</ref> Influential early developments in abstract algebra were made by the German mathematicians ], ], and ] as well as the Austrian mathematician ]. They researched different forms of algebraic structures and categorized them based on their underlying axioms into types, like groups, rings, and fields.<ref>{{multiref | {{harvnb|Merzlyakov|Shirshov|2020|loc=§ Historical Survey}} | {{harvnb|Corry|2024|loc=§ Hilbert and Steinitz, § Noether and Artin}} | {{harvnb|Hazewinkel|1994|pp=}} }}</ref>

The idea of the even more general approach associated with universal algebra was conceived by the English mathematician ] in his 1898 book ''A Treatise on Universal Algebra''. Starting in the 1930s, the American mathematician ] expanded these ideas and developed many of the foundational concepts of this field.<ref>{{multiref | {{harvnb|Grätzer|2008|p=}} | {{harvnb|Chang|Keisler|1990|p=}} | {{harvnb|Knoebel|2011|p=}} | {{harvnb|Hazewinkel|1994|pp=}} }}</ref> The invention of universal algebra led to the emergence of various new areas focused on the algebraization of mathematics{{em dash}}that is, the application of algebraic methods to other branches of mathematics. Topological algebra arose in the early 20th century, studying algebraic structures such as ] and ].<ref>{{multiref | {{harvnb|Hazewinkel|1994|pp=}} | {{harvnb|Kleiner|2007|p=}} | {{harvnb|Carlson|2024|loc=§ History of topology}} }}</ref> In the 1940s and 50s, ] emerged, employing algebraic techniques to study ].<ref>{{multiref | {{harvnb|Hazewinkel|1994|pp=}} | {{harvnb|Weibel|1995|p=}} }}</ref> Around the same time, ] was developed and has since played a key role in the ].<ref>{{multiref | {{harvnb|Krömer|2007|p=}} | {{harvnb|Laos|1998|p=}} }}</ref> Other developments were the formulation of ] and the study of ]s.<ref>{{multiref | {{harvnb|Hazewinkel|1994|pp=}} | {{harvnb|Pratt|2022|loc=§ 6. Free Algebras}} }}</ref>

{{clear}}

== Applications ==
{{see also|Applied mathematics}}
The influence of algebra is wide-reaching, both within mathematics and in its applications to other fields.<ref>{{multiref | {{harvnb|Houston|2004|p=}} | {{harvnb|Neri|2019|p=}} | {{harvnb|Lidl|Pilz|1997|pp=}} }}</ref> The algebraization of mathematics is the process of applying algebraic methods and principles to other ], such as ], ], ], and ]. 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.<ref>{{multiref | {{harvnb|Kleiner|2007|p=}} | {{harvnb|Pratt|2022|loc=§ 5. Algebraization of Mathematics}} | {{harvnb|Maddocks|2008|p=130}} | {{harvnb|Pratt|2022|loc=§ 5. Algebraization of Mathematics}} | {{harvnb|Mancosu|1999|pp=}} }}</ref>

] at the ] with a radius of 1.]]

One application, found in geometry, is the use of algebraic statements to describe geometric figures. For example, the equation <math>y = 3x - 7</math> describes a line in two-dimensional space while the equation <math>x^2 + y^2 + z^2 = 1</math> corresponds to a ] in three-dimensional space. Of special interest to ] are ],{{efn|Algebraic varieties studied in geometry differ from the more general varieties studied in universal algebra.<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 1.4 Cartesian geometry, § 3. Universal Algebra}} | {{harvnb|Danilov|2006|p=}} }}</ref>}} which are solutions to ] that can be used to describe more complex geometric figures.<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 5.1 Algebraic Geometry}} | {{harvnb|Danilov|2006|pp=}} }}</ref> Algebraic reasoning can also solve geometric problems. For example, one can determine whether and where the line described by <math>y = x + 1</math> intersects with the circle described by <math>x^2 + y^2 = 25</math> by solving the system of equations made up of these two equations.<ref>{{harvnb|Vince|2007|p=}}</ref> Topology studies the properties of geometric figures or ]s that are preserved under operations of ]. ] relies on algebraic theories such as ] to classify topological spaces. For example, ] classify topological spaces based on the existence of ] or ] in them.<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 5.3 Algebraic Topology}} | {{harvnb|Rabadan|Blumberg|2019|pp=}} | {{harvnb|Nakahara|2018|p=}} | {{harvnb|Weisstein|2003|pp=52–53}} }}</ref>

Number theory is concerned with the properties of and relations between integers. ] applies algebraic methods and principles to this field of inquiry. Examples are the use of algebraic expressions to describe general laws, like ], and of algebraic structures to analyze the behavior of numbers, such as the ].<ref>{{multiref | {{harvnb|Pratt|2022|loc=§ 5.2 Algebraic Number Theory}} | {{harvnb|Jarvis|2014|p=}} | {{harvnb|Viterbo|Hong|2011|p=}} }}</ref> The related field of ] uses algebraic techniques to solve problems related to counting, arrangement, and combination of discrete objects. An example in ] is the application of group theory to analyze ] and symmetries.<ref>{{multiref | {{harvnb|Gowers|Barrow-Green|Leader|2010|pp=}} | {{harvnb|Godsil|2017|p=}} | {{harvnb|Betten|Kohnert|Laue|Wassermann|2013|p=}} }}</ref> The insights of algebra are also relevant to calculus, which uses mathematical expressions to examine ] and ]. It relies on algebra, for instance, to understand how these expressions can be transformed and what role variables play in them.<ref>{{multiref | {{harvnb|Kilty|McAllister|2018|pp=x, 347, 589}} | {{harvnb|Bressoud|2021|p=}} }}</ref> ] employs the methods of algebra to describe and analyze the structures and patterns that underlie ],<ref>{{multiref | {{harvnb|Halmos|1956|p=363}} | {{harvnb|Burris|Legris|2021|loc=§ 1. Introduction}} }}</ref> exploring both the relevant mathematical structures themselves and their application to concrete problems of logic.<ref>{{harvnb|Andréka|Németi|Sain|2001|pp=}}</ref> It includes the study of ] to describe ]<ref>{{multiref | {{harvnb|Andréka|Madarász|Németi|2020|loc=§ Concrete Algebraic Logic}} | {{harvnb|Pratt|2022|loc=§ 5.4 Algebraic Logic}} | {{harvnb|Plotkin|2012|pp=}} | {{harvnb|Jansana|2022|loc=Lead section}} }}</ref> as well as the formulation and analysis of algebraic structures corresponding to more complex ].<ref>{{multiref | {{harvnb|Andréka|Madarász|Németi|2020|loc=§ Abstract Algebraic Logic}} | {{harvnb|Jansana|2022|loc=§ 4. Algebras}} }}</ref>

] can be rotated to change the arrangement of colored patches. The resulting permutations form a group called the ].<ref>{{harvnb|Joyner|2008|p=92}}</ref>]]

Algebraic methods are also commonly employed in other areas, like the natural sciences. For example, they are used to express ] and solve equations in ], ], and ].<ref>{{multiref | {{harvnb|Houston|2004|p=}} | {{harvnb|Neri|2019|p=}} | {{harvnb|Anton|Rorres|2010|p=}} }}</ref> Similar applications are found in fields like ], ], ] (including ] and ]), and ] to express relationships, solve problems, and model systems.<ref>{{multiref | {{harvnb|Neri|2019|p=}} | {{harvnb|Aleskerov|Ersel|Piontkovski|2011|pp=}} | {{harvnb|Straffin|1980|p=}} | {{harvnb|Menini|Oystaeyen|2017|p=}} | {{harvnb|Lovett|2015|p=}} | {{harvnb|Lidl|Pilz|1997|pp=}} }}</ref> Linear algebra plays a central role in ] and ], for instance, by enabling the efficient processing and analysis of large ]s.<ref>{{multiref | {{harvnb|Wheeler|2023|p=}} | {{harvnb|Gallier|Quaintance|2020|pp=}} }}</ref> Various fields rely on algebraic structures investigated by abstract algebra. For example, physical sciences like ] and ] make extensive use of group theory,<ref>{{multiref | {{harvnb|Klimov|2014|p=}} | {{harvnb|Bengtsson|Życzkowski|2017|pp=313–353}} }}</ref> which is also employed to study puzzles such as ] and ]s,<ref>{{harvnb|Terras|2019|pp=63–64, 142}}</ref> and ].<ref>{{harvnb|Hull|2021|p=}}</ref> Both ] and ] rely on abstract algebra to solve problems associated with ], like avoiding the effects of ] and ensuring ].<ref>{{multiref | {{harvnb|Lidl|Pilz|1997|pp=183–184, 239–240}} | {{harvnb|Carstensen|Fine|Rosenberger|2011|pp=}} }}</ref>

== Education ==
{{See also|Mathematics education}}

] are used in algebra education to help students understand how equations can be transformed to determine unknown values.<ref>{{multiref | {{harvnb|Kieran|2006|p=}} | {{harvnb|Kaput|2018|p=}} |{{harvnb|Gardella|DeLucia|2020|pp=}} }}</ref>]]

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 ] since it requires mastery of the fundamentals of arithmetic while posing new cognitive challenges associated with abstract reasoning and generalization.<ref>{{multiref | {{harvnb|Arcavi|Drijvers|Stacey|2016|p=xiii}} | {{harvnb|Dekker|Dolk|2011|p=}} }}</ref> 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.<ref>{{multiref | {{harvnb|Arcavi|Drijvers|Stacey|2016|pp=2–5}} | {{harvnb|Drijvers|Goddijn|Kindt|2011|pp=}} }}</ref>

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 ]s. One method uses ] 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.<ref>{{multiref | {{harvnb|Kieran|2006|p=}} | {{harvnb|Kaput|2018|p=}} |{{harvnb|Gardella|DeLucia|2020|pp=}} | {{harvnb|Star|Foegen|Larson|McCallum|2015|pp=16–17}} }}</ref> ] 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 (<math>2x + x = 12</math>) and to determine how many apples Naomi has {{nowrap|(<math>x = 4</math>).<ref>{{multiref | {{harvnb|Arcavi|Drijvers|Stacey|2016|pp=58–59}} | {{harvnb|Drijvers|Goddijn|Kindt|2011|p=}} }}</ref>}}

At the university level, mathematics students encounter advanced algebra topics from linear and abstract algebra. Initial ] courses in linear algebra focus on matrices, vector spaces, and linear maps. Upon completing them, students are usually introduced to abstract algebra, where they learn about algebraic structures like groups, rings, and fields, as well as the relations between them. The curriculum typically also covers specific instances of algebraic structures, such as the systems of the rational numbers, the real numbers, and the polynomials.<ref>{{harvnb|Hausberger|Zandieh|Fleischmann|2021|pp=147–148}}</ref>

== See also ==
{{div col|colwidth=30em}}
* {{annotated link|Algebra over a set}}
* {{annotated link|Algebra tile}}
* {{annotated link|Algebraic combinatorics}}
* {{annotated link|C*-algebra}}
* {{annotated link|Clifford algebra}}
* {{annotated link|Commutative algebra}}
* {{annotated link|Composition algebra}}
* {{annotated link|Computer algebra}}
* {{annotated link|Cyclotomic polynomial}}
* {{annotated link|Diophantine equation}}
* {{annotated link|Discrete group}}
* {{annotated link|Dual space}}
* {{annotated link|Eigenvalues and eigenvectors}}
* {{annotated link|Equivalence class}}
* {{annotated link|Equivalence relation}}
* {{annotated link|Exterior algebra}}
* {{annotated link|F-algebra}}
* {{annotated link|Finite field}}
* {{annotated link|Fundamental theorem of finitely generated abelian groups}}
* {{annotated link|Geometric algebra}}
* {{annotated link|Heyting algebra}}
* {{annotated link|Hilbert space}}
* {{annotated link|Hilbert's Nullstellensatz}}
* {{annotated link|Hilbert's syzygy theorem}}
* {{annotated link|Hopf algebra}}
* {{annotated link|Lattice (group)}}
* {{annotated link|Lie group}}
* {{annotated link|Linear form}}
* {{annotated link|Linear subspace}}
* {{annotated link|Matrix decomposition}}
* {{annotated link|Multilinear map}}
* {{annotated link|Non-associative algebra}}
* {{annotated link|Outline of algebra}}
* {{annotated link|Quaternion}}
* {{annotated link|Rational function}}
* {{annotated link|Relational algebra}}
* {{annotated link|Representation theory}}
* {{annotated link|Root of unity}}
* {{annotated link|Scheme theory}}
* {{annotated link|Sigma-algebra}}
* {{annotated link|Singular value decomposition}}
* {{annotated link|Spectral theory}}
* {{annotated link|Symmetric algebra}}
* {{annotated link|T-algebra}}
* {{annotated link|Tensor}}
* {{annotated link|Tensor algebra}}
* {{annotated link|Wiles' proof of Fermat's Last Theorem}}
{{div col end}}

== References ==
=== Notes ===
{{notelist}}

=== Citations ===
{{Reflist}}

=== Sources ===
{{Refbegin|30em}}
* {{cite book |last1=Abas |first1=Syed Jan |last2=Salman |first2=Amer Shaker |title=Symmetries Of Islamic Geometrical Patterns |date=1994 |publisher=World Scientific |isbn=978-981-4502-21-4 |url=https://books.google.com/books?id=5snsCgAAQBAJ |language=en |access-date=March 12, 2024 }}{{cbignore}}
* {{cite book |last1=Adhikari |first1=Mahima Ranjan |title=Basic Algebraic Topology and its Applications |publisher=Springer |isbn=978-81-322-2843-1 |url=https://books.google.com/books?id=MIAXDQAAQBAJ&pg=PA5 |language=en |date=2016 |access-date=August 5, 2024 }}{{cbignore}}
* {{cite book |last1=Adhikari |first1=Mahima Ranjan |last2=Adhikari |first2=Avishek |title=Basic Modern Algebra with Applications |publisher=Springer |isbn=978-81-322-1599-8 |url=https://books.google.com/books?id=lBO7BAAAQBAJ&pg=PA72 |language=en |date=2013 |access-date=August 5, 2024 }}{{cbignore}}
* {{cite book |last1=Aleskerov |first1=Fuad |last2=Ersel |first2=Hasan |last3=Piontkovski |first3=Dmitri |title=Linear Algebra for Economists |date=2011 |publisher=Springer |isbn=978-3-642-20570-5 |url=https://books.google.com/books?id=ipcSD8ZGB8cC&pg=PA1 |language=en |access-date=March 11, 2024 }}{{cbignore}}
* {{cite web |last1=Andréka |first1=H. |last2=Madarász |first2=J. X. |last3=Németi |first3=I. |title=Algebraic Logic |url=https://encyclopediaofmath.org/Algebraic_logic |website=Encyclopedia of Mathematics |publisher=Springer |access-date=October 23, 2023 |date=2020 |archive-date=January 24, 2024 |archive-url=https://web.archive.org/web/20240124094606/https://encyclopediaofmath.org/Algebraic_logic |url-status=live }}
* {{cite book |last1=Andréka |first1=H. |last2=Németi |first2=I. |last3=Sain |first3=I. |title=Handbook of Philosophical Logic |date=2001 |publisher=Springer |isbn=978-94-017-0452-6 |chapter-url=https://link.springer.com/chapter/10.1007/978-94-017-0452-6_3 |language=en |chapter=Algebraic Logic |doi=10.1007/978-94-017-0452-6_3 |access-date=January 24, 2024 |archive-date=January 24, 2024 |archive-url=https://web.archive.org/web/20240124094523/https://link.springer.com/chapter/10.1007/978-94-017-0452-6_3 |url-status=live }}
* {{cite book |last1=Anton |first1=Howard |title=Elementary Linear Algebra |date=2013 |publisher=John Wiley & Sons |isbn=978-1-118-67730-8 |url=https://books.google.com/books?id=neYGCwAAQBAJ&pg=PA255 |language=en |access-date=January 18, 2024 }}{{cbignore}}
* {{cite book |last1=Anton |first1=Howard |last2=Rorres |first2=Chris |title=Elementary Linear Algebra: Applications Version |publisher=John Wiley & Sons |isbn=978-0-470-43205-1 |url=https://books.google.com/books?id=1PJ-WHepeBsC&pg=PA327 |language=en |date=2010 }}
* {{cite book |last1=Anton |first1=Howard |last2=Rorres |first2=Chris |title=Elementary Linear Algebra: Applications Version |date=2013 |publisher=John Wiley & Sons |isbn=978-1-118-47422-8 |url=https://books.google.com/books?id=D9xoDwAAQBAJ |language=en |access-date=January 18, 2024 }}{{cbignore}}
* {{cite book |last1=Arcavi |first1=Abraham |last2=Drijvers |first2=Paul |last3=Stacey |first3=Kaye |title=The Learning and Teaching of Algebra: Ideas, Insights and Activities |date=2016 |publisher=Routledge |isbn=978-1-134-82077-1 |url=https://books.google.com/books?id=XGR9DAAAQBAJ |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Artamonov |first1=V. A. |editor1-last=Hazewinkel |editor1-first=M. |title=Handbook of Algebra |date=2003 |publisher=Elsevier |isbn=978-0-08-053297-4 |chapter-url=https://books.google.com/books?id=sLDGY4Hk8V0C&pg=PA873 |language=en |chapter=Quasivarieties |access-date=January 21, 2024 }}{{cbignore}}
* {{cite book |last1=Atanasiu |first1=Dragu |last2=Mikusinski |first2=Piotr |title=A Bridge To Linear Algebra |date=2019 |publisher=World Scientific |isbn=978-981-12-0024-3 |url=https://books.google.com/books?id=VbySDwAAQBAJ&pg=PA75 |language=en |access-date=March 12, 2024 }}{{cbignore}}
* {{cite book |last1=Bahturin |first1=Y. |title=Basic Structures of Modern Algebra |publisher=Springer |isbn=978-94-017-0839-5 |url=https://books.google.com/books?id=8RbvCAAAQBAJ&pg=PA346 |language=en |date=2013 |access-date=August 30, 2024 }}{{cbignore}}
* {{cite web |last1=Baranovich |first1=T. M. |title=Algebraic Operation |url=https://encyclopediaofmath.org/Algebraic_operation |website=Encyclopedia of Mathematics |publisher=Springer |access-date=January 11, 2023 |date=2023 |archive-date=August 23, 2023 |archive-url=https://web.archive.org/web/20230823194536/https://encyclopediaofmath.org/Algebraic_operation |url-status=live }}
* {{cite book |last1=Barrera-Mora |first1=Fernando |title=Linear Algebra: A Minimal Polynomial Approach to Eigen Theory |date=2023 |publisher=Walter de Gruyter GmbH & Co KG |isbn=978-3-11-113591-5 |url=https://books.google.com/books?id=Xmu8EAAAQBAJ&pg=PR9 |language=en |access-date=January 18, 2024 }}{{cbignore}}
* {{cite book |last1=Bengtsson |first1=Ingemar |last2=Życzkowski |first2=Karol |author-link2=Karol Życzkowski |title=Geometry of Quantum States: An Introduction to Quantum Entanglement |edition=2nd |year=2017 |publisher=Cambridge University Press |isbn=978-1-107-02625-4}}{{cbignore}}
* {{cite book |last1=Benson |first1=Donald C. |title=A Smoother Pebble: Mathematical Explorations |date=2003 |publisher=Oxford University Press |isbn=978-0-19-514436-9 |url=https://books.google.com/books?id=nNbnCwAAQBAJ&pg=PA111 |language=en |access-date=January 16, 2024 }}{{cbignore}}
* {{cite web |last1=Berggren |first1=John L. |title=Elementary Algebra |url=https://www.britannica.com/science/elementary-algebra |website=Encyclopædia Britannica |access-date=January 14, 2024 |language=en |date=2015 |archive-date=January 14, 2024 |archive-url=https://web.archive.org/web/20240114180506/https://www.britannica.com/science/elementary-algebra |url-status=live }}
* {{cite book |editor1-last=Betten |editor1-first=Anton |editor2-last=Kohnert |editor2-first=Axel |editor3-last=Laue |editor3-first=Reinhard |editor4-last=Wassermann |editor4-first=Alfred |title=Algebraic Combinatorics and Applications |publisher=Springer |isbn=978-3-642-59448-9 |url=https://books.google.com/books?id=G1TmCAAAQBAJ&pg=PP9 |language=en |date=2013 }}
* {{cite book |last1=Bhattacharya |first1=P. B. |last2=Jain |first2=S. K. |last3=Nagpaul |first3=S. R. |title=Basic Abstract Algebra |publisher=Cambridge University Press |isbn=978-0-521-46629-5 |url=https://books.google.com/books?id=hiQ8e0b48swC&pg=PA141 |language=en |date=1994 }}
* {{cite book |last1=Borceux |first1=Francis |title=Handbook of Categorical Algebra: Basic category theory |publisher=Cambridge University Press |isbn=978-0-521-44178-0 |url=https://books.google.com/books?id=YfzImoopB-IC&pg=PA20 |language=en |date=1994 }}
* {{cite book |last1=Bourbaki |first1=N. |title=Algebra I: Chapters 1-3 |publisher=Springer |isbn=978-3-540-64243-5 |url=https://books.google.com/books?id=STS9aZ6F204C&pg=PA446 |language=en |date=1998 }}
* {{cite book |last1=Boyer |first1=Carl B. |last2=Merzbach |first2=Uta C. |title=A History of Mathematics |date=2011 |publisher=John Wiley & Sons |isbn=978-0-470-63056-3 |url=https://books.google.com/books?id=bR9HAAAAQBAJ&pg=PA161 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Bracken |first1=Laura J. |last2=Miller |first2=Edward S. |title=Elementary Algebra |publisher=Cengage Learning |isbn=978-0-618-95134-5 |date=2014 }}
* {{cite book |last1=Bressoud |first1=David M. |title=Calculus Reordered: A History of the Big Ideas |publisher=Princeton University Press |isbn=978-0-691-21878-6 |url=https://books.google.com/books?id=GkgHEAAAQBAJ&pg=PA64 |language=en |date=2021 |access-date=September 4, 2024 }}{{cbignore}}
* {{cite book |last1=Brezinski |first1=Claude |last2=Meurant |first2=Gérard |last3=Redivo-Zaglia |first3=Michela |title=A Journey through the History of Numerical Linear Algebra |publisher=SIAM |isbn=978-1-61197-723-3 |url=https://books.google.com/books?id=4IGhEAAAQBAJ&pg=PA34 |language=en |date=2022 |access-date=August 12, 2024 }}{{cbignore}}
* {{cite book |last1=Brešar |first1=Matej |title=Introduction to Noncommutative Algebra |publisher=Springer |isbn=978-3-319-08693-4 |url=https://books.google.com/books?id=PkvPBAAAQBAJ&pg=PR33 |language=en |date=2014 |access-date=June 14, 2024 }}{{cbignore}}
* {{cite book |last1=Brown |first1=Jonathon D. |title=Linear Models in Matrix Form: A Hands-On Approach for the Behavioral Sciences |publisher=Springer |isbn=978-3-319-11734-8 |url=https://books.google.com/books?id=POlVBgAAQBAJ&pg=PA30 |language=en |date=2015 }}
* {{cite book |last1=Bueno |first1=Otávio |last2=French |first2=Steven |title=Applying Mathematics: Immersion, Inference, Interpretation |publisher=Oxford University Press |isbn=978-0-19-881504-4 |url=https://books.google.com/books?id=kmZaDwAAQBAJ&pg=PA73 |language=en |date=2018 |access-date=July 28, 2024 }}{{cbignore}}
* {{cite web |last1=Bukhshtab |first1=A. A. |last2=Pechaev |first2=V. I. |title=Arithmetic |url=https://encyclopediaofmath.org/Arithmetic |website=Encyclopedia of Mathematics |publisher=Springer |access-date=October 23, 2023 |date=2020 |archive-date=October 4, 2009 |archive-url=https://web.archive.org/web/20091004230123/http://eom.springer.de/a/a013260.htm |url-status=live }}
* {{cite book |last1=Burgin |first1=Mark |title=Trilogy Of Numbers And Arithmetic – Book 1: History Of Numbers And Arithmetic: An Information Perspective |date=2022 |publisher=World Scientific |isbn=978-981-12-3685-3 |url=https://books.google.com/books?id=rWF2EAAAQBAJ&pg=PA45 |language=en |access-date=January 13, 2024 }}{{cbignore}}
* {{cite web |last1=Burris |first1=Stanley |last2=Legris |first2=Javier |title=The Algebra of Logic Tradition |url=https://plato.stanford.edu/entries/algebra-logic-tradition/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=January 22, 2024 |date=2021 |archive-date=January 29, 2024 |archive-url=https://web.archive.org/web/20240129081715/https://plato.stanford.edu/entries/algebra-logic-tradition/ |url-status=live }}
* {{cite web |last1=Carlson |first1=Stephan C. |title=Topology – Homology, Cohomology, Manifolds |url=https://www.britannica.com/science/topology/Algebraic-topology |website=Encyclopædia Britannica |access-date=2 October 2024 |language=en |date=2024 }}
* {{cite book |last1=Carstensen |first1=Celine |last2=Fine |first2=Benjamin |last3=Rosenberger |first3=Gerhard |title=Abstract Algebra: Applications to Galois Theory, Algebraic Geometry, and Cryptography |publisher=Walter de Gruyter |isbn=978-3-11-025008-4 |url=https://books.google.com/books?id=Xo6iSxRfXz0C&pg=PA326 |language=en |date=2011 }}
* {{cite book |last1=Chahal |first1=J. S. |title=Fundamentals of Linear Algebra |publisher=CRC Press |isbn=978-0-429-75810-2 |url=https://books.google.com/books?id=BGR8DwAAQBAJ&pg=PT10 |language=en |date=2018 |access-date=August 29, 2024 }}{{cbignore}}
* {{cite book |last1=Chang |first1=C. C. |last2=Keisler |first2=H. J. |title=Model Theory |date=1990 |publisher=Elsevier |isbn=978-0-08-088007-5 |url=https://books.google.com/books?id=uiHq0EmaFp0C&pg=PA603 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last=Cheng |first=Eugenia |author-link=Eugenia Cheng |title=The Joy of Abstraction |year=2023 |publisher=Cambridge University Press |isbn=978-1-108-47722-2 |doi=10.1017/9781108769389 }}
* {{cite journal |last1=Christianidis |first1=Jean |last2=Megremi |first2=Athanasia |title=Tracing the Early History of Algebra: Testimonies on Diophantus in the Greek-speaking World (4th–7th Century CE) |journal=Historia Mathematica |volume=47 |doi=10.1016/j.hm.2019.02.002 |date=2019 |pages=16–38 }}
* {{cite book |last1=Cohn |first1=P. M. |title=Skew Fields: Theory of General Division Rings |publisher=Cambridge University Press |isbn=978-0-521-43217-7 |url=https://books.google.com/books?id=u-4ADgUgpSMC&pg=PA8 |language=en |date=1995 }}
* {{cite book |last1=Cohn |first1=P. M. |title=Universal Algebra |publisher=Springer |isbn=978-94-009-8399-1 |url=https://books.google.com/books?id=6tbuCAAAQBAJ&pg=PR13 |language=en |date=2012 |access-date=June 14, 2024 }}{{cbignore}}
* {{cite book |last1=Cooper |first1=Ellis D. |title=Mathematical Mechanics: From Particle to Muscle |date=2011 |publisher=World Scientific |isbn=978-981-4289-70-2 |url=https://books.google.com/books?id=Fybzl6QB62gC&pg=PA60 |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite web |last1=Corry |first1=Leo |title=Algebra |url=https://www.britannica.com/science/algebra |website=Encyclopædia Britannica |access-date=January 25, 2024 |language=en |date=2024 |archive-date=January 19, 2024 |archive-url=https://web.archive.org/web/20240119233613/https://www.britannica.com/science/algebra |url-status=live }}
* {{cite book |last1=Cox |first1=David A. |title=Galois Theory |publisher=John Wiley & Sons |isbn=978-1-118-21842-6 |url=https://books.google.com/books?id=vBKrOch1AkYC&pg=PA161 |language=en |date=2012 }}
* {{cite book |last1=Cresswell |first1=Julia |title=Oxford Dictionary of Word Origins |date=2010 |publisher=Oxford University Press |isbn=978-0-19-954793-7 |url=https://books.google.com/books?id=J4i3zV4vnBAC&pg=PA11 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Danilov |first1=V. I. |title=Algebraic Geometry I: Algebraic Curves, Algebraic Manifolds and Schemes |date=2006 |publisher=Springer |isbn=978-3-540-51995-9 |chapter-url=https://books.google.com/books?id=-QMWR-x66XUC&pg=PA172 |language=en |chapter=II. Algebraic Varieties and Schemes |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Dekker |first1=Truus |last2=Dolk |first2=Maarten |editor1-last=Drijvers |editor1-first=Paul |title=Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown |date=2011 |publisher=Springer |isbn=978-94-6091-334-1 |chapter-url=https://books.google.com/books?id=7sVFaMhwackC&pg=PA5 |language=en |chapter=3. From Arithmetic to Algebra |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Denecke |first1=Klaus |last2=Wismath |first2=Shelly L. |title=Universal Algebra and Applications in Theoretical Computer Science |publisher=CRC Press |isbn=978-1-4822-8583-3 |url=https://books.google.com/books?id=2UlZDwAAQBAJ&pg=PR5 |language=en |date=2018 |access-date=August 30, 2024 }}{{cbignore}}
* {{cite book |last1=Deo |first1=Satya |title=Algebraic Topology: A Primer |publisher=Springer |isbn=978-981-10-8734-9 |url=https://books.google.com/books?id=HjtRDwAAQBAJ&pg=PA295 |language=en |date=2018 |access-date=August 5, 2024 }}{{cbignore}}
* {{cite book |last1=Derbyshire |first1=John |title=Unknown Quantity: A Real and Imaginary History of Algebra |date=2006 |publisher=National Academies Press |isbn=978-0-309-09657-7 |chapter-url=https://books.google.com/books?id=mLqaAgAAQBAJ&pg=PT39 |language=en |chapter=2. The Father of Algebra |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Dominich |first1=Sándor |title=The Modern Algebra of Information Retrieval |date=2008 |publisher=Springer |isbn=978-3-540-77659-8 |url=https://books.google.com/books?id=uEedNKV3nlUC&pg=PA19 |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite book |last1=Drijvers |first1=Paul |last2=Goddijn |first2=Aad |last3=Kindt |first3=Martin |editor1-last=Drijvers |editor1-first=Paul |title=Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown |date=2011 |publisher=Springer |isbn=978-94-6091-334-1 |chapter-url=https://books.google.com/books?id=7sVFaMhwackC&pg=PA5 |language=en |chapter=1. Algebra Education: Exploring Topics and Themes |access-date=January 24, 2024 }}{{cbignore}}
* {{cite web |last1=Efimov |first1=B. A. |title=Set theory |url=https://encyclopediaofmath.org/Set_theory |website=Encyclopedia of Mathematics |publisher=Springer |access-date=January 11, 2023 |date=2014 |archive-date=November 29, 2022 |archive-url=https://web.archive.org/web/20221129153653/https://encyclopediaofmath.org/Set_theory |url-status=live }}
* {{cite web|last=Elwes |first=Richard |url=http://plus.maths.org/issue41/features/elwes/index.htmljournal |title=An enormous theorem: the classification of finite simple groups |website=] |date=December 2006 |access-date=2011-12-20 |archive-date=2009-02-02 |archive-url=https://web.archive.org/web/20090202092008/http://plus.maths.org/issue41/features/elwes/index.html |url-status=dead}}
* {{cite book |last1=Emch |first1=Gerard G. |last2=Sridharan |first2=R. |last3=Srinivas |first3=M. D. |title=Contributions to the History of Indian Mathematics |date=2005 |publisher=Springer |isbn=978-93-86279-25-5 |url=https://books.google.com/books?id=qfJdDwAAQBAJ&pg=PA20 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite web |author1=EoM Staff |title=Algebra |url=https://encyclopediaofmath.org/Algebra |website=Encyclopedia of Mathematics |publisher=Springer |access-date=January 11, 2023 |date=2017 |archive-date=November 29, 2022 |archive-url=https://web.archive.org/web/20221129153630/https://encyclopediaofmath.org/Algebra |url-status=live }}
* {{cite book |last1=Fiche |first1=Georges |last2=Hebuterne |first2=Gerard |title=Mathematics for Engineers |date=2013 |publisher=John Wiley & Sons |isbn=978-1-118-62333-6 |url=https://books.google.com/books?id=TqkckiuuXg8C&pg=PT326 |language=en |access-date=January 13, 2024 }}{{cbignore}}
* {{cite book |last1=Gallier |first1=Jean H. |last2=Quaintance |first2=Jocelyn |title=Linear Algebra And Optimization With Applications To Machine Learning – Volume Ii: Fundamentals Of Optimization Theory With Applications To Machine Learning |publisher=World Scientific |isbn=978-981-12-1658-9 |url=https://books.google.com/books?id=jWLcDwAAQBAJ&pg=PA1 |language=en |date=2020 }}
* {{cite journal |last1=Gandz |first1=Solomon |title=The Origin of the Term "Algebra" |journal=The American Mathematical Monthly |volume=33 |issue=9 |doi=10.2307/2299605 |date=1926 |pages=437–440 |jstor=2299605 }}
* {{cite book |last1=Gardella |first1=Francis |last2=DeLucia |first2=Maria |title=Algebra for the Middle Grades |date=2020 |publisher=IAP |isbn=978-1-64113-847-5 |url=https://books.google.com/books?id=HBXFDwAAQBAJ&pg=PA19 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Geddes |first1=Keith O. |last2=Czapor |first2=Stephen R. |last3=Labahn |first3=George |title=Algorithms for Computer Algebra |publisher=Springer |isbn=978-0-585-33247-5 |url=https://books.google.com/books?id=9fOUwkkRxT4C&pg=PA46 |language=en |date=2007 }}
* {{cite book |last1=Gilbert |first1=William J. |last2=Nicholson |first2=W. Keith |title=Modern Algebra with Applications |date=2004 |publisher=John Wiley & Sons |isbn=978-0-471-46989-6 |url=https://books.google.com/books?id=paINAXYHN8kC&pg=PA4 |language=en |access-date=January 13, 2024 }}{{cbignore}}
* {{cite book |last1=Godsil |first1=Chris |title=Algebraic Combinatorics |publisher=Routledge |isbn=978-1-351-46750-6 |url=https://books.google.com/books?id=hLs6DwAAQBAJ&pg=PR8 |language=en |date=2017 }}
* {{cite book |last1=Golan |first1=Jonathan S. |title=Foundations of Linear Algebra |date=1995 |publisher=Springer |isbn=978-94-015-8502-6 |chapter-url=https://link.springer.com/chapter/10.1007/978-94-015-8502-6_18 |language=en |chapter=Algebras Over A Field |series=Kluwer Texts in the Mathematical Sciences |volume=11 |pages=219–227 |doi=10.1007/978-94-015-8502-6_18 |access-date=January 13, 2024 |archive-date=January 12, 2024 |archive-url=https://web.archive.org/web/20240112171825/https://link.springer.com/chapter/10.1007/978-94-015-8502-6_18 |url-status=live }}
* {{cite book |last1=Goodman |first1=A. W. |title=Algebra From A To Z |volume=1 |date=2001 |publisher=World Scientific |isbn=978-981-310-266-8 |url=https://books.google.com/books?id=TvY7DQAAQBAJ&pg=PA5 |language=en |access-date=March 11, 2024 }}{{cbignore}}
* {{cite book |editor1-last=Gowers |editor1-first=Timothy |editor2-last=Barrow-Green |editor2-first=June |editor3-last=Leader |editor3-first=Imre |title=The Princeton Companion to Mathematics |publisher=Princeton University Press |isbn=978-1-4008-3039-8 |url=https://books.google.com/books?id=ZOfUsvemJDMC&pg=PA1 |language=en |date=2010 }}
* {{cite book |last1=Grätzer |first1=George |title=Universal Algebra |date=2008 |publisher=Springer |isbn=978-0-387-77487-9 |url=https://books.google.com/books?id=8lNkXPJas4wC |language=en |edition=2 |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Grillet |first1=Pierre Antoine |title=Abstract Algebra |date=2007 |publisher=Springer |isbn=978-0-387-71568-1 |chapter-url=https://link.springer.com/chapter/10.1007/978-0-387-71568-1_15 |language=en |chapter=Universal Algebra |series=Graduate Texts in Mathematics |volume=242 |pages=559–580 |doi=10.1007/978-0-387-71568-1_15 |access-date=January 13, 2024 |archive-date=January 12, 2024 |archive-url=https://web.archive.org/web/20240112171841/https://link.springer.com/chapter/10.1007/978-0-387-71568-1_15 |url-status=live }}
* {{cite book |last1=Häberle |first1=L. |editor1-last=Fink |editor1-first=Andreas |editor2-last=Lausen |editor2-first=Berthold |editor3-last=Seidel |editor3-first=Wilfried |editor4-last=Ultsch |editor4-first=Alfred |title=Advances in Data Analysis, Data Handling and Business Intelligence |date=2009 |publisher=Springer |isbn=978-3-642-01044-6 |chapter-url=https://books.google.com/books?id=McvSa-cFZCMC&pg=PA640 |language=en |chapter=On Classification of Molecules and Species of Representation Rings |access-date=March 12, 2024 }}{{cbignore}}
* {{cite journal |last1=Halmos |first1=Paul R. |title=The Basic Concepts of Algebraic Logic |journal=The American Mathematical Monthly |date=1956 |volume=63 |issue=6 |pages=363–387 |doi=10.2307/2309396 |jstor=2309396 |issn=0002-9890 }}
* {{cite book |last1=Harrison |first1=Michael |last2=Waldron |first2=Patrick |title=Mathematics for Economics and Finance |date=2011 |publisher=Routledge |isbn=978-1-136-81921-6 |url=https://books.google.com/books?id=_sisAgAAQBAJ&pg=PT464 |language=en |access-date=January 18, 2024 }}{{cbignore}}
* {{cite book |last1=Hausberger |first1=Thomas |editor1-last=Lerman |editor1-first=Stephen |title=Encyclopedia of Mathematics Education |publisher=Springer |isbn=9783030157883 |edition=2 |chapter=Abstract Algebra Teaching and Learning |date=2020 }}
* {{cite book |last1=Hausberger |first1=Thomas |last2=Zandieh |first2=Michelle |last3=Fleischmann |first3=Yael |editor1-last=Durand-Guerrier |editor1-first=Viviane |editor2-last=Hochmuth |editor2-first=Reinhard |editor3-last=Nardi |editor3-first=Elena |editor4-last=Winsløw |editor4-first=Carl |title=Research and Development in University Mathematics Education: Overview Produced by the International Network for Didactic Research in University Mathematics |publisher=Routledge |isbn=978-1-000-36924-3 |language=en |chapter=Abstract and Linear Algebra |date=2021 }}
* {{cite book |last1=Hazewinkel |first1=Michiel |title=Encyclopaedia of Mathematics (Set) |date=1994 |publisher=Springer |isbn=978-1-55608-010-4 |url=https://books.google.com/books?id=PE1a-EIG22kC&pg=PA73 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite web |author1=HC Staff |title=Arithmetic |url=https://www.ahdictionary.com/word/search.html?q=arithmetic&submit.x=58&submit.y=14 |website=American Heritage Dictionary |publisher=HarperCollins |access-date=October 19, 2023 |date=2022 |archive-date=November 8, 2023 |archive-url=https://web.archive.org/web/20231108181459/https://www.ahdictionary.com/word/search.html?q=arithmetic&submit.x=58&submit.y=14 |url-status=live }}
* {{cite journal |last1=Hettle |first1=Cyrus |title=The Symbolic and Mathematical Influence of Diophantus's Arithmetica |journal=Journal of Humanistic Mathematics |volume=5 |issue=1 |doi=10.5642/jhummath.201501.08 |date=2015 |pages=139–166 |doi-access=free }}
* {{cite book |last1=Higgins |first1=Peter M. |title=Algebra: A Very Short Introduction |date=2015 |publisher=Oxford University Press |isbn=978-0-19-104746-6 |url=https://books.google.com/books?id=QANiCgAAQBAJ&pg=PA89 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Higham |first1=Nicholas J. |title=Handbook of Writing for the Mathematical Sciences |date=2019 |publisher=SIAM |isbn=978-1-61197-610-6 |edition=3 |url=https://books.google.com/books?id=ferEDwAAQBAJ&pg=PA296 |language=en |access-date=March 17, 2024 }}{{cbignore}}
* {{cite book |last1=Hoad |first1=T. F. |title=The Concise Oxford Dictionary of English Etymology |date=1993 |publisher=Oxford University Press |isbn=978-0-19-283098-2 }}
* {{cite book |last1=Hohn |first1=Franz E. |title=Elementary Matrix Algebra |publisher=Dover Publications |isbn=978-0-486-14372-9 |url=https://books.google.com/books?id=9XlFu4XQ6nUC&pg=PA83 |language=en |date=2013 }}
* {{cite book |last1=Houston |first1=Stephen D. |title=The First Writing: Script Invention as History and Process |date=2004 |publisher=Cambridge University Press |isbn=978-0-521-83861-0 |url=https://books.google.com/books?id=jsWL_XJt-dMC&pg=PA319 |language=en }}{{cbignore}}
* {{cite book |last1=Hull |first1=Thomas C. |title=Origametry: Mathematical Methods in Paper Folding |publisher=Cambridge University Press |isbn=978-1-108-47872-4 |url=https://books.google.com/books?id=LdX7DwAAQBAJ&pg=PA5 |date=2021 |access-date=August 7, 2024 }}{{cbignore}}
* {{cite book |last1=Igarashi |first1=Yoshihide |last2=Altman |first2=Tom |last3=Funada |first3=Mariko |last4=Kamiyama |first4=Barbara |title=Computing: A Historical and Technical Perspective |date=2014 |publisher=CRC Press |isbn=978-1-4822-2741-3 |url=https://books.google.com/books?id=58ySAwAAQBAJ&pg=PA103 |language=en |access-date=January 29, 2024 }}{{cbignore}}
* {{cite book |last1=Indurkhya |first1=Bipin |title=Metaphor and Cognition: An Interactionist Approach |date=2013 |publisher=Springer |isbn=978-94-017-2252-0 |chapter-url=https://books.google.com/books?id=foTrCAAAQBAJ&pg=PA217 |language=en |chapter=6.5 Algebras and Structures |access-date=January 21, 2024 }}{{cbignore}}
* {{cite book |last1=Irving |first1=Ronald S. |title=Integers, Polynomials, and Rings: A Course in Algebra |date=2004 |publisher=Springer |isbn=978-0-387-40397-7 |url=https://books.google.com/books?id=-7OM1OtOFJgC |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite web |last1=Ivanova |first1=O. A. |last2=Smirnov |first2=D. M. |title=Isomorphism |url=https://encyclopediaofmath.org/Isomorphism |website=Encyclopedia of Mathematics |publisher=Springer |date=2012 |access-date=March 11, 2024 |archive-date=August 6, 2024 |archive-url=https://web.archive.org/web/20240806082014/https://encyclopediaofmath.org/Isomorphism |url-status=live }}
* {{cite web |last1=Jansana |first1=Ramon |title=Algebraic Propositional Logic |url=https://plato.stanford.edu/entries/logic-algebraic-propositional/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=January 22, 2024 |date=2022 |archive-date=December 20, 2016 |archive-url=https://web.archive.org/web/20161220155433/https://plato.stanford.edu/entries/logic-algebraic-propositional/ |url-status=live }}
* {{cite book |last1=Jarvis |first1=Frazer |title=Algebraic Number Theory |date=2014 |publisher=Springer |isbn=978-3-319-07545-7 |url=https://books.google.com/books?id=0j0qBAAAQBAJ&pg=PA1 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Jenkins |first1=Everett |title=The Muslim Diaspora (Volume 1, 570-1500): A Comprehensive Chronology of the Spread of Islam in Asia, Africa, Europe and the Americas |date=2010 |publisher=McFarland |isbn=978-0-7864-4713-8 |url=https://books.google.com/books?id=giEkCQAAQBAJ&pg=PA82 |language=en |access-date=January 28, 2024 }}{{cbignore}}
* {{cite book |last1=Joyner |first1=David |title=Adventures in Group Theory: Rubik's Cube, Merlin's Machine, and Other Mathematical Toys |publisher=Johns Hopkins University Press |isbn=978-0-8018-9012-3 |edition=2 |date=2008 }}
* {{cite book |last1=Kaput |first1=James J. |editor1-last=Wagner |editor1-first=Sigrid |editor2-last=Kieran |editor2-first=Carolyn |title=Research Issues in the Learning and Teaching of Algebra: the Research Agenda for Mathematics Education, Volume 4 |publisher=Routledge |isbn=978-1-135-43414-4 |chapter-url=https://books.google.com/books?id=1GUPEAAAQBAJ&pg=PA186 |language=en |chapter=Linking Representations in the Symbol Systems of Algebra |date=2018 |access-date=August 8, 2024 }}{{cbignore}}
* {{cite web |last1=Kargapolov |first1=M. I. |last2=Merzlyakov |first2=Yu. I. |title=Group |url=https://encyclopediaofmath.org/Group |website=Encyclopedia of Mathematics |publisher=Springer |access-date=January 11, 2023 |date=2016 |archive-date=December 5, 2022 |archive-url=https://web.archive.org/web/20221205014207/https://encyclopediaofmath.org/Group |url-status=live }}
* {{cite book |last1=Karpilovsky |first1=G. |title=Topics in Field Theory |publisher=Elsevier |isbn=978-0-08-087266-7 |url=https://books.google.com/books?id=-2WR0fw9gLMC&pg=PA45 |language=en |date=1989 }}
* {{cite book |last1=Kaufmann |first1=Jerome E. |last2=Schwitters |first2=Karen L. |title=Elementary Algebra |publisher=Cengage Learning |isbn=978-1-4390-4917-4 |date=2011 }}
* {{cite book |last1=Khattar |first1=Dinesh |last2=Agrawal |first2=Neha |title=Group Theory |date=2023 |publisher=Springer and Ane Books Pvt. Ltd. |isbn=978-3-031-21307-6 |url=https://books.google.com/books?id=7-nIEAAAQBAJ&pg=PA4 |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite book |last1=Kieran |first1=Carolyn |editor1-last=Gutiérrez |editor1-first=Angel |editor2-last=Boero |editor2-first=Paolo |title=Handbook of Research on the Psychology of Mathematics Education: Past, Present and Future |publisher=Sense Publishers |isbn=978-90-77874-19-6 |chapter-url=https://books.google.com/books?id=OTCsKu0BZ0kC&pg=PA15 |language=en |chapter=Research on the Learning and Teaching of Algebra |date=2006 |access-date=August 8, 2024 }}{{cbignore}}
* {{cite book |last1=Kilty |first1=Joel |last2=McAllister |first2=Alex |title=Mathematical Modeling and Applied Calculus |date=2018 |publisher=Oxford University Press |isbn=978-0-19-255813-8 |url=https://books.google.com/books?id=YVRuDwAAQBAJ&pg=PA347 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Kleiner |first1=Israel |title=A History of Abstract Algebra |publisher=Springer |isbn=978-0-8176-4685-1 |url=https://books.google.com/books?id=udj-1UuaOiIC&pg=PA100 |language=en |date=2007 }}
* {{cite book |last1=Klimov |first1=D. M. |title=Group-Theoretic Methods in Mechanics and Applied Mathematics |publisher=CRC Press |isbn=978-1-4822-6522-4 |url=https://books.google.com/books?id=DZK3DwAAQBAJ&pg=PR9 |language=en |date=2014 }}
* {{cite book |last1=Kline |first1=Morris |title=Mathematical Thought From Ancient to Modern Times: Volume 3 |publisher=Oxford University Press |isbn=978-0-19-506137-6 |url=https://books.google.com/books?id=8YaBuGcmLb0C&pg=PA1153 |language=en |date=1990 }}
* {{cite book |last1=Knoebel |first1=Arthur |title=Sheaves of Algebras Over Boolean Spaces |date=2011 |publisher=Springer |isbn=978-0-8176-4218-1 |url=https://books.google.com/books?id=VWS_sgO2uvgC&pg=PA5 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Kramer |first1=Jürg |last2=Pippich |first2=Anna-Maria von |title=From Natural Numbers to Quaternions |date=2017 |publisher=Springer |isbn=978-3-319-69429-0 |url=https://books.google.com/books?id=nvM-DwAAQBAJ&pg=PA49 |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite book |last1=Krömer |first1=Ralph |title=Tool and Object: A History and Philosophy of Category Theory |publisher=Springer |isbn=978-3-7643-7524-9 |url=https://books.google.com/books?id=41bHxtHxjUAC&pg=PA61 |language=en |date=2007 }}
* {{cite journal |last1=Kvasz |first1=L. |title=The History of Algebra and the Development of the Form of Its Language |journal=Philosophia Mathematica |date=2006 |volume=14 |issue=3 |pages=287–317 |doi=10.1093/philmat/nkj017 |doi-access=free |issn=1744-6406 }}
* {{cite book |last1=Lal |first1=Ramji |title=Algebra 2: Linear Algebra, Galois Theory, Representation Theory, Group Extensions and Schur Multiplier |publisher=Springer |isbn=978-981-10-4256-0 |url=https://books.google.com/books?id=FwPNDgAAQBAJ&pg=PA31 |language=en |date=2017 }}{{cbignore}}
* {{cite book |last1=Lamagna |first1=Edmund A. |title=Computer Algebra: Concepts and Techniques |date=2019 |publisher=CRC Press |isbn=978-1-351-60583-0 |url=https://books.google.com/books?id=8PSDDwAAQBAJ&pg=PA150 |language=en |access-date=January 16, 2024 }}{{cbignore}}
* {{cite book |last1=Lang |first1=Serge |title=Algebra |publisher=Springer |isbn=978-0-387-95385-4 |url=https://books.google.com/books?id=Fge-BwqhqIYC&pg=PA261 |language=en |date=2005 }}
* {{cite book |last1=Laos |first1=Nicolas K. |title=Topics in Mathematical Analysis and Differential Geometry |publisher=World Scientific |isbn=978-981-02-3180-4 |url=https://books.google.com/books?id=1r7dSn4ZqogC&pg=PA100 |language=en |date=1998 }}
* {{cite book |author1=Library of Congress |title=Library of Congress Classification: Class Q - Science |publisher=Library of Congress |url=https://www.loc.gov/aba/cataloging/classification/lcco/lcco_q.pdf |access-date=March 17, 2024 |archive-date=April 5, 2024 |archive-url=https://web.archive.org/web/20240405210545/https://www.loc.gov/aba/cataloging/classification/lcco/lcco_q.pdf |url-status=live }}
* {{cite book |last1=Lidl |first1=Rudolf |last2=Pilz |first2=Günter |title=Applied Abstract Algebra |publisher=Springer |isbn=978-0-387-98290-8 |url=https://books.google.com/books?id=_49AmSWo4_AC&pg=PR7 |language=en |date=1997 }}
* {{cite book |last1=Lovett |first1=Stephen |title=Abstract Algebra: Structures and Applications |publisher=CRC Press |isbn=978-1-4822-4891-3 |url=https://books.google.com/books?id=jRUqCgAAQBAJ&pg=PR9 |language=en |date=2015 |access-date=July 27, 2024 }}{{cbignore}}
* {{cite book |last1=Lukas |first1=Andre |title=The Oxford Linear Algebra for Scientists |publisher=Oxford University Press |isbn=978-0-19-258347-5 |url=https://books.google.com/books?id=1-dvEAAAQBAJ&pg=PA47 |language=en |date=2022 }}{{cbignore}}
* {{cite book |last1=Maddocks |first1=J. R. |editor1-last=Lerner |editor1-first=Brenda Wilmoth |editor2-last=Lerner |editor2-first=K. Lee |title=The Gale Encyclopedia of Science |date=2008 |publisher=Thompson Gale |isbn=978-1-4144-2877-2 |edition=4th |chapter=Algebra |url=https://www.encyclopedia.com/science-and-technology/mathematics/mathematics/algebra |access-date=January 13, 2024 |archive-date=January 12, 2024 |archive-url=https://web.archive.org/web/20240112102551/https://www.encyclopedia.com/science-and-technology/mathematics/mathematics/algebra |url-status=live }}
* {{cite book |last1=Majewski |first1=Miroslaw |title=MuPAD Pro Computing Essentials |date=2004 |publisher=Springer |isbn=978-3-540-21943-9 |edition=2 }}
* {{cite book |last1=Mal’cev |first1=A. I. |title=Algebraic Systems |date=1973 |publisher=Springer |isbn=978-3-642-65374-2 |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-65374-2_5 |language=en |chapter=Quasivarieties |pages=210–266 |doi=10.1007/978-3-642-65374-2_5 |access-date=January 21, 2024 |archive-date=June 18, 2018 |archive-url=https://web.archive.org/web/20180618183135/https://link.springer.com/chapter/10.1007%2F978-3-642-65374-2_5 |url-status=live }}
* {{cite book |last1=Mancosu |first1=Paolo |title=Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century |date=1999 |publisher=Oxford University Press |isbn=978-0-19-513244-1 |url=https://books.google.com/books?id=60qaEePdqcoC&pg=PA84 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite web |last1=Markushevich |first1=A. I. |title=Polynomial |url=https://encyclopediaofmath.org/Polynomial |website=Encyclopedia of Mathematics |publisher=Springer |access-date=January 11, 2023 |date=2015 |archive-date=August 6, 2024 |archive-url=https://web.archive.org/web/20240806082025/https://encyclopediaofmath.org/Polynomial |url-status=live }}
* {{cite book |last1=Maxwell |first1=E. A. |title=Algebraic Structure and Matrices Book 2 |date=2009 |publisher=Syracuse University Press |isbn=978-0-521-10905-5 |url=https://books.google.com/books?id=yD0irRUE_u4C&pg=PA73 |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite book |last1=McKeague |first1=Charles P. |title=Elementary Algebra |publisher=Academic Press |isbn=978-1-4832-6384-7 |url=https://books.google.com/books?id=sq7iBQAAQBAJ&pg=PA148 |language=en |date=1986 }}{{cbignore}}
* {{cite book |last1=McKeague |first1=Charles P. |title=Intermediate Algebra: A Text/Workbook |date=2014 |publisher=Academic Press |isbn=978-1-4832-1417-7 |url=https://books.google.com/books?id=nI7iBQAAQBAJ&pg=PA386 |language=en |access-date=January 16, 2024 }}{{cbignore}}
* {{cite book |last1=McWeeny |first1=R. |title=Symmetry: An Introduction to Group Theory and Its Applications |date=2002 |publisher=Courier Corporation |isbn=978-0-486-42182-7 |url=https://books.google.com/books?id=x3fjIXY93TsC&pg=PA6 |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite book |last1=Menini |first1=Claudia |last2=Oystaeyen |first2=Freddy Van |url=https://books.google.com/books?id=3mlQDwAAQBAJ&pg=PA722 |title=Abstract Algebra: A Comprehensive Treatment |date=2017 |publisher=] |isbn=978-1-4822-5817-2 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite web |last1=Merzlyakov |first1=Yu. I. |last2=Shirshov |first2=A. I. |title=Algebra(2) |url=https://encyclopediaofmath.org/Algebra(2) |website=Encyclopedia of Mathematics |publisher=Springer |access-date=January 11, 2023 |date=2020 |archive-date=April 7, 2023 |archive-url=https://web.archive.org/web/20230407165656/https://encyclopediaofmath.org/Algebra(2) |url-status=live }}
* {{cite book |last1=Mirakhor |first1=Abbas |last2=Krichene |first2=Noureddine |title=Introductory Mathematics and Statistics for Islamic Finance |publisher=John Wiley & Sons |isbn=978-1-118-77972-9 |url=https://books.google.com/books?id=G6XNAwAAQBAJ&pg=PT107 |language=en |date=2014 |access-date=August 7, 2024 }}{{cbignore}}
* {{cite book |last1=Mishra |first1=Sanjay |title=Fundamentals of Mathematics: Algebra |publisher=Pearson India |isbn=978-93-325-5891-5 |language=en |date=2016 }}
* {{cite book |last1=Miyake |first1=Katsuya |editor1-last=Kanemitsu |editor1-first=Shigeru |editor2-last=Jia |editor2-first=Chaohua |title=Number Theoretic Methods: Future Trends |publisher=Springer |isbn=978-1-4419-5239-4 |chapter-url=https://books.google.com/books?id=G0P2BwAAQBAJ&pg=PA268 |chapter=Some Aspects on Interactions between Algebraic Number Theory and Analytic Number Theory |date=2002 |access-date=August 7, 2024 }}{{cbignore}}
* {{cite book |last1=Mortensen |first1=C. E. |title=Inconsistent Mathematics |date=2013 |publisher=Springer |isbn=978-94-015-8453-1 |url=https://books.google.com/books?id=KYDrCAAAQBAJ&pg=PA73 |language=en |access-date=January 18, 2024 }}{{cbignore}}
* {{cite book |last1=Murthy |first1=Swamy and |title=Algebra: Abstract and Modern |publisher=Pearson Education India |isbn=978-93-325-0993-1 |url=https://books.google.com/books?id=CBc8BAAAQBAJ&pg=PA3 |language=en |date=2012 |access-date=August 5, 2024 }}{{cbignore}}
* {{cite book |last1=Musser |first1=Gary L. |last2=Peterson |first2=Blake E. |last3=Burger |first3=William F. |title=Mathematics for Elementary Teachers: A Contemporary Approach |date=2013 |publisher=John Wiley & Sons |isbn=978-1-118-48700-6 |url=https://books.google.com/books?id=8jh7DwAAQBAJ |language=en |access-date=March 11, 2024 }}{{cbignore}}
* {{cite web |author1=MW Staff |title=Definition of Arithmetic |url=https://www.merriam-webster.com/dictionary/arithmetic |website=Merriam-Webster |access-date=October 19, 2023 |language=en |date=2023 |archive-date=November 14, 2023 |archive-url=https://web.archive.org/web/20231114193352/https://www.merriam-webster.com/dictionary/arithmetic |url-status=live }}
* {{cite book |last1=Nakahara |first1=Mikio |title=Geometry, Topology and Physics |date=2018 |publisher=Taylor & Francis |isbn=978-1-4200-5694-5 |url=https://books.google.com/books?id=p2C1DwAAQBAJ&pg=PA121 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Neri |first1=Ferrante |title=Linear Algebra for Computational Sciences and Engineering |date=2019 |publisher=Springer |isbn=978-3-030-21321-3 |url=https://books.google.com/books?id=NMOlDwAAQBAJ&pg=PR12 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Nicholson |first1=W. Keith |title=Introduction to Abstract Algebra |publisher=John Wiley & Sons |isbn=978-1-118-13535-8 |url=https://books.google.com/books?id=w-GaLpapRcEC&pg=PA70 |language=en |date=2012 |access-date=August 30, 2024 }}{{cbignore}}
* {{cite journal |last1=Oaks |first1=Jeffrey A. |last2=Alkhateeb |first2=Haitham M. |title=Simplifying equations in Arabic algebra |journal=Historia Mathematica |volume=34 |issue=1 |doi=10.1016/j.hm.2006.02.006 |date=2007 |pages=45–61 }}
* {{cite book |last1=Olver |first1=Peter J. |title=Classical Invariant Theory |date=1999 |publisher=Cambridge University Press |isbn=978-0-521-55821-1 |url=https://books.google.com/books?id=1GlHYhNRAqEC&pg=PA55 |language=en |access-date=March 12, 2024 }}{{cbignore}}
* {{cite book |last1=Ono |first1=Hiroakira |title=Proof Theory and Algebra in Logic |publisher=Springer |isbn=978-981-13-7997-0 |url=https://books.google.com/books?id=SR2nDwAAQBAJ&pg=PA84 |language=en |date=2019 }}{{cbignore}}
* {{cite web |url=http://www.lexico.com/definition/algebra |archive-url=https://web.archive.org/web/20131120000000/http://www.lexico.com/definition/algebra |url-status=dead |archive-date=November 20, 2013 |title=Algebra |website=] |publisher=] |author=OUP Staff }}
* {{cite book |last1=Ovchinnikov |first1=Sergei |title=Number Systems |date=2015 |publisher=American Mathematical Society |isbn=978-1-4704-2018-5 |url=https://books.google.com/books?id=UMbXBgAAQBAJ&pg=PA27 |language=en |access-date=January 20, 2024 }}{{cbignore}}
* {{cite book |last1=Pickover |first1=Clifford A. |title=The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics |date=2009 |publisher=Sterling Publishing Company, Inc. |isbn=978-1-4027-5796-9 |url=https://books.google.com/books?id=JrslMKTgSZwC&pg=PA90 |language=en |access-date=January 28, 2024 }}{{cbignore}}
* {{cite book |last1=Plotkin |first1=B. |title=Universal Algebra, Algebraic Logic, and Databases |date=2012 |publisher=Springer |isbn=978-94-011-0820-1 |url=https://books.google.com/books?id=-v3xCAAAQBAJ&pg=PA155 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite web |last1=Pratt |first1=Vaughan |title=Algebra |url=https://plato.stanford.edu/entries/algebra/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=January 11, 2024 |date=2022 |archive-date=January 29, 2024 |archive-url=https://web.archive.org/web/20240129081755/https://plato.stanford.edu/entries/algebra/ |url-status=live }}
* {{cite book |last1=Rabadan |first1=Raul |last2=Blumberg |first2=Andrew J. |title=Topological Data Analysis for Genomics and Evolution: Topology in Biology |date=2019 |publisher=Cambridge University Press |isbn=978-1-107-15954-9 |url=https://books.google.com/books?id=2967DwAAQBAJ&pg=PA49 |language=en |access-date=January 24, 2024 }}{{cbignore}}
* {{cite book |last1=Ricardo |first1=Henry |title=A Modern Introduction to Linear Algebra |publisher=CRC Press |isbn=978-1-4398-9461-3 |url=https://books.google.com/books?id=s7bMBQAAQBAJ&pg=PA389 |language=en |date=2009 |access-date=August 29, 2024 }}{{cbignore}}
* {{cite book |last1=Rohde |first1=Ulrich L. |last2=Jain |first2=G. C. |last3=Poddar |first3=Ajay K. |last4=Ghosh |first4=A. K. |title=Introduction to Differential Calculus: Systematic Studies with Engineering Applications for Beginners |date=2012 |publisher=John Wiley & Sons |isbn=978-1-118-13014-8 |url=https://books.google.com/books?id=vk2XbZpsBOwC&pg=PT89 |language=en |access-date=January 16, 2024 }}{{cbignore}}
* {{cite book |last1=Romanowski |first1=Perry |editor1-last=Lerner |editor1-first=Brenda Wilmoth |editor2-last=Lerner |editor2-first=K. Lee |title=The Gale Encyclopedia of Science |date=2008 |publisher=Thompson Gale |isbn=978-1-4144-2877-2 |edition=4th |chapter=Arithmetic |url=https://www.encyclopedia.com/science-and-technology/mathematics/mathematics/arithmetic |access-date=January 13, 2024 |archive-date=November 1, 2023 |archive-url=https://web.archive.org/web/20231101124957/https://www.encyclopedia.com/science-and-technology/mathematics/mathematics/arithmetic |url-status=live }}
* {{cite book |last1=Rosen |first1=Kenneth |title=Discrete Maths and Its Applications Global Edition 7e |publisher=McGraw Hill |isbn=978-0-07-715151-5 |url=https://books.google.com/books?id=-oVvEAAAQBAJ&pg=PA779 |language=en |date=2012 }}
* {{cite book |last1=Rowen |first1=Louis Halle |title=Graduate Algebra: Commutative View: Commutative View |publisher=American Mathematical Society |isbn=978-0-8218-0570-1 |url=https://books.google.com/books?id=AhEPCgAAQBAJ&pg=PA12 |language=en |date=2006 |access-date=June 14, 2024 }}{{cbignore}}
* {{cite book |last1=Sahai |first1=Vivek |last2=Bist |first2=Vikas |title=Linear Algebra |publisher=CRC Press |isbn=978-0-8493-2426-0 |url=https://books.google.com/books?id=yjkgNYfApj4C&pg=PA21 |language=en |date=2002 }}
* {{cite book |last1=Saikia |first1=Promode Kumar |title=Linear Algebra |publisher=Pearson Education India |isbn=978-81-317-4276-1 |url=https://books.google.com/books?id=KhM7BAAAQBAJ&pg=PA1 |language=en |date=2008 |access-date=August 5, 2024 }}{{cbignore}}
* {{cite book |last1=Serovajsky |first1=Simon |title=Architecture of Mathematics |publisher=CRC Press |isbn=978-0-429-89353-7 |url=https://books.google.com/books?id=6EX1DwAAQBAJ&pg=SA3-PA89 |language=en |date=2020 }}
* {{cite book |last1=Seshadri |first1=C. S. |title=Studies in the History of Indian Mathematics |date=2010 |publisher=Springer |isbn=978-93-86279-49-1 |url=https://books.google.com/books?id=w_JdDwAAQBAJ&pg=PA156 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Sialaros |first1=Michalis |title=Revolutions and Continuity in Greek Mathematics |date=2018 |publisher=Walter de Gruyter GmbH & Co KG |isbn=978-3-11-056527-0 |url=https://books.google.com/books?id=2PZYDwAAQBAJ&pg=PT55 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Silverman |first1=Joseph H. |title=Abstract Algebra: An Integrated Approach |publisher=American Mathematical Society |isbn=978-1-4704-6860-6 |url=https://books.google.com/books?id=PKFnEAAAQBAJ&pg=PA64 |language=en |date=2022 }}
* {{cite web |last1=Smirnov |first1=D. M. |title=Universal Algebra |url=https://encyclopediaofmath.org/Universal_algebra |website=Encyclopedia of Mathematics |publisher=Springer |date=2020 |access-date=August 30, 2024 |archive-date=March 1, 2024 |archive-url=https://web.archive.org/web/20240301115432/https://encyclopediaofmath.org/Universal_algebra |url-status=live }}
* {{cite book |last1=Smith |first1=Jonathan D. H. |title=Introduction to Abstract Algebra |publisher=CRC Press |isbn=978-1-4987-3162-1 |url=https://books.google.com/books?id=MXu9CgAAQBAJ&pg=PA161 |language=en |date=2015 |access-date=June 14, 2024 }}{{cbignore}}
* {{cite book |last1=Smorynski |first1=Craig |title=History of Mathematics: A Supplement |date=2007 |publisher=Springer |isbn=978-0-387-75481-9 |url=https://books.google.com/books?id=qY657eFq7UgC&pg=PA137 |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Sneyd |first1=James |last2=Fewster |first2=Rachel M. |last3=McGillivray |first3=Duncan |title=Mathematics and Statistics for Science |publisher=Springer |isbn=978-3-031-05318-4 |url=https://books.google.com/books?id=zqd3EAAAQBAJ&pg=PA211 |language=en |date=2022 }}{{cbignore}}
* {{cite web |last1=Sobolev |first1=S. K. |title=Constant |url=https://encyclopediaofmath.org/Algebraic_logic |website=Encyclopedia of Mathematics |publisher=Springer |access-date=October 23, 2023 |date=2015 |archive-date=January 24, 2024 |archive-url=https://web.archive.org/web/20240124094606/https://encyclopediaofmath.org/Algebraic_logic |url-status=live }}
* {{cite book |last1=Solomon |first1=Bruce |title=Linear Algebra, Geometry and Transformation |publisher=CRC Press |isbn=978-1-4822-9930-4 |url=https://books.google.com/books?id=BpvSBQAAQBAJ&pg=PA57 |language=en |date=2014 |access-date=August 29, 2024 }}{{cbignore}}
* {{cite book |last1=Sorell |first1=Tom |title=Descartes: A Very Short Introduction |date=2000 |publisher=Oxford University Press |isbn=978-0-19-285409-4 |url=https://books.google.com/books?id=EksSDAAAQBAJ&pg=PA19 |language=en |access-date=March 11, 2024 }}{{cbignore}}
* {{cite book |last1=Star |first1=Jon R. |last2=Foegen |first2=Anne |last3=Larson |first3=Matthew R. |last4=McCallum |first4=William G. |last5=Porath |first5=Jane |last6=Zbiek |first6=Rose Mary |title=Teaching Strategies for Improving Algebra Knowledge in Middle and High School Students |publisher=U.S. Department of Education / Institute of Education Sciences |date=2015 |oclc=5867417164 }}
* {{cite journal |last1=Straffin |first1=Philip D. |title=Linear Algebra in Geography: Eigenvectors of Networks |journal=Mathematics Magazine |date=1980 |volume=53 |issue=5 |pages=269–276 |doi=10.2307/2689388 |jstor=2689388 |url=https://www.jstor.org/stable/2689388 |issn=0025-570X }}
* {{cite book |last1=Sullivan |first1=Michael |title=Finite Mathematics: An Applied Approach |date=2010 |publisher=John Wiley & Sons |isbn=978-0-470-87639-8 |url=https://books.google.com/books?id=6NKaDwAAQBAJ&pg=PA53 |language=en |access-date=January 18, 2024 }}{{cbignore}}
* {{cite book |last1=Tan |first1=Kiat Shi |last2=Steeb |first2=Willi-Hans |last3=Hardy |first3=Yorick |title=SymbolicC++:An Introduction to Computer Algebra Using Object-Oriented Programming: An Introduction to Computer Algebra Using Object-Oriented Programming |date=2012 |publisher=Springer |isbn=978-1-4471-0405-6 |url=https://books.google.com/books?id=UDb0BwAAQBAJ&pg=PA306 |language=en |access-date=January 16, 2024 }}{{cbignore}}
* {{cite book |last1=Tanton |first1=James |title=Encyclopedia of Mathematics |date=2005 |publisher=Facts On File |isbn=978-0-8160-5124-3 }}
* {{cite book |last1=Terras |first1=Audrey |title=Abstract Algebra with Applications |publisher=Cambridge University Press |isbn=978-1-107-16407-9 |date=2019 }}
* {{cite book |last1=Tsokos |first1=Chris P. |last2=Wooten |first2=Rebecca D. |title=The Joy of Finite Mathematics: The Language and Art of Math |publisher=Academic Press |isbn=978-0-12-802985-5 |url=https://books.google.com/books?id=zu7HBQAAQBAJ&pg=PA451 |language=en |date=2015 }}{{cbignore}}
* {{cite book |last1=Valenza |first1=Robert J. |title=Linear Algebra: An Introduction to Abstract Mathematics |publisher=Springer |isbn=978-1-4612-0901-0 |url=https://books.google.com/books?id=7x8MCAAAQBAJ&pg=PR7 |language=en |date=2012 |access-date=August 29, 2024 }}{{cbignore}}
* {{cite book |last1=Vince |first1=John |title=Vector Analysis for Computer Graphics |publisher=Springer |isbn=978-1-84628-803-6 |url=https://books.google.com/books?id=B574tQbP6WcC&pg=PA133 |language=en |date=2007 |access-date=August 5, 2024 }}{{cbignore}}
* {{cite book |last1=Viterbo |first1=Emanuele |last2=Hong |first2=Yi |editor1-last=Hlawatsch |editor1-first=Franz |editor2-last=Matz |editor2-first=Gerald |title=Wireless Communications Over Rapidly Time-Varying Channels |date=2011 |publisher=Academic Press |isbn=978-0-08-092272-0 |chapter-url=https://books.google.com/books?id=d89QRR24jbMC&pg=PA127 |language=en |chapter=3.4 Algebraic Number Theory |access-date=January 24, 2024 }}{{cbignore}}
* {{cite web |last1=Voitsekhovskii |first1=M. I. |title=Linear Equation |url=https://encyclopediaofmath.org/Linear_equation |website=Encyclopedia of Mathematics |publisher=Springer |access-date=January 10, 2024 |date=2011 |archive-date=November 23, 2023 |archive-url=https://web.archive.org/web/20231123235759/https://encyclopediaofmath.org/Linear_equation |url-status=live }}
* {{cite book |last1=Waerden |first1=Bartel L. van der |title=Algebra |publisher=Springer |isbn=0-387-40624-7 |volume=1 |date=2003 }}
* {{cite book |last1=Waerden |first1=Bartel L. van der |title=A History of Algebra: From al-Khwārizmī to Emmy Noether |date=2013 |publisher=Springer |isbn=978-3-642-51599-6 |url=https://books.google.com/books?id=W6DwCAAAQBAJ |language=en |access-date=January 27, 2024 }}{{cbignore}}
* {{cite book |last1=Wagner |first1=Sigrid |last2=Kieran |first2=Carolyn |title=Research Issues in the Learning and Teaching of Algebra: The Research Agenda for Mathematics Education |volume=4 |date=2018 |publisher=Routledge |isbn=978-1-135-43421-2 |url=https://books.google.com/books?id=uW4ECwAAQBAJ&pg=PT225 |language=en |access-date=January 13, 2024 }}{{cbignore}}
* {{cite book |last1=Walz |first1=Guido |title=Lexikon der Mathematik: Band 1: A bis Eif |date=2016 |publisher=Springer |isbn=978-3-662-53498-4 |url=https://www.spektrum.de/lexikon/mathematik/algebra/12062 |language=de |chapter=Algebra |access-date=January 13, 2024 |archive-date=January 12, 2024 |archive-url=https://web.archive.org/web/20240112171819/https://www.spektrum.de/lexikon/mathematik/algebra/12062 |url-status=live |trans-title=Encyclopedia of Mathematics: Volume 1: A to Eif }}
* {{cite book |last1=Weibel |first1=Charles A. |title=An Introduction to Homological Algebra |publisher=Cambridge University Press |isbn=978-1-139-64307-8 |url=https://books.google.com/books?id=UtIhAwAAQBAJ&pg=PR11 |language=en |date=1995 }}
* {{cite book |last1=Weisstein |first1=Eric W. |title=CRC Concise Encyclopedia of Mathematics |date=2003 |publisher=Chapman & Hall/CRC |isbn=978-1-58488-347-0 |edition=2nd }}
* {{cite book |last1=Wheeler |first1=Jeffrey Paul |title=An Introduction to Optimization with Applications in Machine Learning and Data Analytics |publisher=CRC Press |isbn=978-1-003-80359-1 |url=https://books.google.com/books?id=IqQIEQAAQBAJ&pg=PA29 |language=en |date=2023 }}
* {{cite book |last1=Whitelaw |first1=T. A. |title=Introduction to Abstract Algebra, Third Edition |publisher=CRC Press |isbn=978-0-7514-0147-9 |url=https://books.google.com/books?id=f2hyf0QoB_0C&pg=PA61 |language=en |date=1995 }}{{cbignore}}
* {{cite book |last1=Williams |first1=G. Arnell |title=Algebra the Beautiful: An Ode to Math's Least-Loved Subject |date=2022 |publisher=Basic Books |isbn=978-1-5416-0070-6 |url=https://books.google.com/books?id=581CEAAAQBAJ&pg=PT62 |language=en |access-date=March 11, 2024 }}{{cbignore}}
* {{cite book | last=Wilson | first=Robert A. | author-link = Robert Arnott Wilson | title=The Finite Simple Groups | publisher=] | series=] | isbn=978-1-84800-987-5 | doi=10.1007/978-1-84800-988-2 | year=2009 | zbl=1203.20012 | volume=251 }}
* {{cite book |last1=Young |first1=Cynthia Y. |title=Precalculus |date=2010 |publisher=John Wiley & Sons |isbn=978-0-471-75684-2 |url=https://books.google.com/books?id=9HRLAn326zEC&pg=RA1-PA999 |language=en |access-date=January 16, 2024 }}{{cbignore}}
* {{cite book |last1=Young |first1=Cynthia Y. |title=Precalculus |date=2023 |publisher=John Wiley & Sons |isbn=978-1-119-86940-5 |url=https://books.google.com/books?id=pMSZEAAAQBAJ&pg=PA714 |language=en |access-date=January 18, 2024 }}{{cbignore}}
* {{cite web |author1=zbMATH Open |title=Classification |url=https://zbmath.org/classification/ |website=zbMATH Open |publisher=Mathematical Reviews and zbMATH Open |access-date=March 17, 2024 |language=en |date=2024 |archive-date=July 19, 2020 |archive-url=https://web.archive.org/web/20200719184539/https://zbmath.org/classification/ |url-status=live }}
* {{cite book |last1=Zwillinger |first1=Daniel |title=CRC Standard Mathematical Tables and Formulae |date=2002 |publisher=CRC Press |isbn=978-1-4200-3534-6 |url=https://books.google.com/books?id=gE_MBQAAQBAJ&pg=PA812 |language=en |access-date=January 27, 2024 }}{{cbignore}}
{{Refend}}

== External links ==
{{Wikiquote}}
{{Wiktionary|algebra}}
{{Wikibooks|Algebra}}
{{EB1911 poster|Algebra}}

{{Algebra |expanded}}
{{Polynomials}}
{{Areas of mathematics |collapsed}}
{{Authority control}}

]

Latest revision as of 12:32, 28 December 2024

Branch of mathematics For the kind of algebraic structure, see Algebra over a field. For other uses, see Algebra (disambiguation).

Polynomial equationElementary algebra studies which values solve equations formed using arithmetical operations.Signature of the ring of integersAbstract algebra studies algebraic structures, such as the ring of integers given by the set of integers ( Z ) {\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 expressions 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 schools. It examines mathematical statements using variables for unspecified values and 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 that investigates linear equations and combinations of them called systems of linear equations. It provides methods to find the values that solve all equations in the system at the same time, and to study the set of these solutions.

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, called axioms. Universal algebra and category theory provide general frameworks 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 like 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, like logic and the empirical sciences.

Definition and etymology

Algebra is the branch of mathematics that studies algebraic structures and the operations they use. An algebraic structure is a non-empty set of mathematical objects, such as the integers, together with algebraic operations defined on that set, like addition and multiplication. 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.

Algebra is often understood as a generalization of arithmetic. Arithmetic studies operations like addition, subtraction, multiplication, and division, in a particular domain of numbers, such as the real numbers. 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. 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. 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.

Title page of The Compendious Book on Calculation by Completion and Balancing
The word algebra comes from the title of al-Khwarizmi's book Al-Jabr.

The term "algebra" is sometimes used in a more narrow sense to refer only to elementary algebra or only to abstract algebra. 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. Depending on the context, "algebra" can also refer to other algebraic structures, like a Lie algebra or an associative algebra.

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 which was translated into Latin as Liber Algebrae et Almucabola. The word entered the English language in the 16th century from Italian, Spanish, and medieval Latin. 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 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.

Major branches

Elementary algebra

Main article: Elementary algebra
Diagram of an algebraic expression
Algebraic expression notation:
  1 – power (exponent)
  2 – coefficient
  3 – term
  4 – operator
  5 – constant term
  c {\displaystyle c} – constant
  x {\displaystyle x} y {\displaystyle y} – variables

Elementary algebra, also called school algebra, college algebra, and classical algebra, 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.

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 2 + 5 = 7 {\displaystyle 2+5=7} .

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 2 × 3 = 3 × 2 {\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, like the commutative property of multiplication, which is expressed in the equation a × b = b × a {\displaystyle a\times b=b\times a} .

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

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 5 x 2 + 6 x = 3 y + 4 {\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 x 2 = 4 {\displaystyle x^{2}=4} is true if x {\displaystyle x} is either 2 or −2 and false otherwise. 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 2 x + 5 x = 7 x {\displaystyle 2x+5x=7x} . Conditional equations are only true for some values. For example, the equation x + 4 = 9 {\displaystyle x+4=9} is only true if x {\displaystyle x} is 5.

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 x 7 = 4 {\displaystyle x-7=4} can be solved for x {\displaystyle x} by adding 7 to both sides, which isolates x {\displaystyle x} on the left side and results in the equation x = 11 {\displaystyle x=11} .

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 7 x 3 x {\displaystyle 7x-3x} can be replaced with the expression 4 x {\displaystyle 4x} since 7 x 3 x = ( 7 3 ) x = 4 x {\displaystyle 7x-3x=(7-3)x=4x} by the distributive property. 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 y = 3 x {\displaystyle y=3x} then one can simplify the expression 7 x y {\displaystyle 7xy} to arrive at 21 x 2 {\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.

Graph of equation "y = 0.5x − 1"
Algebraic equations can be used to describe geometric figures. All values for x {\displaystyle x} and y {\displaystyle y} that solve the equation are interpreted as points. They are drawn as a red, upward-sloping line in the graph above.

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 x {\displaystyle x} is set to zero in the equation y = 0.5 x 1 {\displaystyle y=0.5x-1} , then y {\displaystyle y} must be −1 for the equation to be true. This means that the ( x , y ) {\displaystyle (x,y)} -pair ( 0 , 1 ) {\displaystyle (0,-1)} is part of the graph of the equation. The ( x , y ) {\displaystyle (x,y)} -pair ( 0 , 7 ) {\displaystyle (0,7)} , by contrast, does not solve the equation and is therefore not part of the graph. The graph encompasses the totality of ( x , y ) {\displaystyle (x,y)} -pairs that solve the equation.

Polynomials

Main article: Polynomial

A polynomial is an expression consisting of one or more terms that are added or subtracted from each other, like x 4 + 3 x y 2 + 5 x 3 1 {\displaystyle x^{4}+3xy^{2}+5x^{3}-1} . Each term is either a constant, a variable, or a product of a constant and variables. Each variable can be raised to a positive-integer power. A monomial is a polynomial with one term while two- and three-term polynomials are called binomials and trinomials. The degree of a polynomial is the maximal value (among its terms) of the sum of the exponents of the variables (4 in the above example). Polynomials of degree one are called linear polynomials. Linear algebra studies systems of linear polynomials. A polynomial is said to be univariate or multivariate, depending on whether it uses one or more variables.

Factorization is a method used to simplify polynomials, making it easier to analyze them and determine the values for which they evaluate to zero. Factorization consists in rewriting a polynomial as a product of several factors. For example, the polynomial x 2 3 x 10 {\displaystyle x^{2}-3x-10} can be factorized as ( x + 2 ) ( x 5 ) {\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 x {\displaystyle x} is either −2 or 5. Before the 19th century, much of algebra was devoted to polynomial equations, that is equations obtained by equating a polynomial to zero. The first attempts for solving polynomial equations were to express the solutions in terms of nth roots. The solution of a second-degree polynomial equation of the form a x 2 + b x + c = 0 {\displaystyle ax^{2}+bx+c=0} is given by the quadratic formula x = b ± b 2 4 a c   2 a . {\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac\ }}}{2a}}.} Solutions for the degrees 3 and 4 are given by the cubic and quartic formulas. There are no general solutions for higher degrees, as proven in the 19th century by the Abel–Ruffini theorem. Even when general solutions do not exist, approximate solutions can be found by numerical tools like the Newton–Raphson method.

The fundamental theorem of algebra asserts that every univariate polynomial equation of positive degree with real or complex coefficients has at least one complex solution. Consequently, every polynomial of a positive degree can be factorized into linear polynomials. This theorem was proved at the beginning of the 19th century, but this does not close the problem since the theorem does not provide any way for computing the solutions.

Linear algebra

Main article: Linear algebra

Linear algebra starts with the study systems of linear equations. An equation is linear if it can be expressed in the form a 1 x 1 + a 2 x 2 + . . . + a n x n = b {\displaystyle a_{1}x_{1}+a_{2}x_{2}+...+a_{n}x_{n}=b} where a 1 {\displaystyle a_{1}} , a 2 {\displaystyle a_{2}} , ..., a n {\displaystyle a_{n}} and b {\displaystyle b} are constants. Examples are x 1 7 x 2 + 3 x 3 = 0 {\displaystyle x_{1}-7x_{2}+3x_{3}=0} and 1 4 x y = 4 {\textstyle {\frac {1}{4}}x-y=4} . A system of linear equations is a set of linear equations for which one is interested in common solutions.

Matrices are rectangular arrays of values that have been originally introduced for having a compact and synthetic notation for systems of linear equations. For example, the system of equations 9 x 1 + 3 x 2 13 x 3 = 0 2.3 x 1 + 7 x 3 = 9 5 x 1 17 x 2 = 3 {\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 A X = B , {\displaystyle AX=B,} where A , X {\displaystyle A,X} and B {\displaystyle B} are the matrices A = [ 9 3 13 2.3 0 7 5 17 0 ] , X = [ x 1 x 2 x 3 ] , B = [ 0 9 3 ] . {\displaystyle A={\begin{bmatrix}9&3&-13\\2.3&0&7\\-5&-17&0\end{bmatrix}},\quad X={\begin{bmatrix}x_{1}\\x_{2}\\x_{3}\end{bmatrix}},\quad B={\begin{bmatrix}0\\9\\-3\end{bmatrix}}.}

Under some conditions on the number of rows and columns, matrices can be added, multiplied, and sometimes inverted. All methods for solving linear systems may be expressed as matrix manipulations using these operations. For example, solving the above system consists of computing an inverted matrix A 1 {\displaystyle A^{-1}} such that A 1 A = I , {\displaystyle A^{-1}A=I,} where I {\displaystyle I} is the identity matrix. Then, multiplying on the left both members of the above matrix equation by A 1 , {\displaystyle A^{-1},} one gets the solution of the system of linear equations as X = A 1 B . {\displaystyle X=A^{-1}B.}

Methods of solving systems of linear equations range from the introductory, like substitution and elimination, to more advanced techniques using matrices, such as Cramer's rule, the Gaussian elimination, and LU decomposition. Some systems of equations are inconsistent, meaning that no solutions exist because the equations contradict each other. Consistent systems have either one unique solution or an infinite number of solutions.

The study of vector spaces and linear maps form a large part of linear algebra. A vector space is an algebraic structure formed by a set with an addition that makes it an abelian group and a scalar multiplication that is compatible with addition (see vector space for details). A linear map is a function between vector spaces that is compatible with addition and scalar multiplication. In the case of finite-dimensional vector spaces, vectors and linear maps can be represented by matrices. It follows that the theories of matrices and finite-dimensional vector spaces are essentially the same. In particular, vector spaces provide a third way for expressing and manipulating systems of linear equations. From this perspective, a matrix is a representation of a linear map: if one chooses a particular basis to describe the vectors being transformed, then the entries in the matrix give the results of applying the linear map to the basis vectors.

Graph of two linear equations
Linear equations with two variables can be interpreted geometrically as lines. The solution of a system of linear equations is where the lines intersect.

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. 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.

Abstract algebra

Main article: Abstract algebra

Abstract algebra, also called modern algebra, is the study of algebraic structures. An algebraic structure is a framework for understanding operations on mathematical objects, like 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. The key difference between these types of algebraic structures lies in the number of operations they use and the laws they obey. In mathematics education, abstract algebra refers to an advanced undergraduate course that mathematics majors take after completing courses in linear algebra.

Diagram of binary operation
Many algebraic structures rely on binary operations, which take two objects as their input and combine them into a single object as output, like addition and multiplication do.

On a formal level, an algebraic structure is a set of mathematical objects, called the underlying set, together with one or several operations. Abstract algebra is primarily interested in binary operations, which take any two objects from the underlying set as inputs and map them to another object from this set as output. For example, the algebraic structure N , + {\displaystyle \langle \mathbb {N} ,+\rangle } has the natural numbers ( N {\displaystyle \mathbb {N} } ) as the underlying set and addition ( + {\displaystyle +} ) as its binary operation. The underlying set can contain mathematical objects other than numbers, and the operations are not restricted to regular arithmetic operations. 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.

Group theory

Main article: Group theory

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 ( a b ) c {\displaystyle (a\circ b)\circ c} is the same as a ( b c ) {\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 a e = e a = a {\displaystyle a\circ e=e\circ a=a} . An operation has inverse elements if for any element a {\displaystyle a} there exists a reciprocal element a 1 {\displaystyle a^{-1}} that undoes a {\displaystyle a} . If an element operates on its inverse then the result is the neutral element e, expressed formally as a a 1 = a 1 a = e {\displaystyle a\circ a^{-1}=a^{-1}\circ a=e} . Every algebraic structure that fulfills these requirements is a group. For example, Z , + {\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 a {\displaystyle a} is a {\displaystyle -a} . The natural numbers with addition, by contrast, do not form a group since they contain only positive integers and therefore lack inverse elements.

Group theory examines the nature of groups, with basic theorems such as the fundamental theorem of finite abelian groups and the Feit–Thompson theorem. The latter was a key early step in one of the most important mathematical achievements of the 20th century: the collaborative effort, taking up more than 10,000 journal pages and mostly published between 1960 and 2004, that culminated in a complete classification of finite simple groups.

Ring theory and field theory

Main articles: Ring theory and Field (mathematics)

A ring is an algebraic structure with two operations that work similarly to addition and multiplication of numbers and are named and generally denoted similarly. A ring is a commutative group under addition: the addition of the ring is associative, commutative, and has an identity element and inverse elements. The multiplication is associative and distributive with respect to addition; that is, a ( b + c ) = a b + a c {\displaystyle a(b+c)=ab+ac} and ( b + c ) a = b a + c a . {\displaystyle (b+c)a=ba+ca.} Moreover, multiplication is associative and has an identity element generally denoted as 1. Multiplication needs not to be commutative; if it is commutative, one has a commutative ring. The ring of integers ( Z {\displaystyle \mathbb {Z} } ) is one of the simplest commutative rings.

A field is a commutative ring such that ⁠ 1 0 {\displaystyle 1\neq 0} ⁠ and each nonzero element has a multiplicative inverse. The ring of integers does not form a field because it lacks multiplicative inverses. For example, the multiplicative inverse of 7 {\displaystyle 7} is 1 7 {\displaystyle {\tfrac {1}{7}}} , which is not an integer. The rational numbers, the real numbers, and the complex numbers each form a field with the operations of addition and multiplication.

Ring theory is the study of rings, exploring concepts such as subrings, quotient rings, polynomial rings, and ideals as well as theorems such as Hilbert's basis theorem. Field theory is concerned with fields, examining field extensions, algebraic closures, and finite fields. Galois theory explores the relation between field theory and group theory, relying on the fundamental theorem of Galois theory.

Theories of interrelations among structures

Diagram of relations between some algebraic structures
Diagram of relations between some algebraic structures. For instance, its top right section shows that a magma becomes a semigroup if its operation is associative.

Besides groups, rings, and fields, there are many other algebraic structures studied by algebra. They include magmas, semigroups, monoids, abelian groups, commutative rings, modules, lattices, vector spaces, algebras over a field, and associative and non-associative algebras. 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. For example, a magma becomes a semigroup if its operation is associative.

Homomorphisms are tools to examine structural features by comparing two algebraic structures. 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 A , {\displaystyle \langle A,\circ \rangle } and B , {\displaystyle \langle B,\star \rangle } then the function h : A B {\displaystyle h:A\to B} is a homomorphism if it fulfills the following requirement: h ( x y ) = h ( x ) h ( y ) {\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. 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.

Venn diagram of a set and its subset
Subalgebras restrict their operations to a subset of the underlying set of the original algebraic structure.

Another tool of comparison is the relation between an algebraic structure and its subalgebra. The algebraic structure and its subalgebra use the same operations, 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. 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. 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.

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. 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 a b {\displaystyle a\circ b} is identical to b a {\displaystyle b\circ a} for all elements. A variety is a class of all algebraic structures that satisfy certain identities. For example, if two algebraic structures satisfy commutativity then they are both part of the corresponding variety.

Category theory examines how mathematical objects are related to each other using the concept of categories. A category is a collection of objects together with a collection of morphisms or "arrows" between those objects. These two collections must satisfy certain conditions. For example, morphisms can be joined, or composed: if there exists a morphism from object a {\displaystyle a} to object b {\displaystyle b} , and another morphism from object b {\displaystyle b} to object c {\displaystyle c} , then there must also exist one from object a {\displaystyle a} to object c {\displaystyle c} . Composition of morphisms is required to be associative, and there must be an "identity morphism" for every object. Categories are widely used in contemporary mathematics since they provide a unifying framework to describe and analyze many fundamental mathematical concepts. For example, sets can be described with the category of sets, and any group can be regarded as the morphisms of a category with just one object.

History

Main articles: History of algebra and Timeline of algebra
Rhind Papyrus
The Rhind Mathematical Papyrus from ancient Egypt, dated c. 1650 BCE, is one of the earliest documents discussing algebraic problems.

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 Mathematical Papyrus from ancient Egypt, which was written around 1650 BCE. It discusses solutions to linear equations, as expressed in problems like "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.

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. 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. Diophantus's work influenced Arab development of algebra with many of his methods reflected in the concepts and techniques used in medieval Arabic algebra. 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, explored various techniques for solving algebraic equations, including the use of matrix-like constructs.

There is no unanimity as to whether these early developments are part of algebra or only 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. This changed with the Persian mathematician al-Khwarizmi, 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. 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.

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. 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. 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.

Drawing of François ViètePainting of René DescartesFrançois Viète (left) 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. 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. 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. 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.

In the 17th and 18th centuries, many attempts were made to find general solutions to polynomials of degree five and higher. All of them failed. 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. 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. 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. Mathematicians soon realized the relevance of group theory to other fields and applied it to disciplines like geometry and number theory.

Photo of Garrett Birkhoff
Garrett Birkhoff developed many of the foundational concepts of universal algebra.

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. The invention of new algebraic systems based on different operations and elements accompanied this development, such as Boolean algebra, vector algebra, and matrix algebra. 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, like groups, rings, and fields.

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. The invention of universal algebra led to the emergence of various new areas focused on the algebraization of mathematics—that is, the application of algebraic methods to other branches of mathematics. Topological algebra arose in the early 20th century, studying algebraic structures such as topological groups and Lie groups. In the 1940s and 50s, homological algebra emerged, employing algebraic techniques to study homology. Around the same time, category theory was developed and has since played a key role in the foundations of mathematics. Other developments were the formulation of model theory and the study of free algebras.

Applications

See also: Applied mathematics

The influence of algebra is wide-reaching, both within mathematics and in its applications to other fields. The algebraization of mathematics is the process of applying algebraic methods and principles to other branches of mathematics, such as geometry, topology, number theory, and calculus. 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.

Rendered image of a sphere
The algebraic equation x 2 + y 2 + z 2 = 1 {\displaystyle x^{2}+y^{2}+z^{2}=1} describes a sphere at the origin with a radius of 1.

One application, found in geometry, is the use of algebraic statements to describe geometric figures. For example, the equation y = 3 x 7 {\displaystyle y=3x-7} describes a line in two-dimensional space while the equation x 2 + y 2 + z 2 = 1 {\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, which are solutions to systems of polynomial equations that can be used to describe more complex geometric figures. Algebraic reasoning can also solve geometric problems. For example, one can determine whether and where the line described by y = x + 1 {\displaystyle y=x+1} intersects with the circle described by x 2 + y 2 = 25 {\displaystyle x^{2}+y^{2}=25} by solving the system of equations made up of these two equations. 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.

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. Examples are the use of algebraic expressions to describe general laws, like Fermat's Last Theorem, and of algebraic structures to analyze the behavior of numbers, such as the ring of integers. The related field of combinatorics uses algebraic techniques to solve problems related to counting, arrangement, and combination of discrete objects. An example in algebraic combinatorics is the application of group theory to analyze graphs and symmetries. The insights of algebra are also relevant to calculus, which uses mathematical expressions to examine rates of change and accumulation. It relies on algebra, for instance, to understand how these expressions can be transformed and what role variables play in them. Algebraic logic employs the methods of algebra to describe and analyze the structures and patterns that underlie logical reasoning, exploring both the relevant mathematical structures themselves and their application to concrete problems of logic. It includes the study of Boolean algebra to describe propositional logic as well as the formulation and analysis of algebraic structures corresponding to more complex systems of logic.

Picture of Rubik's cube
The faces of a Rubik's cube can be rotated to change the arrangement of colored patches. The resulting permutations form a group called the Rubik's Cube group.

Algebraic methods are also commonly employed in other areas, like the natural sciences. For example, they are used to express scientific laws and solve equations in physics, chemistry, and biology. Similar applications are found in fields like economics, geography, engineering (including electronics and robotics), and computer science to express relationships, solve problems, and model systems. Linear algebra plays a central role in artificial intelligence and machine learning, for instance, by enabling the efficient processing and analysis of large datasets. Various fields rely on algebraic structures investigated by abstract algebra. For example, physical sciences like crystallography and quantum mechanics make extensive use of group theory, which is also employed to study puzzles such as Sudoku and Rubik's cubes, and origami. Both coding theory and cryptology rely on abstract algebra to solve problems associated with data transmission, like avoiding the effects of noise and ensuring data security.

Education

See also: Mathematics education
Diagram of a balance scale
Balance scales are used in algebra education to help students understand how equations can be transformed to determine unknown values.

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. 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.

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. 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 ( 2 x + x = 12 {\displaystyle 2x+x=12} ) and to determine how many apples Naomi has ( x = 4 {\displaystyle x=4} ).

At the university level, mathematics students encounter advanced algebra topics from linear and abstract algebra. Initial undergraduate courses in linear algebra focus on matrices, vector spaces, and linear maps. Upon completing them, students are usually introduced to abstract algebra, where they learn about algebraic structures like groups, rings, and fields, as well as the relations between them. The curriculum typically also covers specific instances of algebraic structures, such as the systems of the rational numbers, the real numbers, and the polynomials.

See also

References

Notes

  1. When understood in the widest sense, an algebraic operation is a function from a Cartesian power of a set into that set, expressed formally as ω : A n A {\displaystyle \omega :A^{n}\to A} . Addition of real numbers is an example of an algebraic operation: it takes two numbers as input and produces one number as output. It has the form + : R 2 R {\displaystyle +:\mathbb {R} ^{2}\to \mathbb {R} } .
  2. Algebra is covered by division 512 in the Dewey Decimal Classification and subclass QA 150-272.5 in the Library of Congress Classification. It encompasses several areas in the Mathematics Subject Classification.
  3. The exact meaning of the term al-jabr in al-Khwarizmi's work is disputed. In some passages, it expresses that a quantity diminished by subtraction is restored to its original value, similar to how a bonesetter restores broken bones by bringing them into proper alignment.
  4. These changes were in part triggered by discoveries that solved many of the older problems of algebra. For example, the proof of the fundamental theorem of algebra demonstrated the existence of complex solutions of polynomials and the introduction of Galois theory characterized the polynomials that have general solutions.
  5. Constants represent fixed numbers that do not change during the study of a specific problem.
  6. For example, the equations x 1 3 x 2 = 0 {\displaystyle x_{1}-3x_{2}=0} and x 1 3 x 2 = 7 {\displaystyle x_{1}-3x_{2}=7} contradict each other since no values of x 1 {\displaystyle x_{1}} and x 2 {\displaystyle x_{2}} exist that solve both equations at the same time.
  7. 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.
  8. A set is an unordered collection of distinct elements, such as numbers, vectors, or other sets. Set theory describes the laws and properties of sets.
  9. According to some definitions, algebraic structures include a distinguished element as an additional component, such as the identity element in the case of multiplication.
  10. Some of the algebraic structures studied by abstract algebra include unary operations in addition to binary operations. For example, normed vector spaces have a norm, which is a unary operation often used to associate a vector with its length.
  11. The symbols {\displaystyle \circ } and {\displaystyle \star } are used in this article to represent any operation that may or may not resemble arithmetic operations.
  12. Some authors do not require the existence of multiplicative identity elements. A ring without multiplicative identity is sometimes called a rng.
  13. According to some definitions, it is also possible for a subalgebra to have fewer operations.
  14. This means that all the elements of the first set are also elements of the second set but the second set may contain elements not found in the first set.
  15. A slightly different approach understands universal algebra as the study of one type of algebraic structures known as universal algebras. Universal algebras are defined in a general manner to include most other algebraic structures. For example, groups and rings are special types of universal algebras.
  16. Not every type of algebraic structure forms a variety. For example, both groups and rings form varieties but fields do not.
  17. Besides identities, universal algebra is also interested in structural features associated with quasi-identities. A quasi-identity is an identity that only needs to be present under certain conditions (which take the form of a Horn clause). It is a generalization of identity in the sense that every identity is a quasi-identity but not every quasi-identity is an identity. A quasivariety is a class of all algebraic structures that satisfy certain quasi-identities.
  18. The exact date is disputed and some historians suggest a later date around 1550 BCE.
  19. Some historians consider him the "father of algebra" while others reserve this title for Diophantus.
  20. Algebraic varieties studied in geometry differ from the more general varieties studied in universal algebra.

Citations

  1. Baranovich 2023, Lead section
    • Pratt 2022, Lead section, § 1. Elementary Algebra, § 2. Abstract Algebra, § 3. Universal Algebra
    • Merzlyakov & Shirshov 2020, § The Subject Matter of Algebra, Its Principal Branches and Its Connection with Other Branches of Mathematics.
  2. Higham 2019, p. 296
  3. Library of Congress, p. 3
  4. zbMATH Open 2024
  5. ^
  6. EoM Staff 2017
  7. ^
  8. ^
  9. ^
  10. Sobolev 2015
  11. Geddes, Czapor & Labahn 2007, p. 46
  12. ^
  13. Igarashi et al. 2014, p. 103
  14. ^
  15. ^
  16. ^
  17. Hausberger 2020, Abstract Algebra Teaching and Learning
  18. ^ Ovchinnikov 2015, p. 27
  19. Grillet 2007, p. 247
  20. Gilbert & Nicholson 2004, p. 4
  21. Silverman 2022, p. 64
  22. Geddes, Czapor & Labahn 2007, p. 24
  23. Smith 2015, p. 161
  24. Cooper 2011, p. 60
  25. ^
  26. ^ Indurkhya 2013, pp. 217–218
  27. Efimov 2014
  28. Cohn 1995, p. 8
  29. Mal’cev 1973, p. 211
  30. Burgin 2022, p. 10
  31. Higgins 2015, p. 89
  32. Vince 2007, p. 133
  33. Andréka, Németi & Sain 2001, pp. 133–134
  34. Joyner 2008, p. 92
  35. Terras 2019, pp. 63–64, 142
  36. Hull 2021, p. 180
  37. Hausberger, Zandieh & Fleischmann 2021, pp. 147–148

Sources

External links

Algebra
Areas
Basic concepts
Algebraic structures
Linear and
multilinear algebra
Algebraic constructions
Topic lists
Glossaries
Polynomials and polynomial functions
By degree
By properties
Tools and algorithms
Major mathematics areas
Foundations
Algebra
Analysis
Discrete
Geometry
Number theory
Topology
Applied
Computational
Related topics
Category: