In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures.
Algebraic structures include groups, rings, fields, modules, , lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning.Algebraic structures, with their associated , form mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures.
Universal algebra is a related subject that studies types of algebraic structures as single objects. For example, the structure of groups is a single object in universal algebra, which is called the variety of groups.
George Peacock's 1830 Treatise of Algebra was the first attempt to place algebra on a strictly symbolic basis. He distinguished a new symbolical algebra, distinct from the old arithmetical algebra. Whereas in arithmetical algebra $a\; \; b$ is restricted to $a\; \backslash geq\; b$, in symbolical algebra all rules of operations hold with no restrictions. Using this Peacock could show laws such as $(a)(b)\; =\; ab$, by letting $a=0,c=0$ in $(a\; \; b)(c\; \; d)=ac\; +\; bd\; \; ad\; \; bc$. Peacock used what he termed the principle of the permanence of equivalent forms to justify his argument, but his reasoning suffered from the problem of induction. For example, $\backslash sqrt\{a\}\; \backslash sqrt\{b\}\; =\; \backslash sqrt\{ab\}$ holds for the nonnegative , but not for general .
The abstract concept of group emerged slowly over the middle of the nineteenth century. Galois in 1832 was the first to use the term “group”, signifying a collection of permutations closed under composition. Arthur Cayley's 1854 paper On the theory of groups defined a group as a set with an associative composition operation and the identity 1, today called a monoid. In 1870 Kronecker defined an abstract binary operation that was closed, commutative, associative, and had the left cancellation property $b\backslash neq\; c\; \backslash to\; a\backslash cdot\; b\backslash neq\; a\backslash cdot\; c$, similar to the modern laws for a finite abelian group. Weber's 1882 definition of a group was a closed binary operation that was associative and had left and right cancellation. Walther von Dyck in 1882 was the first to require inverse elements as part of the definition of a group.
Once this abstract group concept emerged, results were reformulated in this abstract setting. For example, Sylow's theorem was reproven by Frobenius in 1887 directly from the laws of a finite group, although Frobenius remarked that the theorem followed from Cauchy's theorem on permutation groups and the fact that every finite group is a subgroup of a permutation group. Otto Hölder was particularly prolific in this area, defining quotient groups in 1889, group automorphisms in 1893, as well as simple groups. He also completed the Jordan–Hölder theorem. Dedekind and Miller independently characterized Hamiltonian groups and introduced the notion of the commutator of two elements. Burnside, Frobenius, and Molien created the representation theory of finite groups at the end of the nineteenth century. J. A. de Séguier's 1904 monograph Elements of the Theory of Abstract Groups presented many of these results in an abstract, general form, relegating "concrete" groups to an appendix, although it was limited to finite groups. The first monograph on both finite and infinite abstract groups was O. K. Schmidt's 1916 Abstract Theory of Groups.
Once there were sufficient examples, it remained to classify them. In an 1870 monograph, Benjamin Peirce classified the more than 150 hypercomplex number systems of dimension below 6, and gave an explicit definition of an associative algebra. He defined nilpotent and idempotent elements and proved that any algebra contains one or the other. He also defined the Peirce decomposition. Frobenius in 1878 and Charles Sanders Peirce in 1881 independently proved that the only finitedimensional division algebras over $\backslash mathbb\{R\}$ were the real numbers, the complex numbers, and the quaternions. In the 1880s Killing and Cartan showed that semisimple could be decomposed into simple ones, and classified all simple Lie algebras. Inspired by this, in the 1890s Cartan, Frobenius, and Molien proved (independently) that a finitedimensional associative algebra over $\backslash mathbb\{R\}$ or $\backslash mathbb\{C\}$ uniquely decomposes into the direct sums of a nilpotent algebra and a semisimple algebra that is the product of some number of , square matrices over division algebras. Cartan was the first to define concepts such as direct sum and simple algebra, and these concepts proved quite influential. In 1907 Wedderburn extended Cartan's results to an arbitrary field, in what are now called the Wedderburn principal theorem and Artin–Wedderburn theorem.
For commutative rings, several areas together led to commutative ring theory. In two papers in 1828 and 1832, Gauss formulated the and showed that they form a unique factorization domain (UFD) and proved the biquadratic reciprocity law. Jacobi and Eisenstein at around the same time proved a cubic reciprocity law for the Eisenstein integers. The study of Fermat's last theorem led to the algebraic integers. In 1847, Gabriel Lamé thought he had proven FLT, but his proof was faulty as he assumed all the were UFDs, yet as Kummer pointed out, $\backslash mathbb\{Q\}(\backslash zeta\_\{23\}))$ was not a UFD. In 1846 and 1847 Kummer introduced and proved unique factorization into ideal primes for cyclotomic fields. Dedekind extended this in 1971 to show that every nonzero ideal in the domain of integers of an algebraic number field is a unique product of , a precursor of the theory of . Overall, Dedekind's work created the subject of algebraic number theory.
In the 1850s, Riemann introduced the fundamental concept of a Riemann surface. Riemann's methods relied on an assumption he called Dirichlet's principle, which in 1870 was questioned by Weierstrass. Much later, in 1900, Hilbert justified Riemann's approach by developing the direct method in the calculus of variations., citing In the 1860s and 1870s, Clebsch, Gordan, Brill, and especially Max Noether studied algebraic functions and curves. In particular, Noether studied what conditions were required for a polynomial to be an element of the ideal generated by two algebraic curves in the polynomial ring $\backslash mathbb\{R\}x,$, although Noether did not use this modern language. In 1882 Dedekind and Weber, in analogy with Dedekind's earlier work on algebraic number theory, created a theory of algebraic function fields which allowed the first rigorous definition of a Riemann surface and a rigorous proof of the Riemann–Roch theorem. Kronecker in the 1880s, Hilbert in 1890, Lasker in 1905, and Macauley in 1913 further investigated the ideals of polynomial rings implicit in Emmy Noether's work. Lasker proved a special case of the LaskerNoether theorem, namely that every ideal in a polynomial ring is a finite intersection of . Macauley proved the uniqueness of this decomposition. Overall, this work led to the development of algebraic geometry.
In 1801 Gauss introduced binary quadratic forms over the integers and defined their equivalence. He further defined the discriminant of these forms, which is an invariant of a binary form. Between the 1860s and 1890s invariant theory developed and became a major field of algebra. Cayley, Sylvester, Gordan and others found the Jacobian and the Hessian matrix for binary quartic forms and cubic forms. In 1868 Gordan proved that the graded algebra of invariants of a binary form over the complex numbers was finitely generated, i.e., has a basis. Hilbert wrote a thesis on invariants in 1885 and in 1890 showed that any form of any degree or number of variables has a basis. He extended this further in 1890 to Hilbert's basis theorem.
Once these theories had been developed, it was still several decades until an abstract ring concept emerged. The first axiomatic definition was given by Abraham Fraenkel in 1914. His definition was mainly the standard axioms: a set with two operations addition, which forms a group (not necessarily commutative), and multiplication, which is associative, distributes over addition, and has an identity element.Frankel, A. (1914) "Über die Teiler der Null und die Zerlegung von Ringen". J. Reine Angew. Math. 145: 139–176 In addition, he had two axioms on "regular elements" inspired by work on the Padic number, which excluded nowcommon rings such as the ring of integers. These allowed Fraenkel to prove that addition was commutative. Fraenkel's work aimed to transfer Steinitz's 1910 definition of fields over to rings, but it was not connected with the existing work on concrete systems. Masazo Sono's 1917 definition was the first equivalent to the present one.
In 1920, Emmy Noether, in collaboration with W. Schmeidler, published a paper about the ideal theory in which they defined left and right ideals in a ring. The following year she published a landmark paper called Idealtheorie in Ringbereichen ( Ideal theory in rings'), analyzing ascending chain conditions with regard to (mathematical) ideals. The publication gave rise to the term "Noetherian ring", and several other mathematical objects being called Noetherian., p. 44–45. Noted algebraist Irving Kaplansky called this work "revolutionary"; results which seemed inextricably connected to properties of polynomial rings were shown to follow from a single axiom. Artin, inspired by Noether’s work, came up with the descending chain condition. These definitions marked the birth of abstract ring theory.
These processes were occurring throughout all of mathematics, but became especially pronounced in algebra. Formal definition through primitive operations and axioms were proposed for many basic algebraic structures, such as groups, rings, and fields. Hence such things as group theory and ring theory took their places in pure mathematics. The algebraic investigations of general fields by Ernst Steinitz and of commutative and then general rings by David Hilbert, Emil Artin and Emmy Noether, building up on the work of Ernst Kummer, Leopold Kronecker and Richard Dedekind, who had considered ideals in commutative rings, and of Georg Frobenius and Issai Schur, concerning representation theory of groups, came to define abstract algebra. These developments of the last quarter of the 19th century and the first quarter of 20th century were systematically exposed in Bartel van der Waerden's Moderne Algebra, the twovolume monograph published in 1930–1931 that forever changed for the mathematical world the meaning of the word algebra from the theory of equations to the theory of algebraic structures.
Examples of algebraic structures with a single binary operation are:
Examples involving several operations include:
Identity: there exists an element $e$ such that, for each element $a$ in $G$, it holds that $e\; \backslash cdot\; a\; =\; a\; \backslash cdot\; e\; =\; a$.
Inverse: for each element $a$ of $G$, there exists an element $b$ so that $a\; \backslash cdot\; b\; =\; b\; \backslash cdot\; a\; =\; e$.
Associativity: for each triplet of elements $a,b,c$ in $G$, it holds that $(a\; \backslash cdot\; b)\; \backslash cdot\; c\; =\; a\; \backslash cdot\; (b\; \backslash cdot\; c)$.
Addition: $R$ is a commutative group under addition.
Multiplication: $R$ is a monoid under multiplication.
Distributive: Multiplication is distributive law with respect to addition.
In physics, groups are used to represent symmetry operations, and the usage of group theory could simplify differential equations. In gauge theory, the requirement of local symmetry can be used to deduce the equations describing a system. The groups that describe those symmetries are , and the study of Lie groups and Lie algebras reveals much about the physical system; for instance, the number of in a theory is equal to the dimension of the Lie algebra, and these interact with the force they mediate if the Lie algebra is nonabelian.

