History of Algebra
A Brief History of Algebra with a Focus on the Distributive Law and Semiring Theory
Abstract. In this note, we investigate the history of algebra briefly. Since we are particularly interested in ring-like algebraic structures, we focus on the history of rings, semirings, and distributive law.
"I am sure that no subject loses more than mathematics by any attempt to dissociate it from its history." - J. W. L. Glaisher (1848--1928), English mathematician
"One can conceive history as an argument without end." - Pieter Catharinus Arie Geijl (1887--1966), Dutch historian
Etymology of Algebra
The word "algebra" is derived from the Arabic word Al-Jabr, and this comes from the treatise written in 820 by the medieval Persian mathematician, Muhammad ibn Musa al-Khwarizmi, entitled, in Arabic "Kitab al-mukhtasar fi hisab al-gabr wa-'l-muqabala", which can be translated as "The Compendious Book on Calculation by Completion and Balancing".
One may consider the history of algebra to have two main stages, i.e., "classical algebra" mostly was devoted to solving the (polynomial) equations, and "abstract algebra", also called "modern algebra" which is all about the study of algebraic structures, something that today algebraists do.
Classical Algebra. Classical algebra can be divided into three substages:
(a) In the very early stages of algebra, concepts of algebra were geometric, proposed by the Babylonians apparently and developed by the Greeks and later revived by Persian mathematician Omar Khayyam (1048--1131) since the main purpose of Khayyam in this matter was to solve the cubic equations with intersecting conics.
(b) The main step of passing from this substage to the substage of equation-solving was taken by Persian mathematician al-Khwarizmi (c.780--c.850) in his treatise Al-Jabr who gives a detailed account of solving polynomials up to the second degree.
(c) While the mathematical notion of a function was implicit in trigonometric tables, apparently the idea of a function was proposed by the Persian mathematician Sharaf al-Din al-Tusi (died 1213/4), though his approach was not very explicit, perhaps because of this point that dealing with functions without symbols is very difficult. Anyhow algebra did not decisively move to the dynamic function substage until the German mathematician Gottfried Leibniz (1646--1716).
One may also view the history of the development of classical algebra from another perspective namely passing from rhetorical substage to full symbolic substage. According to this view, the history of algebra is divided into three substages through the development of symbolism: 1. Rhetorical algebra, 2. Syncopated algebra, and 3. Symbolic algebra.
(1) In rhetorical algebra all equations are written in full sentences, but in symbolic algebra, full symbolism is used, the method that we do today. So far as we know, rhetorical algebra was first developed by the ancient Babylonians and was developed up to the 16th century.
(2) Syncopated algebra used some symbolism but not as full as symbolic algebra. It is said that syncopated algebraic expression first appeared in the book Arithmetica by the ancient Greek mathematician Diophantus (born sometime between AD 201 and 215 and pasmostlysed away sometime between AD 285 and 299) and was continued in the book Brahma Sphuta Siddhanta by the ancient Indian mathematician Brahmagupta (598--c.670 CE).
(3) The full symbolism can be seen in the works of the French mathematician, Rene Descartes (1596--1650), though early steps of symbolic algebra were taken by Moroccan mathematician Ibn al-Banna al-Marakushi (1256--c.1321) and Andalusian mathematician Abu al-Hasan al-Qalasadi (1412--1486).
Modern Algebra. The transition of algebra from the "classical" to the "modern" form occurred in about the middle of the 19th century when mathematicians noticed that classical tools are not enough to solve their problems. During the time of classical algebra in the Renaissance, Italian mathematician Gerolamo Cardano (1501--1576) found the solution to the equations of degree 3, and another Italian mathematician Lodovico Ferrari (1522--1565) solved equations of degree 4, but, then, it was the Italian mathematician and philosopher Paolo Ruffini (1765--1822) and later the Norwegian mathematician Niels Henrik Abel (1802--1829) who used abstract algebra techniques to show that equations of degree 5 and of higher than degree 5 are not always solvable using radicals (known as Abel-Ruffini theorem). Finally, the French mathematician Evariste Galois (1811--1832) used group theory techniques to give a criterion for deciding if an equation is solvable using radicals. Anyhow though the British mathematician Arthur Cayley (1821--1895) was the first who gave the abstract definition of a finite group, the English mathematician George Boole (1815--1864), in his book with the title Mathematical Analysis of Logic, was most probably the first who formulated an example of a non-numerical algebra, a formal system, which can be investigated without explicit resource to their intended interpretations. It is also good to mention that the first statement of the modern definition of an abstract group was given by the German mathematician Walther Franz Anton von Dyck (1856--1934).
A Brief History of the Distributive Law
An algebraic structure on a set (called an underlying set or carrier set) is essentially a collection of finitary operations on it. Since ring-like structures have two binary operations, often called addition and multiplication, with multiplication distributing over addition and the algebraic structure "semiring'' is one of them, we continue this note by discussing the history of distributive law in mathematics briefly.
The distributive law, in mathematics, is the law relating the operations of multiplication and addition, stated symbolically:
a(b + c) = ab + ac
Ancient Greeks were aware of this law. The first six books of Elements presented the rules and techniques of plane geometry. Book I included theorems about congruent triangles, constructions using a ruler and compass, and the proof of the Pythagorean theorem about the lengths of the sides of a right triangle. Book II presented geometric versions of the distributive law
a(b + c + d) = ab + ac + ad
and formulas about squares.
Apart from arithmetic, the distributive law had been noticed, years before the birth of abstract algebra, by the inventors of symbolic methods in calculus. While the first use of the name distributive operation is generally credited to the French mathematician Francois-Joseph Servois (1768--1847), the Scottish mathematician Duncan Farquharson Gregory (1813--1844), who wrote a paper in 1839 entitled "On the Real Nature of Symbolical Algebra", brought out clearly the commutative and distributive laws.
Boole in his book entitled "Mathematical Analysis of Logic" mentioned this law by giving the name distributive to it and since he was, most probably, the first who formulated an example of a non-numerical algebra, one may consider him the first mathematician who used this law in abstract algebra. Some years later, Cayley, in a paper entitled "A Memoir on the Theory of Matrices", showed that the multiplication of matrices is associative and distributes over their finite addition.
The distributive law appeared naturally in ring-like structures as well. Though the first axiomatic definition of a ring was given by the German mathematician Abraham Halevi (Adolf) Fraenkel (1891--1965) and he did mention the phrase "the distributive law'' (in German "die distributiven Gesetze"), his axioms were stricter than those in the modern definition. Actually, the German mathematician Emmy Noether (1882--1935) who proposed the first axiomatic modern definition of (commutative) rings in her paper entitled "Idealtheorie in Ringbereichen", did also mention the phrase "Dem distributiven Gesetz" among others such as "Dem assoziativen Gesetz" and "Dem kommutativen Gesetz".
A Brief History of Semirings
The most familiar examples of semirings in classical algebra are the semiring of nonnegative integers or the semiring of nonnegative real numbers. The first examples of semirings in modern algebra appeared in the works of the German mathematician Richard Dedekind (1831--1916), when he worked on the algebra of the ideals of rings. In point of fact, it was Dedekind who proposed the concept of ideals in his earlier works on number theory, as a generalization of the concept of "ideal numbers" developed by the German mathematician Ernst Kummer (1810--1893). Others such as the English mathematician Francis Sowerby Macaulay (1862--1937) and the German mathematicians Emanuel Lasker (1868--1941), Emmy Noether (1882--1935), Wolfgang Krull (1899--1971), and Paul Lorenzen (1915--1994) also studied the algebra of ideals of rings. Semirings appeared implicitly in the works of the German mathematician David Hilbert (1862--1943) and the American mathematician Edward Vermilye Huntington (1874--1952) in connection with the axiomatization of the natural and nonnegative rational numbers. But, then, it was the American mathematician Harry Schultz Vandiver (1882--1973) who used the term "semi-ring" in his 1934 paper entitled "Note on a simple type of algebra in which cancellation law of addition does not hold" for introducing an algebraic structure with two operations of addition and multiplication such that multiplication distributes on addition, while cancellation law of addition does not hold. The foundations of algebraic theory for semirings were laid by Samuel Bourne and others in the l950s. For example, the concept of ideals for semirings was introduced by Samuel Bourne. In the years between 1939 and 1956, Vandiver published at least six more papers on semirings, but it seems he was not successful to draw the attention of mathematicians to consider semirings as an independent algebraic structure that is worth to be developed. In fact, semirings, as most of the other concepts in mathematics, were not developed as an exercise for generalization, only for the sake of generalization! Actually, in the late 1960s, semirings were considered a more serious topic by researchers when real applications were found for them. The Polish-born American mathematician Samuel Eilenberg (1913--1998) and a couple of other mathematicians started developing formal languages and automata theory systematically, which they have strong connections to semirings. Since then many mathematicians and computer scientists have broadened the theory of semirings and related structures. Definitely, the reference books on semirings and other ring-like algebraic structures have helped to the popularity of these rather new algebraic structures. Today many journals specializing in algebra have editors who are responsible for semirings. Semirings not only have significant applications in different fields such as automata theory in theoretical computer science, (combinatorial) optimization theory, and generalized fuzzy computation, but are fairly interesting generalizations of two broadly studied algebraic structures, i.e., rings and bounded distributive lattices. The number of publications in the field of semiring theory, the beauty of the semirings, and their broad applications in different areas of science should convince us that today semiring theory is an established one and its development, even in pure mathematics, is valuable and important.
Acknowledgments. The author's main interests in algebra are in commutative algebra and semiring theory. It is a pleasure to thank both Professor Dara Moazzami and Professor Winfried Bruns to help and encourage the author in order to work on these fields of algebra.
The PDF format of the article with a full list of references is available here: