Algebra is the branch of
mathematicsMathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
concerning the study of the rules of
operationsThe general operation as explained on this page should not be confused with the more specific operators on vector spaces. For a notion in elementary mathematics, see arithmetic operation....
and
relationsIn set theory and logic, a relation is a property that assigns truth values to ktuples of individuals. Typically, the property describes a possible connection between the components of a ktuple...
, and the constructions and concepts arising from them, including
termsA term is a mathematical expression which may form a separable part of an equation, a series, or another expression.Definition:In elementary mathematics, a term is either a single number or variable, or the product of several numbers or variables separated from another term by a + or  sign in an...
,
polynomialIn mathematics, a polynomial is an expression of finite length constructed from variables and constants, using only the operations of addition, subtraction, multiplication, and nonnegative integer exponents...
s,
equationAn equation is a mathematical statement that asserts the equality of two expressions. In modern notation, this is written by placing the expressions on either side of an equals sign , for examplex + 3 = 5\,asserts that x+3 is equal to 5...
s and
algebraic structureIn abstract algebra, an algebraic structure consists of one or more sets, called underlying sets or carriers or sorts, closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties...
s. Together with
geometryGeometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of premodern mathematics, the other being the study of numbers ....
,
analysisMathematical analysis, which mathematicians refer to simply as analysis, has its beginnings in the rigorous formulation of infinitesimal calculus. It is a branch of pure mathematics that includes the theories of differentiation, integration and measure, limits, infinite series, and analytic functions...
,
topologyTopology is a major area of mathematics concerned with properties that are preserved under continuous deformations of objects, such as deformations that involve stretching, but no tearing or gluing...
,
combinatoricsCombinatorics is a branch of mathematics concerning the study of finite or countable discrete structures. Aspects of combinatorics include counting the structures of a given kind and size , deciding when certain criteria can be met, and constructing and analyzing objects meeting the criteria ,...
, and
number theoryNumber theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers as well...
, algebra is one of the main branches of
pure mathematicsBroadly speaking, pure mathematics is mathematics which studies entirely abstract concepts. From the eighteenth century onwards, this was a recognized category of mathematical activity, sometimes characterized as speculative mathematics, and at variance with the trend towards meeting the needs of...
.
Elementary algebraElementary algebra is a fundamental and relatively basic form of algebra taught to students who are presumed to have little or no formal knowledge of mathematics beyond arithmetic. It is typically taught in secondary school under the term algebra. The major difference between algebra and...
, often part of the curriculum in
secondary educationSecondary education is the stage of education following primary education. Secondary education includes the final stage of compulsory education and in many countries it is entirely compulsory. The next stage of education is usually college or university...
, introduces the concept of
variablesIn mathematics, a variable is a value that may change within the scope of a given problem or set of operations. In contrast, a constant is a value that remains unchanged, though often unknown or undetermined. The concepts of constants and variables are fundamental to many areas of mathematics and...
representing
numberA number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational numbers, irrational numbers, and complex numbers....
s. Statements based on these variables are manipulated using the rules of operations that apply to numbers, such as
additionAddition is a mathematical operation that represents combining collections of objects together into a larger collection. It is signified by the plus sign . For example, in the picture on the right, there are 3 + 2 apples—meaning three apples and two other apples—which is the same as five apples....
. This can be done for a variety of reasons, including
equation solvingIn mathematics, to solve an equation is to find what values fulfill a condition stated in the form of an equation . These expressions contain one or more unknowns, which are free variables for which values are sought that cause the condition to be fulfilled...
. Algebra is much broader than elementary algebra and studies what happens when different rules of operations are used and when operations are devised for things other than numbers. Addition and
multiplicationMultiplication is the mathematical operation of scaling one number by another. It is one of the four basic operations in elementary arithmetic ....
can be generalized and their precise definitions lead to
structuresIn abstract algebra, an algebraic structure consists of one or more sets, called underlying sets or carriers or sorts, closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties...
such as
groupsIn mathematics, a group is an algebraic structure consisting of a set together with an operation that combines any two of its elements to form a third element. To qualify as a group, the set and the operation must satisfy a few conditions called group axioms, namely closure, associativity, identity...
,
ringsIn mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition and a semigroup under multiplication such that multiplication distributes over addition...
and
fieldsIn abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it is an algebraic structure with notions of addition, subtraction, multiplication, and division, satisfying certain axioms...
, studied in the area of mathematics called
abstract algebraAbstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras...
.
History
By the time of
PlatoPlato , was a Classical Greek philosopher, mathematician, student of Socrates, writer of philosophical dialogues, and founder of the Academy in Athens, the first institution of higher learning in the Western world. Along with his mentor, Socrates, and his student, Aristotle, Plato helped to lay the...
,
Greek mathematicsGreek mathematics, as that term is used in this article, is the mathematics written in Greek, developed from the 7th century BC to the 4th century AD around the Eastern shores of the Mediterranean. Greek mathematicians lived in cities spread over the entire Eastern Mediterranean, from Italy to...
had undergone a drastic change. The
GreeksAncient Greece is a civilization belonging to a period of Greek history that lasted from the Archaic period of the 8th to 6th centuries BC to the end of antiquity. Immediately following this period was the beginning of the Early Middle Ages and the Byzantine era. Included in Ancient Greece is the...
created a
geometric algebraGeometric algebra , together with the associated Geometric calculus, provides a comprehensive alternative approach to the algebraic representation of classical, computational and relativistic geometry. GA now finds application in all of physics, in graphics and in robotics...
where terms were represented by sides of geometric objects, usually lines, that had letters associated with them.
DiophantusDiophantus of Alexandria , sometimes called "the father of algebra", was an Alexandrian Greek mathematician and the author of a series of books called Arithmetica. These texts deal with solving algebraic equations, many of which are now lost...
(3rd century AD), sometimes called "the father of algebra", was an
AlexandriaAlexandria is the secondlargest city of Egypt, with a population of 4.1 million, extending about along the coast of the Mediterranean Sea in the north central part of the country; it is also the largest city lying directly on the Mediterranean coast. It is Egypt's largest seaport, serving...
n
Greek mathematicianGreek mathematics, as that term is used in this article, is the mathematics written in Greek, developed from the 7th century BC to the 4th century AD around the Eastern shores of the Mediterranean. Greek mathematicians lived in cities spread over the entire Eastern Mediterranean, from Italy to...
and the author of a series of books called
ArithmeticaArithmetica is an ancient Greek text on mathematics written by the mathematician Diophantus in the 3rd century AD. It is a collection of 130 algebraic problems giving numerical solutions of determinate equations and indeterminate equations.Equations in the book are called Diophantine equations...
. These texts deal with solving
algebraic equations.
While the word
algebra comes from the
Arabic languageArabic is a name applied to the descendants of the Classical Arabic language of the 6th century AD, used most prominently in the Quran, the Islamic Holy Book...
(
"restoration") and much of its methods from
Arabic/Islamic mathematicsIn the history of mathematics, mathematics in medieval Islam, often termed Islamic mathematics or Arabic mathematics, covers the body of mathematics preserved and developed under the Islamic civilization between circa 622 and 1600...
, its roots can be traced to earlier traditions, which had a direct influence on
Muhammad ibn Mūsā alKhwārizmī'There is some confusion in the literature on whether alKhwārizmī's full name is ' or '. Ibn Khaldun notes in his encyclopedic work: "The first who wrote upon this branch was Abu ʿAbdallah alKhowarizmi, after whom came Abu Kamil Shojaʿ ibn Aslam." . 'There is some confusion in the literature on...
(c. 780–850). He later wrote
The Compendious Book on Calculation by Completion and Balancing , also known under a shorter name spelled as Hisab aljabr w’almuqabala, Kitab alJabr walMuqabala and other transliterations) is a mathematical book written in Arabic in approximately AD 820 by the Persian (Arabic for "The Compendious Book on Calculation by Completion and Balancing", in...
, which established algebra as a mathematical discipline that is independent of
geometryGeometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of premodern mathematics, the other being the study of numbers ....
and
arithmeticArithmetic or arithmetics is the oldest and most elementary branch of mathematics, used by almost everyone, for tasks ranging from simple daytoday counting to advanced science and business calculations. It involves the study of quantity, especially as the result of combining numbers...
.
The roots of algebra can be traced to the ancient
BabyloniansBabylonian mathematics refers to any mathematics of the people of Mesopotamia, from the days of the early Sumerians to the fall of Babylon in 539 BC. Babylonian mathematical texts are plentiful and well edited...
, who developed an advanced arithmetical system with which they were able to do calculations in an
algorithmIn mathematics and computer science, an algorithm is an effective method expressed as a finite list of welldefined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
ic fashion. The Babylonians developed formulas to calculate solutions for problems typically solved today by using
linear equationA linear equation is an algebraic equation in which each term is either a constant or the product of a constant and a single variable....
s,
quadratic equationIn mathematics, a quadratic equation is a univariate polynomial equation of the second degree. A general quadratic equation can be written in the formax^2+bx+c=0,\,...
s, and
indeterminate linear equationsAn indeterminate equation, in mathematics, is an equation for which there is an infinite set of solutions; for example, 2x = y is a simple indeterminate equation. Indeterminate equations cannot be directly solved from the given information...
. By contrast, most
EgyptiansEgyptian mathematics is the mathematics that was developed and used in Ancient Egypt from ca. 3000 BC to ca. 300 BC.Overview:Written evidence of the use of mathematics dates back to at least 3000 BC with the ivory labels found at Tomb Uj at Abydos. These labels appear to have been used as tags for...
of this era, as well as
GreekGreek mathematics, as that term is used in this article, is the mathematics written in Greek, developed from the 7th century BC to the 4th century AD around the Eastern shores of the Mediterranean. Greek mathematicians lived in cities spread over the entire Eastern Mediterranean, from Italy to...
and
ChineseMathematics in China emerged independently by the 11th century BC. The Chinese independently developed very large and negative numbers, decimals, a place value decimal system, a binary system, algebra, geometry, and trigonometry....
mathematicians in the
1st millennium BCThe 1st millennium BC encompasses the Iron Age and sees the rise of many successive empires, and spanned from 1000 BC to 1 BC.The NeoAssyrian Empire, followed by the Achaemenids. In Greece, Classical Antiquity begins with the colonization of Magna Graecia and peaks with the rise of Hellenism. The...
, usually solved such equations by geometric methods, such as those described in the
Rhind Mathematical PapyrusThe Rhind Mathematical Papyrus , is named after Alexander Henry Rhind, a Scottish antiquarian, who purchased the papyrus in 1858 in Luxor, Egypt; it was apparently found during illegal excavations in or near the Ramesseum. It dates to around 1650 BC...
,
Euclid's ElementsEuclid's Elements is a mathematical and geometric treatise consisting of 13 books written by the Greek mathematician Euclid in Alexandria c. 300 BC. It is a collection of definitions, postulates , propositions , and mathematical proofs of the propositions...
, and
The Nine Chapters on the Mathematical ArtThe Nine Chapters on the Mathematical Art is a Chinese mathematics book, composed by several generations of scholars from the 10th–2nd century BCE, its latest stage being from the 1st century CE...
. The geometric work of the Greeks, typified in the
Elements, provided the framework for generalizing formulae beyond the solution of particular problems into more general systems of stating and solving equations, though this would not be realized until the medieval Muslim mathematicians.
The
HellenisticHellenistic civilization represents the zenith of Greek influence in the ancient world from 323 BCE to about 146 BCE...
mathematicians
Hero of AlexandriaHero of Alexandria was an ancient Greek mathematician and engineerEnc. Britannica 2007, "Heron of Alexandria" who was active in his native city of Alexandria, Roman Egypt...
and
DiophantusDiophantus of Alexandria , sometimes called "the father of algebra", was an Alexandrian Greek mathematician and the author of a series of books called Arithmetica. These texts deal with solving algebraic equations, many of which are now lost...
as well as
Indian mathematiciansIndian mathematics emerged in the Indian subcontinent from 1200 BCE until the end of the 18th century. In the classical period of Indian mathematics , important contributions were made by scholars like Aryabhata, Brahmagupta, and Bhaskara II. The decimal number system in use today was first...
such as
BrahmaguptaBrahmagupta was an Indian mathematician and astronomer who wrote many important works on mathematics and astronomy. His best known work is the Brāhmasphuṭasiddhānta , written in 628 in Bhinmal...
continued the traditions of Egypt and Babylon, though Diophantus'
ArithmeticaArithmetica is an ancient Greek text on mathematics written by the mathematician Diophantus in the 3rd century AD. It is a collection of 130 algebraic problems giving numerical solutions of determinate equations and indeterminate equations.Equations in the book are called Diophantine equations...
and Brahmagupta's
BrahmasphutasiddhantaThe main work of Brahmagupta, Brāhmasphuṭasiddhānta , written c.628, contains ideas including a good understanding of the mathematical role of zero, rules for manipulating both negative and positive numbers, a method for computing square roots, methods of solving linear and some quadratic...
are on a higher level. For example, the first complete arithmetic solution (including zero and negative solutions) to
quadratic equationIn mathematics, a quadratic equation is a univariate polynomial equation of the second degree. A general quadratic equation can be written in the formax^2+bx+c=0,\,...
s was described by Brahmagupta in his book
Brahmasphutasiddhanta. Later, Arabic and Muslim mathematicians developed algebraic methods to a much higher degree of sophistication. Although Diophantus and the Babylonians used mostly special
ad hoc methods to solve equations, AlKhwarizmi was the first to solve equations using general methods. He solved the linear indeterminate equations, quadratic equations, second order indeterminate equations and equations with multiple variables.
The
GreekThe Greeks, also known as the Hellenes , are a nation and ethnic group native to Greece, Cyprus and neighboring regions. They also form a significant diaspora, with Greek communities established around the world....
mathematician
DiophantusDiophantus of Alexandria , sometimes called "the father of algebra", was an Alexandrian Greek mathematician and the author of a series of books called Arithmetica. These texts deal with solving algebraic equations, many of which are now lost...
has traditionally been known as the "father of algebra" but in more recent times there is much debate over whether alKhwarizmi, who founded the discipline of
aljabr, deserves that title instead. Those who support Diophantus point to the fact that the algebra found in
AlJabr is slightly more elementary than the algebra found in
Arithmetica and that
Arithmetica is syncopated while
AlJabr is fully rhetorical. Those who support AlKhwarizmi point to the fact that he introduced the methods of "
reductionIn mathematics, reduction refers to the rewriting of an expression into a simpler form. For example, the process of rewriting a fraction into one with the smallest wholenumber denominator possible is called "reducing a fraction"...
" and "balancing" (the transposition of subtracted terms to the other side of an equation, that is, the cancellation of like terms on opposite sides of the equation) which the term
aljabr originally referred to, and that he gave an exhaustive explanation of solving quadratic equations, supported by geometric proofs, while treating algebra as an independent discipline in its own right. His algebra was also no longer concerned "with a series of
problemA problem is an obstacle, impediment, difficulty or challenge, or any situation that invites resolution; the resolution of which is recognized as a solution or contribution toward a known purpose or goal...
s to be resolved, but an
expositionExpository writing is a type of writing where the purpose is to inform, explain, describe, or define the author's subject to the reader. Expository text is meant to deposit information and is the most frequently used type of writing by students in colleges and universities. A wellwritten...
which starts with primitive terms in which the combinations must give all possible prototypes for equations, which henceforward explicitly constitute the true object of study." He also studied an equation for its own sake and "in a generic manner, insofar as it does not simply emerge in the course of solving a problem, but is specifically called on to define an infinite class of problems."
The Persian mathematician
Omar KhayyamOmar Khayyám was aPersian polymath: philosopher, mathematician, astronomer and poet. He also wrote treatises on mechanics, geography, mineralogy, music, climatology and theology....
is credited with identifying the foundations of
algebraic geometryAlgebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex...
and found the general geometric solution of the cubic equation. Another Persian mathematician, Sharaf alDīn alTūsī, found algebraic and numerical solutions to various cases of cubic equations. He also developed the concept of a
functionIn mathematics, a function associates one quantity, the argument of the function, also known as the input, with another quantity, the value of the function, also known as the output. A function assigns exactly one output to each input. The argument and the value may be real numbers, but they can...
. The Indian mathematicians
MahaviraMahavira was a 9thcentury Indian Jain mathematician from Gulbarga who asserted that the square root of a negative number did not exist. He gave the sum of a series whose terms are squares of an arithmetical progression and empirical rules for area and perimeter of an ellipse. He was patronised by...
and Bhaskara II, the Persian mathematician
AlKaraji' was a 10th century Persian Muslim mathematician and engineer. His three major works are AlBadi' fi'lhisab , AlFakhri fi'ljabr wa'lmuqabala , and AlKafi fi'lhisab .Because alKaraji's original works in Arabic are lost, it is not...
, and the Chinese mathematician
Zhu ShijieZhu Shijie , courtesy name Hanqing , pseudonym Songting , was one of the greatest Chinese mathematicians lived during the Yuan Dynasty....
, solved various cases of cubic, quartic,
quinticIn mathematics, a quintic function is a function of the formg=ax^5+bx^4+cx^3+dx^2+ex+f,\,where a, b, c, d, e and f are members of a field, typically the rational numbers, the real numbers or the complex numbers, and a is nonzero...
and higherorder
polynomialIn mathematics, a polynomial is an expression of finite length constructed from variables and constants, using only the operations of addition, subtraction, multiplication, and nonnegative integer exponents...
equations using numerical methods. In the 13th century, the solution of a cubic equation by
FibonacciLeonardo Pisano Bigollo also known as Leonardo of Pisa, Leonardo Pisano, Leonardo Bonacci, Leonardo Fibonacci, or, most commonly, simply Fibonacci, was an Italian mathematician, considered by some "the most talented western mathematician of the Middle Ages."Fibonacci is best known to the modern...
is representative of the beginning of a revival in European algebra. As the Islamic world was declining, the European world was ascending. And it is here that algebra was further developed.
François VièteFrançois Viète , Seigneur de la Bigotière, was a French mathematician whose work on new algebra was an important step towards modern algebra, due to its innovative use of letters as parameters in equations...
’s work at the close of the 16th century marks the start of the classical discipline of algebra. In 1637,
René DescartesRené Descartes ; was a French philosopher and writer who spent most of his adult life in the Dutch Republic. He has been dubbed the 'Father of Modern Philosophy', and much subsequent Western philosophy is a response to his writings, which are studied closely to this day...
published
La GéométrieLa Géométrie was published in 1637 as an appendix to Discours de la méthode , written by René Descartes. In the Discourse, he presents his method for obtaining clarity on any subject...
, inventing
analytic geometryAnalytic geometry, or analytical geometry has two different meanings in mathematics. The modern and advanced meaning refers to the geometry of analytic varieties...
and introducing modern algebraic notation. Another key event in the further development of algebra was the general algebraic solution of the cubic and quartic equations, developed in the mid16th century. The idea of a
determinantIn linear algebra, the determinant is a value associated with a square matrix. It can be computed from the entries of the matrix by a specific arithmetic expression, while other ways to determine its value exist as well...
was developed by
Japanese mathematiciandenotes a distinct kind of mathematics which was developed in Japan during the Edo Period . The term wasan, from wa and san , was coined in the 1870s and employed to distinguish native Japanese mathematics theory from Western mathematics .In the history of mathematics, the development of wasan...
Kowa Seki in the 17th century, followed independently by
Gottfried LeibnizGottfried Wilhelm Leibniz was a German philosopher and mathematician. He wrote in different languages, primarily in Latin , French and German ....
ten years later, for the purpose of solving systems of simultaneous linear equations using
matricesIn mathematics, a matrix is a rectangular array of numbers, symbols, or expressions. The individual items in a matrix are called its elements or entries. An example of a matrix with six elements isMatrices of the same size can be added or subtracted element by element...
.
Gabriel CramerGabriel Cramer was a Swiss mathematician, born in Geneva. He showed promise in mathematics from an early age. At 18 he received his doctorate and at 20 he was cochair of mathematics.In 1728 he proposed a solution to the St...
also did some work on matrices and determinants in the 18th century. Permutations were studied by
Joseph LagrangeCount Joseph Lagrange was a French soldier who rose through the ranks and gained promotion to the rank of general officer during the French Revolutionary Wars, subsequently pursuing a successful career during the Napoleonic Wars and winning promotion to the top military rank of General of Division....
in his 1770 paper
Réflexions sur la résolution algébrique des équations devoted to solutions of algebraic equations, in which he introduced Lagrange resolvents.
Paolo RuffiniPaolo Ruffini was an Italian mathematician and philosopher.By 1788 he had earned university degrees in philosophy, medicine/surgery, and mathematics...
was the first person to develop the theory of
permutation groupIn mathematics, a permutation group is a group G whose elements are permutations of a given set M, and whose group operation is the composition of permutations in G ; the relationship is often written as...
s, and like his predecessors, also in the context of solving algebraic equations.
Abstract algebraAbstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras...
was developed in the 19th century, initially focusing on what is now called
Galois theoryIn mathematics, more specifically in abstract algebra, Galois theory, named after Évariste Galois, provides a connection between field theory and group theory...
, and on
constructibilityA point in the Euclidean plane is a constructible point if, given a fixed coordinate system , the point can be constructed with unruled straightedge and compass...
issues. The "modern algebra" has deep nineteenthcentury roots in the work, for example, of
Richard DedekindJulius Wilhelm Richard Dedekind was a German mathematician who did important work in abstract algebra , algebraic number theory and the foundations of the real numbers.Life:...
and
Leopold KroneckerLeopold Kronecker was a German mathematician who worked on number theory and algebra.He criticized Cantor's work on set theory, and was quoted by as having said, "God made integers; all else is the work of man"...
and profound interconnections with other branches of mathematics such as
algebraic number theoryAlgebraic number theory is a major branch of number theory which studies algebraic structures related to algebraic integers. This is generally accomplished by considering a ring of algebraic integers O in an algebraic number field K/Q, and studying their algebraic properties such as factorization,...
and
algebraic geometryAlgebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex...
.
George PeacockGeorge Peacock was an English mathematician.Life:Peacock was born on 9 April 1791 at Thornton Hall, Denton, near Darlington, County Durham. His father, the Rev. Thomas Peacock, was a clergyman of the Church of England, incumbent and for 50 years curate of the parish of Denton, where he also kept...
was the founder of axiomatic thinking in arithmetic and algebra.
Augustus De MorganAugustus De Morgan was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorous. The crater De Morgan on the Moon is named after him....
discovered
relation algebraIn mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation...
in his
Syllabus of a Proposed System of Logic.
Josiah Willard GibbsJosiah Willard Gibbs was an American theoretical physicist, chemist, and mathematician. He devised much of the theoretical foundation for chemical thermodynamics as well as physical chemistry. As a mathematician, he invented vector analysis . Yale University awarded Gibbs the first American Ph.D...
developed an algebra of vectors in threedimensional space, and
Arthur CayleyArthur Cayley F.R.S. was a British mathematician. He helped found the modern British school of pure mathematics....
developed an algebra of matrices (this is a noncommutative algebra).
Classification
Algebra may be divided roughly into the following categories:
 Elementary algebra
Elementary algebra is a fundamental and relatively basic form of algebra taught to students who are presumed to have little or no formal knowledge of mathematics beyond arithmetic. It is typically taught in secondary school under the term algebra. The major difference between algebra and...
, in which the properties of operations on the real number systemIn mathematics, a real number is a value that represents a quantity along a continuum, such as 5 , 4/3 , 8.6 , √2 and π...
are recorded using symbols as "place holders" to denote constantsIn mathematics, a constant is a nonvarying value, i.e. completely fixed or fixed in the context of use. The term usually occurs in opposition to variable In mathematics, a constant is a nonvarying value, i.e. completely fixed or fixed in the context of use. The term usually occurs in opposition...
and variablesIn mathematics, a variable is a value that may change within the scope of a given problem or set of operations. In contrast, a constant is a value that remains unchanged, though often unknown or undetermined. The concepts of constants and variables are fundamental to many areas of mathematics and...
, and the rules governing mathematical expressions and equationAn equation is a mathematical statement that asserts the equality of two expressions. In modern notation, this is written by placing the expressions on either side of an equals sign , for examplex + 3 = 5\,asserts that x+3 is equal to 5...
s involving these symbols are studied. This is usually taught at school under the title algebra (or intermediate algebra and college algebra in subsequent years). Universitylevel courses in group theory may also be called elementary algebra.
 Abstract algebra
Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras...
, sometimes also called modern algebra, in which algebraic structureIn abstract algebra, an algebraic structure consists of one or more sets, called underlying sets or carriers or sorts, closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties...
s such as groupsIn mathematics, a group is an algebraic structure consisting of a set together with an operation that combines any two of its elements to form a third element. To qualify as a group, the set and the operation must satisfy a few conditions called group axioms, namely closure, associativity, identity...
, ringsIn mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition and a semigroup under multiplication such that multiplication distributes over addition...
and fieldsIn abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it is an algebraic structure with notions of addition, subtraction, multiplication, and division, satisfying certain axioms...
are axiomatically defined and investigated.
 Linear algebra
Linear algebra is a branch of mathematics that studies vector spaces, also called linear spaces, along with linear functions that input one vector and output another. Such functions are called linear maps and can be represented by matrices if a basis is given. Thus matrix theory is often...
, in which the specific properties of vector spaceA vector space is a mathematical structure formed by a collection of vectors: objects that may be added together and multiplied by numbers, called scalars in this context. Scalars are often taken to be real numbers, but one may also consider vector spaces with scalar multiplication by complex...
s are studied (including matricesIn mathematics, a matrix is a rectangular array of numbers, symbols, or expressions. The individual items in a matrix are called its elements or entries. An example of a matrix with six elements isMatrices of the same size can be added or subtracted element by element...
);
 Universal algebra
Universal algebra is the field of mathematics that studies algebraic structures themselves, not examples of algebraic structures....
, in which properties common to all algebraic structures are studied.
 Algebraic number theory
Algebraic number theory is a major branch of number theory which studies algebraic structures related to algebraic integers. This is generally accomplished by considering a ring of algebraic integers O in an algebraic number field K/Q, and studying their algebraic properties such as factorization,...
, in which the properties of numbers are studied through algebraic systems. Number theoryNumber theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers as well...
inspired much of the original abstraction in algebra.
 Algebraic geometry
Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex...
applies abstract algebra to the problems of geometry.
 Algebraic combinatorics
Algebraic combinatorics is an area of mathematics that employs methods of abstract algebra, notably group theory and representation theory, in various combinatorial contexts and, conversely, applies combinatorial techniques to problems in algebra....
, in which abstract algebraic methods are used to study combinatorial questions.
In some directions of advanced study, axiomatic algebraic systems such as groups, rings, fields, and algebras over a field are investigated in the presence of a
geometricGeometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of premodern mathematics, the other being the study of numbers ....
structure (a
metricIn mathematics, a metric or distance function is a function which defines a distance between elements of a set. A set with a metric is called a metric space. A metric induces a topology on a set but not all topologies can be generated by a metric...
or a
topologyTopology is a major area of mathematics concerned with properties that are preserved under continuous deformations of objects, such as deformations that involve stretching, but no tearing or gluing...
) which is compatible with the algebraic structure. The list includes a number of areas of
functional analysisFunctional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limitrelated structure and the linear operators acting upon these spaces and respecting these structures in a suitable sense...
:
Elementary algebra
Elementary algebra is the most basic form of algebra. It is taught to students who are presumed to have no knowledge of
mathematicsMathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
beyond the basic principles of
arithmeticArithmetic or arithmetics is the oldest and most elementary branch of mathematics, used by almost everyone, for tasks ranging from simple daytoday counting to advanced science and business calculations. It involves the study of quantity, especially as the result of combining numbers...
. In arithmetic, only
numberA number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational numbers, irrational numbers, and complex numbers....
s and their arithmetical operations (such as +, −, ×, ÷) occur. In algebra, numbers are often denoted by symbols (such as
a,
x, or
y). This is useful because:
 It allows the general formulation of arithmetical laws (such as a + b = b + a for all a and b), and thus is the first step to a systematic exploration of the properties of the real number system
In mathematics, a real number is a value that represents a quantity along a continuum, such as 5 , 4/3 , 8.6 , √2 and π...
.
 It allows the reference to "unknown" numbers, the formulation of equation
An equation is a mathematical statement that asserts the equality of two expressions. In modern notation, this is written by placing the expressions on either side of an equals sign , for examplex + 3 = 5\,asserts that x+3 is equal to 5...
s and the study of how to solve these. (For instance, "Find a number x such that 3x + 1 = 10" or going a bit further "Find a number x such that ax+b=c". This step leads to the conclusion that it is not the nature of the specific numbers that allows us to solve it, but that of the operations involved.)
 It allows the formulation of functional
In mathematics, a function associates one quantity, the argument of the function, also known as the input, with another quantity, the value of the function, also known as the output. A function assigns exactly one output to each input. The argument and the value may be real numbers, but they can...
relationships. (For instance, "If you sell x tickets, then your profit will be 3x − 10 dollars, or f(x) = 3x − 10, where f is the function, and x is the number to which the function is applied.")
Polynomials
A
polynomial is an
expressionIn mathematics, an expression is a finite combination of symbols that is wellformed according to rules that depend on the context. Symbols can designate numbers , variables, operations, functions, and other mathematical symbols, as well as punctuation, symbols of grouping, and other syntactic...
that is constructed from one or more
variablesIn mathematics, a variable is a value that may change within the scope of a given problem or set of operations. In contrast, a constant is a value that remains unchanged, though often unknown or undetermined. The concepts of constants and variables are fundamental to many areas of mathematics and...
and constants, using only the operations of addition, subtraction, and multiplication (where repeated multiplication of the same variable is standardly denoted as exponentiation with a constant nonnegative integer exponent). For example,
x^{2} + 2
x − 3 is a polynomial in the single variable
x.
An important class of problems in algebra is
factorizationIn mathematics, factorization or factoring is the decomposition of an object into a product of other objects, or factors, which when multiplied together give the original...
of polynomials, that is, expressing a given polynomial as a product of other polynomials. The example polynomial above can be factored as (
x − 1)(
x + 3). A related class of problems is finding algebraic expressions for the roots of a polynomial in a single variable.
Abstract algebra
Abstract algebra extends the familiar concepts found in elementary algebra and
arithmeticArithmetic or arithmetics is the oldest and most elementary branch of mathematics, used by almost everyone, for tasks ranging from simple daytoday counting to advanced science and business calculations. It involves the study of quantity, especially as the result of combining numbers...
of
numberA number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational numbers, irrational numbers, and complex numbers....
s to more general concepts.
Sets: Rather than just considering the different types of
numberA number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational numbers, irrational numbers, and complex numbers....
s, abstract algebra deals with the more general concept of
sets: a collection of all objects (called
elements) selected by property, specific for the set. All collections of the familiar types of numbers are sets. Other examples of sets include the set of all twobytwo
matricesIn mathematics, a matrix is a rectangular array of numbers, symbols, or expressions. The individual items in a matrix are called its elements or entries. An example of a matrix with six elements isMatrices of the same size can be added or subtracted element by element...
, the set of all seconddegree polynomials (
ax^{2} +
bx +
c), the set of all two dimensional vectors in the plane, and the various finite groups such as the
cyclic groupIn group theory, a cyclic group is a group that can be generated by a single element, in the sense that the group has an element g such that, when written multiplicatively, every element of the group is a power of g .Definition:A group G is called cyclic if there exists an element g...
s which are the group of integers
moduloIn mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" after they reach a certain value—the modulus....
n.
Set theorySet theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...
is a branch of
logicIn philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
and not technically a branch of algebra.
Binary operationIn mathematics, a binary operation is a calculation involving two operands, in other words, an operation whose arity is two. Examples include the familiar arithmetic operations of addition, subtraction, multiplication and division....
s: The notion of
additionAddition is a mathematical operation that represents combining collections of objects together into a larger collection. It is signified by the plus sign . For example, in the picture on the right, there are 3 + 2 apples—meaning three apples and two other apples—which is the same as five apples....
(+) is abstracted to give a
binary operation, ∗ say. The notion of binary operation is meaningless without the set on which the operation is defined. For two elements
a and
b in a set
S,
a ∗
b is another element in the set; this condition is called
closureIn mathematics, a set is said to be closed under some operation if performance of that operation on members of the set always produces a unique member of the same set. For example, the real numbers are closed under subtraction, but the natural numbers are not: 3 and 8 are both natural numbers, but...
.
AdditionAddition is a mathematical operation that represents combining collections of objects together into a larger collection. It is signified by the plus sign . For example, in the picture on the right, there are 3 + 2 apples—meaning three apples and two other apples—which is the same as five apples....
(+),
subtractionIn arithmetic, subtraction is one of the four basic binary operations; it is the inverse of addition, meaning that if we start with any number and add any number and then subtract the same number we added, we return to the number we started with...
(),
multiplicationMultiplication is the mathematical operation of scaling one number by another. It is one of the four basic operations in elementary arithmetic ....
(×), and
divisionrightthumb200px20 \div 4=5In mathematics, especially in elementary arithmetic, division is an arithmetic operation.Specifically, if c times b equals a, written:c \times b = a\,...
(÷) can be binary operations when defined on different sets, as is addition and multiplication of matrices, vectors, and polynomials.
Identity elementIn mathematics, an identity element is a special type of element of a set with respect to a binary operation on that set. It leaves other elements unchanged when combined with them...
s: The numbers zero and one are abstracted to give the notion of an
identity element for an operation. Zero is the identity element for addition and one is the identity element for multiplication. For a general binary operator ∗ the identity element
e must satisfy
a ∗
e =
a and
e ∗
a =
a. This holds for addition as
a + 0 =
a and 0 +
a =
a and multiplication
a × 1 =
a and 1 ×
a =
a. Not all set and operator combinations have an identity element; for example, the positive natural numbers (1, 2, 3, ...) have no identity element for addition.
Inverse elements: The negative numbers give rise to the concept of
inverse elements. For addition, the inverse of
a is −
a, and for multiplication the inverse is 1/
a. A general inverse element
a^{−1} must satisfy the property that
a ∗
a^{−1} =
e and
a^{−1} ∗
a =
e.
AssociativityIn mathematics, associativity is a property of some binary operations. It means that, within an expression containing two or more occurrences in a row of the same associative operator, the order in which the operations are performed does not matter as long as the sequence of the operands is not...
: Addition of integers has a property called associativity. That is, the grouping of the numbers to be added does not affect the sum. For example: In general, this becomes (
a ∗
b) ∗
c =
a ∗ (
b ∗
c). This property is shared by most binary operations, but not subtraction or division or octonion multiplication.
Commutativity: Addition and multiplication of real numbers are both commutative. That is, the order of the numbers does not affect the result. For example: 2+3=3+2. In general, this becomes
a ∗
b =
b ∗
a. This property does not hold for all binary operations. For example,
matrix multiplicationIn mathematics, matrix multiplication is a binary operation that takes a pair of matrices, and produces another matrix. If A is an nbym matrix and B is an mbyp matrix, the result AB of their multiplication is an nbyp matrix defined only if the number of columns m of the left matrix A is the...
and
quaternion multiplicationIn mathematics, the quaternions are a number system that extends the complex numbers. They were first described by Irish mathematician Sir William Rowan Hamilton in 1843 and applied to mechanics in threedimensional space...
are both noncommutative.
Groups
Combining the above concepts gives one of the most important structures in mathematics: a
groupIn mathematics, a group is an algebraic structure consisting of a set together with an operation that combines any two of its elements to form a third element. To qualify as a group, the set and the operation must satisfy a few conditions called group axioms, namely closure, associativity, identity...
. A group is a combination of a set
S and a single
binary operationIn mathematics, a binary operation is a calculation involving two operands, in other words, an operation whose arity is two. Examples include the familiar arithmetic operations of addition, subtraction, multiplication and division....
∗, defined in any way you choose, but with the following properties:
 An identity element e exists, such that for every member a of S, e ∗ a and a ∗ e are both identical to a.
 Every element has an inverse: for every member a of S, there exists a member a^{−1} such that a ∗ a^{−1} and a^{−1} ∗ a are both identical to the identity element.
 The operation is associative: if a, b and c are members of S, then (a ∗ b) ∗ c is identical to a ∗ (b ∗ c).
If a group is also
commutativeIn mathematics an operation is commutative if changing the order of the operands does not change the end result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it...
—that is, for any two members
a and
b of
S,
a ∗
b is identical to
b ∗
a—then the group is said to be
abelianIn abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order . Abelian groups generalize the arithmetic of addition of integers...
.
For example, the set of integers under the operation of addition is a group. In this group, the identity element is 0 and the inverse of any element
a is its negation, −
a. The associativity requirement is met, because for any integers
a,
b and
c, (
a +
b) +
c =
a + (
b +
c)
The nonzero
rational numberIn mathematics, a rational number is any number that can be expressed as the quotient or fraction a/b of two integers, with the denominator b not equal to zero. Since b may be equal to 1, every integer is a rational number...
s form a group under multiplication. Here, the identity element is 1, since 1 ×
a =
a × 1 =
a for any rational number
a. The inverse of
a is 1/
a, since
a × 1/
a = 1.
The integers under the multiplication operation, however, do not form a group. This is because, in general, the multiplicative inverse of an integer is not an integer. For example, 4 is an integer, but its multiplicative inverse is ¼, which is not an integer.
The theory of groups is studied in
group theoryIn mathematics and abstract algebra, group theory studies the algebraic structures known as groups.The concept of a group is central to abstract algebra: other wellknown algebraic structures, such as rings, fields, and vector spaces can all be seen as groups endowed with additional operations and...
. A major result in this theory is the
classification of finite simple groupsIn mathematics, the classification of the finite simple groups is a theorem stating that every finite simple group belongs to one of four categories described below. These groups can be seen as the basic building blocks of all finite groups, in much the same way as the prime numbers are the basic...
, mostly published between about 1955 and 1983, which is thought to classify all of the
finite simple groupIn mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, a normal subgroup and the quotient group, and the process can be repeated...
s into roughly 30 basic types.
Examples 
Set: 
Natural numbers N 
Integers Z 
Rational numbers Q (also real R and complex C numbers) 
Integers moduloIn mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" after they reach a certain value—the modulus.... 3: Z_{3} = {0, 1, 2} 
Operation 
+ 
× (w/o zero) 
+ 
× (w/o zero) 
+ 
− 
× (w/o zero) 
÷ (w/o zero) 
+ 
× (w/o zero) 
Closed 
Yes 
Yes 
Yes 
Yes 
Yes 
Yes 
Yes 
Yes 
Yes 
Yes 
Identity 
0 
1 
0 
1 
0 
N/A 
1 
N/A 
0 
1 
Inverse 
N/A 
N/A 
−a 
N/A 
−a 
N/A 
1/a 
N/A 
0, 2, 1, respectively 
N/A, 1, 2, respectively 
Associative 
Yes 
Yes 
Yes 
Yes 
Yes 
No 
Yes 
No 
Yes 
Yes 
Commutative 
Yes 
Yes 
Yes 
Yes 
Yes 
No 
Yes 
No 
Yes 
Yes 
Structure 
monoid In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element. Monoids are studied in semigroup theory as they are naturally semigroups with identity. Monoids occur in several branches of mathematics; for...

monoid In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element. Monoids are studied in semigroup theory as they are naturally semigroups with identity. Monoids occur in several branches of mathematics; for...

abelian group In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order . Abelian groups generalize the arithmetic of addition of integers...

monoid In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element. Monoids are studied in semigroup theory as they are naturally semigroups with identity. Monoids occur in several branches of mathematics; for...

abelian group In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order . Abelian groups generalize the arithmetic of addition of integers...

quasigroup In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible...

abelian group In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order . Abelian groups generalize the arithmetic of addition of integers...

quasigroup In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible...

abelian group In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order . Abelian groups generalize the arithmetic of addition of integers...

abelian group In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on their order . Abelian groups generalize the arithmetic of addition of integers... (Z_{2}) 
SemigroupIn mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup generalizes a monoid in that there might not exist an identity element...
s,
quasigroupIn mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible...
s, and
monoidIn abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element. Monoids are studied in semigroup theory as they are naturally semigroups with identity. Monoids occur in several branches of mathematics; for...
s are structures similar to groups, but more general. They comprise a set and a closed binary operation, but do not necessarily satisfy the other conditions. A
semigroupIn mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup generalizes a monoid in that there might not exist an identity element...
has an
associative binary operation, but might not have an identity element. A
monoidIn abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element. Monoids are studied in semigroup theory as they are naturally semigroups with identity. Monoids occur in several branches of mathematics; for...
is a semigroup which does have an identity but might not have an inverse for every element. A
quasigroupIn mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible...
satisfies a requirement that any element can be turned into any other by a unique pre or postoperation; however the binary operation might not be associative.
All groups are monoids, and all monoids are semigroups.
Rings and fields
Groups just have one binary operation. To fully explain the behaviour of the different types of numbers, structures with two operators need to be studied. The most important of these are
ringsIn mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition and a semigroup under multiplication such that multiplication distributes over addition...
, and
fieldsIn abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it is an algebraic structure with notions of addition, subtraction, multiplication, and division, satisfying certain axioms...
.
A
ringIn mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition and a semigroup under multiplication such that multiplication distributes over addition...
has two binary operations (+) and (×), with × distributive over +. Under the first operator (+) it forms an
abelian group. Under the second operator (×) it is associative, but it does not need to have identity, or inverse, so division is not required. The additive (+) identity element is written as 0 and the additive inverse of
a is written as −
a.
DistributivityIn mathematics, and in particular in abstract algebra, distributivity is a property of binary operations that generalizes the distributive law from elementary algebra.For example:...
generalises the
distributive law for numbers, and specifies the order in which the operators should be applied, (called the
precedenceIn mathematics and computer programming, the order of operations is a rule used to clarify unambiguously which procedures should be performed first in a given mathematical expression....
). For the integers and and × is said to be
distributive over +.
The integers are an example of a ring. The integers have additional properties which make it an
integral domain.
A
fieldIn abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it is an algebraic structure with notions of addition, subtraction, multiplication, and division, satisfying certain axioms...
is a
ring with the additional property that all the elements excluding 0 form an
abelian group under ×. The multiplicative (×) identity is written as 1 and the multiplicative inverse of
a is written as
a^{−1}.
The rational numbers, the real numbers and the complex numbers are all examples of fields.
Objects called algebras
The word
algebra is also used for various algebraic structures:
 Algebra over a field
In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it isan algebraic structure consisting of a vector space together with an operation, usually called multiplication, that combines any two vectors to form a third vector; to qualify as...
or more generally Algebra over a ringIn mathematics, specifically in ring theory, an algebra over a commutative ring is a generalization of the concept of an algebra over a field, where the base field K is replaced by a commutative ring R....
 Algebra over a set
 Boolean algebra
 Heyting algebra
In mathematics, a Heyting algebra, named after Arend Heyting, is a bounded lattice equipped with a binary operation a→b of implication such that ∧a ≤ b, and moreover a→b is the greatest such in the sense that if c∧a ≤ b then c ≤ a→b...
 Falgebra
In mathematics, specifically in category theory, an Falgebra is a structure defined according to a functor F. Falgebras can be used to represent data structures used in programming, such as lists and trees...
and FcoalgebraIn mathematics, specifically in category theory, an Fcoalgebra is a structure defined according to a functor F. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature...
in category theoryCategory theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows , where these collections satisfy certain basic conditions...
 Relational algebra
Relational algebra, an offshoot of firstorder logic , deals with a set of finitary relations that is closed under certain operators. These operators operate on one or more relations to yield a relation...
 Sigmaalgebra
In mathematics, a σalgebra is a technical concept for a collection of sets satisfying certain properties. The main use of σalgebras is in the definition of measures; specifically, the collection of sets over which a measure is defined is a σalgebra...
 TAlgebras of monads
In category theory, a branch of mathematics, a monad, Kleisli triple, or triple is an functor, together with two natural transformations...
.
External links
 4000 Years of Algebra, lecture by Robin Wilson, at Gresham College
Gresham College is an institution of higher learning located at Barnard's Inn Hall off Holborn in central London, England. It was founded in 1597 under the will of Sir Thomas Gresham and today it hosts over 140 free public lectures every year within the City of London.History:Sir Thomas Gresham,...
, October 17, 2007 (available for MP3 and MP4 download, as well as a text file).