Fact-checked by Grok 2 weeks ago

Abstract algebra

Abstract algebra is a major branch of modern mathematics that studies algebraic structures—such as groups, rings, fields, modules, and vector spaces—through an axiomatic approach, focusing on their general properties rather than specific numerical computations.^[1] This discipline abstracts the operations of arithmetic, like addition and multiplication, to define broader systems where elements interact according to specified rules, enabling the analysis of symmetries and patterns in diverse mathematical contexts.^[2] Originating in the early 19th century from efforts to solve polynomial equations and understand equation solvability, abstract algebra evolved into a foundational tool for modern mathematics by the late 19th and early 20th centuries, with key contributions from mathematicians like Évariste Galois on group theory and Emmy Noether on ring theory.^[3] The field formalizes intuitive notions of symmetry, quantifying how objects remain invariant under transformations, which underpins applications in physics, chemistry, computer science, and engineering.^[4] For instance, group theory classifies symmetries in geometric figures and molecular structures, while ring and field theories support error-correcting codes in data transmission and cryptographic protocols for information security.^[3] Abstract algebra's emphasis on proofs and structural theorems distinguishes it from elementary algebra, promoting rigorous reasoning about existence, uniqueness, and relationships among solutions in algebraic systems.^[1] Central topics include homomorphisms, isomorphisms, and classification theorems, which reveal deep connections across mathematics, from number theory to algebraic geometry.^[4]

Historical Development

Ancient and Elementary Algebra

Algebraic thinking originated in ancient civilizations, where practical problems in land measurement, commerce, and astronomy necessitated methods for solving equations. In Mesopotamia, particularly during the Old Babylonian period around 1800 BCE, scribes developed techniques to solve quadratic equations through geometric interpretations rather than symbolic notation. For instance, clay tablets such as YBC 7289 demonstrate solutions to problems like finding lengths and areas, employing a step-by-step process equivalent to the quadratic formula, often involving the construction of rectangles and squares to represent unknowns.^[5] These methods treated equations verbally, with coefficients described numerically, laying early groundwork for algebraic manipulation.^[6] In ancient Egypt, around 1650 BCE, the Rhind Mathematical Papyrus (also known as the Ahmes Papyrus) records practical algebraic problems, primarily linear equations solved via the method of false position, but it also hints at quadratic approaches through area calculations. The Moscow Mathematical Papyrus extends this to more explicit quadratic problems, such as determining dimensions of fields with given areas and perimeters, using iterative geometric adjustments.^[7] Greek mathematicians in the classical period, building on these influences, advanced algebraic ideas through geometry. Euclid's Elements (circa 300 BCE), particularly Book II, presents the method of completing the square geometrically: to solve x^2 + bx = c, one constructs a square of side x + \frac{b}{2}, effectively transforming the equation into a visual proof of the roots.^[5] This approach emphasized proportions and constructions, avoiding numerical algebra but providing rigorous deductive foundations.^[8] Later, in the Hellenistic period, Diophantus of Alexandria (c. 200–284 CE) advanced algebraic methods in his Arithmetica, using syncopated notation with abbreviations for powers and operations to solve indeterminate equations up to the sixth degree, marking a significant step toward symbolic algebra and influencing later number theory.^[9] Indian mathematics in the 7th century CE marked significant progress in handling numbers abstractly. Brahmagupta, in his Brahmasphutasiddhanta (628 CE), introduced systematic rules for arithmetic operations involving zero—defining it as neither positive nor negative—and negative numbers, treating them as debts in contrast to fortunes.^[10] He provided explicit formulas for solving linear and quadratic equations, including the general quadratic ax^2 + bx = c, with the positive solution x = \frac{ \sqrt{b^2 + 4ac} - b }{2a}, derived algebraically rather than geometrically.^[11] These innovations enabled more versatile problem-solving in astronomy and commerce, bridging numerical computation with equation theory.^[12] The Islamic Golden Age saw further systematization of algebra. Muhammad ibn Musa al-Khwarizmi, in his treatise Al-Kitab al-Mukhtasar fi Hisab al-Jabr wal-Muqabala (c. 820 CE), established algebra as a distinct discipline, providing geometric methods to solve linear and quadratic equations through completion of the square and balancing (al-jabr). His work introduced systematic classification of equation types and the term "algebra," influencing European mathematics via translations.^[13] During the Renaissance, European mathematicians tackled higher-degree equations, culminating in solutions for cubics. In the 1530s, Niccolò Tartaglia discovered a general method for depressed cubics of the form x^3 + px + q = 0, using a substitution to reduce it to a solvable form involving cube roots.^[5] Gerolamo Cardano, building on Tartaglia's unpublished work and contributions from Scipione del Ferro, derived and published the full cubic formula in Ars Magna (1545), expressing roots as

x = \sqrt{{grok:render&&&type=render_inline_citation&&&citation_id=3&&&citation_type=wikipedia}}{-\frac{q}{2} + \sqrt{(\frac{q}{2})^2 + (\frac{p}{3})^3}} + \sqrt{{grok:render&&&type=render_inline_citation&&&citation_id=3&&&citation_type=wikipedia}}{-\frac{q}{2} - \sqrt{(\frac{q}{2})^2 + (\frac{p}{3})^3}}

.^[14] This derivation involved clever substitutions and revealed the necessity of complex numbers for real roots in some cases, expanding algebraic horizons beyond quadratics.^[15] The transition to symbolic algebra occurred in the late 16th century with François Viète, whose In artem analyticam isagoge (1591) introduced letters as variables and parameters, treating coefficients as unknowns in homogeneous polynomials. For example, he represented equations like A \times B = E where A and B are variables (vowels) and E a known quantity (consonant), ensuring homogeneity by scaling degrees to match geometric magnitudes. This notation allowed general solutions to polynomials, decoupling algebra from specific numbers and paving the way for abstraction. These early symmetries in equation solutions foreshadowed later developments in group theory.^[16]

19th-Century Foundations

In the early 19th century, the quest to determine the solvability of polynomial equations by radicals spurred foundational developments in abstract algebra. Niels Henrik Abel's 1824 proof demonstrated that the general quintic equation, of degree five, cannot be solved using radicals, building on earlier attempts and linking the problem to extensions of the rational numbers. This result highlighted limitations in algebraic methods and motivated deeper investigations into field extensions, where adjoining roots creates larger fields that may or may not preserve solvability properties.^[17] Évariste Galois extended Abel's insights in the 1830s by associating polynomial equations with groups of permutations of their roots, introducing the concept of the Galois group to analyze solvability.^[18] Galois showed that a polynomial is solvable by radicals if and only if its Galois group possesses a specific structure allowing stepwise reduction through subgroups, and he identified normal subgroups as key to this decomposition.^[19] Concurrently, Augustin-Louis Cauchy contributed to early group theory by studying permutation groups in the 1810s and 1820s, formalizing them as sets of permutations closed under composition, associative, with identity and inverses—laying groundwork for the modern group definition that Galois refined in the context of equation solvability.^[20] In number theory, Carl Friedrich Gauss's investigation of quadratic forms in the early 1800s led to the study of Gaussian integers, complex numbers of the form a + bi where a and b are integers, forming a structure closed under addition and multiplication with unique factorization into primes.^[21] This work prefigured ring concepts by demonstrating how such domains extend the integers while preserving arithmetic properties essential for solving Diophantine equations.^[22] Ernst Kummer advanced these ideas in the 1840s while tackling Fermat's Last Theorem, proving that for certain primes, the ring of integers in cyclotomic fields lacks unique factorization, prompting his introduction of ideal numbers as abstract divisors to restore it.^[23] Kummer's ideal theory established unique factorization domains in these contexts, enabling partial resolutions of Fermat's conjecture for regular primes and influencing the development of algebraic number theory.^[24]

20th-Century Unification

The publication of David Hilbert's Zahlbericht (Report on the Theory of Algebraic Number Fields) in 1897 marked a pivotal moment whose influence extended deeply into the 20th century, systematizing the concepts of ideals and Dedekind domains in algebraic number theory and laying groundwork for broader abstract algebraic unification. Hilbert's work emphasized unique factorization in ideals and the structure of rings of integers, providing a rigorous framework that shifted focus from specific number fields to general properties of algebraic structures, influencing subsequent axiomatic developments. In the 1920s, Emmy Noether advanced ring theory through her seminal paper Idealtheorie in Ringbereichen (1921), where she introduced the ascending chain condition on ideals, defining what are now known as Noetherian rings, and the descending chain condition, leading to Artinian rings.^[25] These chain conditions provided tools for analyzing ideal decompositions and ring finiteness, transforming the ad-hoc study of specific rings into a general theory applicable across algebra. Noether and collaborators, including Emil Artin, further developed general ring and module theory during this period, abstracting ideals as key elements and viewing modules as generalizations of vector spaces over rings, which unified disparate algebraic phenomena under a cohesive axiomatic lens.^[26] Landmark textbooks solidified this unification in the early to mid-20th century. Bartel van der Waerden's Moderne Algebra (1930–1931) was the first systematic graduate text to present abstract algebra through axiomatic definitions of groups, rings, fields, and modules, drawing directly from the Göttingen school and standardizing the field's core concepts for pedagogy and research. Similarly, Emil Artin's Galois Theory (1944), based on his 1942 Notre Dame lectures, axiomatized field extensions and Galois groups, integrating them into the broader abstract framework and emphasizing isomorphisms and solvability by radicals.^[27] Precursors to homological algebra emerged in the 1940s through the work of Henri Cartan and Samuel Eilenberg, who introduced exact sequences as tools to study algebraic invariants and relations between modules and complexes, bridging ring theory with topology and foreshadowing derived functors. Their collaboration formalized these sequences in contexts like group cohomology, providing a method to quantify exactness in chain complexes and unifying algebraic structures via homological methods that would dominate later 20th-century developments.

Fundamental Concepts

Algebraic Structures

In universal algebra, an algebraic structure is defined as a pair consisting of a nonempty set A together with a collection F of finitary operations on A, where each operation has a specified finite arity, and the structure satisfies a set of axioms expressed as identities between terms built from these operations.^[28] These axioms ensure that the operations behave consistently, allowing the study of properties that hold across diverse concrete realizations. A basic case arises with a single binary operation \cdot: A \times A \to A, which forms a magma, the most general such structure with no additional axioms required beyond closure under the operation.^[29] Building on magmas, further axioms introduce more specific structures. A semigroup is a magma where the binary operation is associative, satisfying (x \cdot y) \cdot z = x \cdot (y \cdot z) for all x, y, z \in A.^[30] Adding an identity element e \in A such that e \cdot x = x \cdot e = x for all x \in A yields a monoid, combining associativity and the existence of a two-sided unit.^[30] For example, the natural numbers \mathbb{N} (including 0) under addition form a monoid, with the operation being associative and 0 serving as the identity.^[30] More generally, structures may involve multiple operations; the integers \mathbb{Z} equipped with both addition and multiplication illustrate a setup with two binary operations, where addition yields a monoid structure (with identity 0) and multiplication interacts via distributivity, though full details of such interactions belong to ring theory.^[31] The motivation for studying these structures lies in abstracting properties from concrete number systems, such as the integers or rationals, to identify and generalize algebraic behaviors like associativity or commutativity that transcend specific numerical contexts.^[32] This abstraction enables the exploration of universal patterns, as seen in free structures that embody minimal realizations satisfying given axioms. For instance, the free monoid on a set S consists of all finite words (sequences) over S, with concatenation as the operation and the empty word as identity, satisfying a universal property: any map from S to another monoid extends uniquely to a monoid homomorphism from the free monoid to that monoid.^[33] Similarly, the free group generated by S comprises reduced words over S and their formal inverses under concatenation, providing the "freest" group with S as generators and possessing an analogous universal mapping property for group homomorphisms.^[34] These free constructions highlight how algebraic structures capture essential relations without imposed relations beyond the axioms.^[35]

Homomorphisms and Isomorphisms

In abstract algebra, a homomorphism is a function between two algebraic structures that preserves the operations defining those structures. For instance, given two groups (G, \cdot) and (H, *), a homomorphism \phi: G \to H satisfies \phi(a \cdot b) = \phi(a) * \phi(b) for all a, b \in G.^[36] This notion extends to other structures, such as rings, where a ring homomorphism \phi: R \to S preserves both addition and multiplication: \phi(a + b) = \phi(a) + \phi(b) and \phi(a b) = \phi(a) \phi(b), along with mapping the multiplicative identity.^[37] The kernel of a homomorphism \phi: A \to B between algebraic structures A and B is the preimage of the identity element in B, denoted \ker \phi = \{ a \in A \mid \phi(a) = e_B \}. This kernel forms a normal substructure of A, meaning it is a substructure that is invariant under conjugation or similar operations appropriate to the structure type, such as a normal subgroup in groups or an ideal in rings.^[36] The image of \phi, denoted \operatorname{im} \phi = \{ \phi(a) \mid a \in A \}, is a substructure of B that inherits the operations from B.^[37] A fundamental result linking these concepts is the First Isomorphism Theorem, which states that for a homomorphism \phi: A \to B between algebraic structures of the same type, the quotient structure A / \ker \phi is isomorphic to the image \operatorname{im} \phi. This theorem provides a general mechanism to identify quotient structures with substructures arising from mappings, without relying on specific proofs for individual branches like groups or rings.^[36]^[37] An isomorphism is a bijective homomorphism, meaning it is both injective and surjective while preserving the structure's operations. Two algebraic structures are isomorphic if there exists an isomorphism between them, indicating they are structurally equivalent despite possibly differing in their elements or presentation.^[36] This equivalence captures the idea that the structures behave identically under their operations. Endomorphisms are homomorphisms from a structure to itself, while automorphisms are the isomorphisms from a structure to itself, forming the automorphism group \operatorname{Aut}(A) under composition. A notable example of automorphisms arises in group theory as inner automorphisms, where for a group G and element g \in G, the map \phi_g: G \to G defined by \phi_g(h) = g h g^{-1} is an automorphism, reflecting symmetries induced by conjugation within the group.^[37]

Substructures and Quotients

In abstract algebra, a substructure of an algebraic structure is a subset that inherits the operations and satisfies the defining axioms, thereby forming an algebraic structure of the same type. For instance, in a group G, a subgroup H is a nonempty subset closed under the group operation, containing the identity element, and closed under inverses. To verify a subset is a subgroup, the one-step subgroup test requires closure under the operation for finite subsets, while the two-step test checks closure under the operation and inverses for general cases. An example is the set of even integers $2\mathbb{Z} = \{\dots, -4, -2, 0, 2, 4, \dots\}, which forms a subgroup of the integers \mathbb{Z} under addition, as the sum of even integers is even, the identity 0 is even, and the additive inverse of an even integer is even. In rings, analogous substructures include subrings and ideals. A subring of a ring R is an additive subgroup closed under multiplication. An ideal I of R is an additive subgroup such that for all r \in R and i \in I, both ri and ir lie in I, enabling absorption of ring elements. Quotient constructions simplify structures by factoring out substructures, but require "normal" substructures to ensure well-defined operations. In groups, a normal subgroup N of G satisfies gNg^{-1} = N for all g \in G, or equivalently, left and right cosets coincide. The quotient group G/N consists of the cosets \{gN \mid g \in G\}, with the induced operation (gN)(hN) = (gh)N, which is associative and inherits the identity N and inverses g^{-1}N. For the example of \mathbb{Z} and $2\mathbb{Z}, since \mathbb{Z} is abelian all subgroups are normal, yielding the quotient \mathbb{Z}/2\mathbb{Z} \cong \mathbb{Z}_2, the cyclic group of order 2 under addition modulo 2. In rings, ideals play the role of normal subgroups, allowing the quotient ring R/I with cosets as elements and induced addition and multiplication. The collection of substructures within an algebraic structure, ordered by inclusion, forms a lattice: the meet of two substructures is their intersection, and the join is the smallest substructure containing their union. For instance, the lattice of subgroups of a group encodes containment relations, with the trivial subgroup \{e\} at the bottom and the full group at the top. The correspondence theorem provides a structural link between substructures and quotients. For a normal subgroup N \trianglelefteq G, there is a lattice isomorphism between the subgroups of G containing N and all subgroups of the quotient G/N, given by H \mapsto H/N for H \geq N, with the inverse K \mapsto \pi^{-1}(K) where \pi: G \to G/N is the natural projection; this preserves inclusion, intersections, and generated joins.^[38] A similar correspondence holds for ideals in rings. The kernel of a homomorphism between groups is always a normal subgroup, connecting internal substructures to external mappings.

Branches of Abstract Algebra

Group Theory

A group G is a nonempty set equipped with a binary operation \cdot: G \times G \to G that satisfies four axioms: closure (for all a, b \in G, a \cdot b \in G), associativity (for all a, b, c \in G, (a \cdot b) \cdot c = a \cdot (b \cdot c)), existence of an identity element e \in G such that a \cdot e = e \cdot a = a for all a \in G, and existence of inverses (for each a \in G, there exists a^{-1} \in G such that a \cdot a^{-1} = a^{-1} \cdot a = e).^[39] These axioms, first explicitly formulated in abstract form by Walther von Dyck in 1882, capture the essential structure of symmetry operations while generalizing earlier concrete realizations in permutation groups and number theory.^[39] If the operation is also commutative (a \cdot b = b \cdot a for all a, b \in G), the group is called abelian.^[39] For finite groups, a foundational result is Lagrange's theorem, which states that if G is a finite group and H is a subgroup of G, then the order of H (denoted |H|, the number of elements in H) divides the order of G (denoted |G|).^[40] This theorem, originally established by Joseph-Louis Lagrange in 1771 in the context of permutations of polynomial roots, implies key corollaries such as the fact that the order of any element g \in G divides |G|, and that if |G| is prime, then G is cyclic (generated by any non-identity element).^[40] These properties constrain possible group structures; for instance, up to isomorphism, the groups of order 6 are the abelian cyclic group \mathbb{Z}_6 and the non-abelian symmetric group S_3, which arises in permutation contexts. The structure of finite abelian groups is completely classified by the fundamental theorem of finite abelian groups, which asserts that every finite abelian group G is isomorphic to a direct product of cyclic groups of prime-power order: G \cong \mathbb{Z}_{p_1^{k_1}} \times \mathbb{Z}_{p_1^{k_2}} \times \cdots \times \mathbb{Z}_{p_m^{k_m}}, where the p_i are primes and the exponents satisfy certain ordering conditions (e.g., k_1 \geq k_2 \geq \cdots).^[41] This theorem, proved by Georg Frobenius and Ludwig Stickelberger in 1878 using invariant factors and primary decomposition, provides an invariant way to describe all such groups up to isomorphism; for example, the abelian group of order 12 decomposes uniquely (up to ordering) as \mathbb{Z}_{2^2} \times \mathbb{Z}_3 or \mathbb{Z}_2 \times \mathbb{Z}_2 \times \mathbb{Z}_3.^[41] The theorem extends to finitely generated abelian groups by including free components, but for finite cases, it enables explicit computation of homomorphisms and subgroups. For general finite groups, the Sylow theorems address the existence and properties of maximal p-subgroups. Specifically, if p is a prime dividing |G| = p^a m with p \nmid m, then a Sylow p-subgroup (a subgroup of order p^a) exists; all Sylow p-subgroups are conjugate; the number of them, n_p, satisfies n_p \equiv 1 \pmod{p} and divides m; and if n_p = 1, the unique Sylow p-subgroup is normal in G. These results, established by Peter Ludwig Sylow in his 1872 paper on substitution groups, facilitate the classification of finite groups by decomposing them into p-parts; for instance, in the alternating group A_4 of order 12, the Sylow 2-subgroups have order 4 and n_2 = 3, confirming no normal Sylow 2-subgroup. Group actions provide a framework for studying symmetries on sets. A (left) action of a group G on a set X is a homomorphism \phi: G \to \mathrm{Sym}(X) from G to the symmetric group on X, where \phi(g)(x) = g \cdot x. The orbit of x \in X is \{g \cdot x \mid g \in G\}, and the stabilizer is \mathrm{Stab}_G(x) = \{g \in G \mid g \cdot x = x\}, a subgroup of G. By the orbit-stabilizer theorem, |G| = |\mathrm{Orb}(x)| \cdot |\mathrm{Stab}_G(x)|, linking subgroup indices to orbit sizes. Burnside's lemma counts the number of orbits as the average number of fixed points: |\mathrm{Orbs}| = \frac{1}{|G|} \sum_{g \in G} |\mathrm{Fix}(g)|, where \mathrm{Fix}(g) = \{x \in X \mid g \cdot x = x\}.^[42] This lemma, stated and applied by William Burnside in his 1897 treatise on finite groups (attributing an earlier form to Frobenius), is exemplified by counting distinct colorings of a cube's faces under rotation, yielding \frac{1}{24}(10^6 + \cdots + 2^6) for 6 colors.^[42] Representations translate group actions into linear algebra. A representation of G over a field F (typically \mathbb{C}) is a homomorphism \rho: G \to \mathrm{GL}(V) to the general linear group of invertible linear maps on a finite-dimensional vector space V; the degree is \dim V. The character of \rho is the function \chi_\rho: G \to F given by \chi_\rho(g) = \mathrm{tr}(\rho(g)), which is constant on conjugacy classes and satisfies \chi_\rho(gh) = \chi_\rho(hg). Irreducible representations correspond to characters that cannot be decomposed further, and the inner product \langle \chi, \psi \rangle = \frac{1}{|G|} \sum_{g \in G} \chi(g) \overline{\psi(g)} equals 1 if \chi = \psi and 0 otherwise, establishing orthogonality. These basics, introduced by Georg Frobenius in 1896 through the study of group determinants and extended by Issai Schur in 1905 with orthogonality relations, form the foundation of character theory for decomposing representations into irreducibles; for example, the symmetric group S_3 has characters distinguishing its trivial, sign, and 2-dimensional representations.^[43]^[44]

Ring Theory

A ring is an algebraic structure consisting of a nonempty set R equipped with two binary operations, addition + and multiplication \cdot, satisfying the following axioms: (R, +) forms an abelian group (with additive identity 0 and inverses -a for each a \in R); multiplication is associative, i.e., (a \cdot b) \cdot c = a \cdot (b \cdot c) for all a, b, c \in R; and multiplication distributes over addition from both sides, i.e., a \cdot (b + c) = a \cdot b + a \cdot c and (a + b) \cdot c = a \cdot c + b \cdot c for all a, b, c \in R.^[45] Rings need not be commutative under multiplication or possess a multiplicative identity, though many important examples, such as the integers \mathbb{Z}, satisfy both properties.^[45] The additive structure of a ring draws from abelian groups, providing a foundation for the multiplicative operation.^[45] A commutative ring with unity (multiplicative identity 1) is termed an integral domain if it has no zero divisors, meaning that if a \cdot b = 0 then either a = 0 or b = 0.^[46] Ideals play a central role in ring theory as substructures that absorb multiplication by ring elements. Specifically, an ideal I \subseteq R is an additive subgroup of R such that for all r \in R and i \in I, both r \cdot i \in I and i \cdot r \in I (in the commutative case, these coincide).^[45] A principal ideal is one generated by a single element, i.e., (a) = \{ r \cdot a \mid r \in R \}, while non-principal ideals, such as (2, x) in \mathbb{Z}, illustrate more complex structure.^[47] Polynomial rings extend rings by adjoining an indeterminate. The polynomial ring R consists of formal expressions \sum_{i=0}^n a_i x^i with a_i \in R and finitely many nonzero terms, under componentwise addition and the usual multiplication where x commutes with elements of R (assuming R commutative).^[48] If R is an integral domain, the division algorithm holds in R when R admits a suitable norm: for f, g \in R with g \neq 0, there exist unique q, r \in R such that f = q g + r with either r = 0 or \deg r < \deg g, using the degree as the Euclidean function.^[49] An integral domain R is Euclidean if it possesses a function N: R \setminus \{0\} \to \mathbb{N} \cup \{0\} enabling such division, as in \mathbb{Z} with N(a) = |a| or fields F yielding F.^[49] Every Euclidean domain is a principal ideal domain (PID), where every ideal is principal, and every PID is a unique factorization domain (UFD), an integral domain in which every nonzero non-unit element factors uniquely into irreducibles (up to units and order).^[50] For instance, \mathbb{Z} is a UFD—polynomials factor uniquely into irreducibles like linear factors over \mathbb{Z}—but not a PID, as the ideal (2, x) requires two generators.^[50] A ring R is Noetherian if it satisfies the ascending chain condition on ideals: any chain I_1 \subseteq I_2 \subseteq \cdots stabilizes, equivalently, every ideal is finitely generated.^[51] Polynomial rings over Noetherian rings, such as \mathbb{Z}, remain Noetherian by the Hilbert basis theorem.^[51] Modules over a ring generalize vector spaces, replacing the field scalars with ring elements. A left R-module M is an abelian group under addition with a scalar multiplication R \times M \to M satisfying distributivity (r_1 + r_2) m = r_1 m + r_2 m, r (m_1 + m_2) = r m_1 + r m_2, and associativity (r_1 r_2) m = r_1 (r_2 m) for a multiplicative identity if present.^[52] When R is a field, modules coincide with vector spaces.^[52]

Field Theory

A field is a commutative ring with unity in which every non-zero element has a multiplicative inverse. This structure ensures that division is possible for non-zero elements, extending the properties of the rational numbers. Fields form a fundamental algebraic structure, generalizing familiar number systems like the rationals \mathbb{Q}, reals \mathbb{R}, and complexes \mathbb{C}./02%3A_Fields_and_Rings/2.01%3A_Fields) Every field F has a characteristic, defined as the smallest positive integer p such that p \cdot 1 = 0 if such a p exists, or $0otherwise; thispmust be prime or zero, as fields are integral domains. The prime subfield ofFis the smallest subfield, isomorphic to either\mathbb{Q}(if\operatorname{char}(F) = 0) or \mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}(if\operatorname{char}(F) = p > 0). For example, the prime field of the reals is \mathbb{Q}, while for finite fields it is \mathbb{F}_p$.^[53] A field extension is a pair of fields K \supseteq F where F is a subfield of K; elements of K may be algebraic over F if they satisfy a polynomial equation with coefficients in F, or transcendental otherwise. An extension K/F is algebraic if every element of K is algebraic over F, simple if K = F(\alpha) for some \alpha \in K, and the degree [K:F] is the dimension of K as a vector space over F, which is finite if K is finitely generated as an algebra over F. For instance, \mathbb{Q}(\sqrt{2})/\mathbb{Q} is a simple algebraic extension of degree $2. Transcendental extensions, like \mathbb{Q}(\pi)/\mathbb{Q}$, have infinite degree and behave like function fields.^[54] Finite fields, denoted \mathrm{GF}(p^n) or \mathbb{F}_{p^n} for prime p and positive integer n, are fields of order p^n and exist uniquely up to isomorphism for each such order. They can be constructed as the splitting field of the polynomial x^{p^n} - x over \mathbb{F}_p, whose roots form the field under the operations modulo p. The Frobenius automorphism \phi: \alpha \mapsto \alpha^p generates the Galois group \mathrm{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) \cong \mathbb{Z}/n\mathbb{Z}, fixing \mathbb{F}_p and satisfying \phi^n = \mathrm{id}; this automorphism underscores the cyclic structure and uniqueness of finite fields. Subfields of \mathbb{F}_{p^n} correspond to divisors m of n, with the unique subfield of order p^m being \mathbb{F}_{p^m}.^[55] Galois theory studies field extensions via their automorphism groups. For a separable irreducible polynomial f \in F, the Galois group \mathrm{Gal}(K/F) where K is the splitting field of f over F consists of field automorphisms of K fixing F pointwise. An extension K/F is normal if every irreducible polynomial in F with a root in K splits completely in K, and separable if every element of K has a separable minimal polynomial (i.e., no multiple roots). Finite Galois extensions are those that are both normal and separable. The fundamental theorem of Galois theory establishes a bijection between subgroups H of \mathrm{Gal}(K/F) and subfields L of K containing F: H = \mathrm{Gal}(K/L) and L is the fixed field of H, with [K:L] = |H| and the extension L/F Galois if H is normal in \mathrm{Gal}(K/F). For example, for f(x) = x^4 - 2 over \mathbb{Q}, the Galois group is the dihedral group of order $8$.^[53] A polynomial f \in F is solvable by radicals if its splitting field K/F can be obtained by a tower of radical extensions, where each step adjoins an n-th root of an element from the previous field. By Galois theory, f is solvable by radicals if and only if \mathrm{Gal}(K/F) is a solvable group, meaning it has a composition series with abelian factors. This criterion explains the classical solvability of quadratic, cubic, and quartic equations by radicals (their Galois groups are solvable) but the insolubility of the quintic, as the symmetric group S_5 is not solvable. For instance, the polynomial x^5 - x + 1 over \mathbb{Q} has Galois group S_5 and thus is not solvable by radicals.^[56]

Module Theory

In module theory, a module over a ring provides a framework for studying linear algebra over non-field scalars, extending the structure of abelian groups with compatible ring actions. Formally, for a ring R (typically with unity), a left R-module M is an abelian group under addition together with a bilinear map R \times M \to M, written (r, m) \mapsto r \cdot m, satisfying distributivity r \cdot (m_1 + m_2) = r \cdot m_1 + r \cdot m_2 and (r_1 + r_2) \cdot m = r_1 \cdot m + r_2 \cdot m, associativity (r_1 r_2) \cdot m = r_1 \cdot (r_2 \cdot m), and unit compatibility $1_R \cdot m = m for all r, r_1, r_2 \in R and m, m_1, m_2 \in M.^[25]^[57] Right modules are defined analogously with multiplication on the right. This abstraction, originating in Emmy Noether's work on ideals and rings, unifies diverse algebraic phenomena by treating modules as "vector spaces" over general rings.^[25] Submodules of an R-module M are subgroups N \subseteq M that are closed under scalar multiplication by elements of R, inheriting the module structure. Module homomorphisms between R-modules M and N are group homomorphisms f: M \to N that preserve scalar multiplication, i.e., f(r \cdot m) = r \cdot f(m) for all r \in R and m \in M; the set of such maps forms the Hom module \Hom_R(M, N), which is itself an abelian group under pointwise addition. Quotient modules are constructed similarly to quotient groups: for a submodule N \subseteq M, the quotient M/N consists of cosets m + N with induced addition and scalar multiplication r \cdot (m + N) = r \cdot m + N, provided the operations are well-defined. These constructions enable the study of module properties through correspondence theorems and isomorphism criteria, analogous to those in group theory.^[57]^[58] Free modules represent the simplest non-trivial R-modules, possessing a basis \{ e_i \}_{i \in I} \subseteq M such that every element of M uniquely expresses as a finite R-linear combination \sum r_i e_i with r_i \in R, and the rank of M is the cardinality of any such basis. Every free module is projective, meaning it is a direct summand of some free module, a property formalized as: for any surjection \epsilon: F \twoheadrightarrow N of modules and any map \gamma: P \to N, there exists a lift \tilde{\gamma}: P \to F such that \epsilon \circ \tilde{\gamma} = \gamma. Injective modules dualize this, satisfying the lifting property for injections: for any injection \iota: M \hookrightarrow N and map \delta: M \to I, there exists an extension \tilde{\delta}: N \to I with \tilde{\delta} \circ \iota = \delta. Projective and injective modules, introduced in homological contexts, facilitate resolutions and extensions in module categories.^[59]^[60] Exact sequences capture relationships among modules via chains of homomorphisms. A sequence of R-modules and maps \cdots \to M_{i-1} \xrightarrow{d_{i-1}} M_i \xrightarrow{d_i} M_{i+1} \to \cdots is exact at M_i if the image of d_{i-1} equals the kernel of d_i, i.e., \im d_{i-1} = \ker d_i; the full sequence is exact if exactness holds at every position. A short exact sequence $0 \to A \xrightarrow{f} B \xrightarrow{g} C \to 0 implies f is injective, g is surjective, and \im f = \ker g, often representing B as an extension of C by A. Chain complexes generalize this to sequences where d_{i+1} \circ d_i = 0 for all i, with homology groups H_i(C_\bullet) = \ker d_i / \im d_{i+1} measuring "cycles" modulo "boundaries." The tensor product M \otimes_R N of a right R-module M and left R-module N is the abelian group generated by symbols m \otimes n modulo bilinearity relations, serving as the universal object for R-bilinear maps; it forms a functor -\otimes_R N: {}_R\Mod \to \Ab that is right exact. Dually, \Hom_R(M, -): {}_R\Mod \to {}_R\Mod is left exact, preserving kernels in short exact sequences.^[58]^[61] These tools find application in homological algebra, where chain complexes of modules compute invariants like Tor and Ext, quantifying deviations from exactness under tensor and Hom functors. For instance, in algebraic topology, singular chain complexes of free abelian modules yield homology groups that detect holes in spaces, providing a bridge between algebra and geometry at an introductory level.^[62]^[63]

Applications

In Number Theory and Arithmetic

Abstract algebra provides essential tools for number theory by generalizing the properties of integers through algebraic structures like rings and fields, enabling the study of Diophantine equations that seek integer solutions to polynomial equations.^[64] In algebraic number theory, the focus is on number fields, which are finite extensions of the rational numbers \mathbb{Q}, and their rings of integers, which are the integral closures of \mathbb{Z} in these fields.^[64] These rings often fail to be unique factorization domains, unlike \mathbb{Z}, but they possess unique factorization of ideals, making them Dedekind domains.^[65] The class group of a Dedekind domain measures the deviation from principal ideal domains, consisting of the quotient of the group of fractional ideals by the subgroup of principal ideals, and its order, the class number, quantifies the complexity of ideal factorization.^[64] p-adic numbers extend the rationals \mathbb{Q} by completing it with respect to the p-adic valuation for a prime p, yielding the field \mathbb{Q}_p, where the valuation ring \mathbb{Z}_p comprises elements with non-negative valuation.^[66] This completion captures arithmetic properties invisible in the real numbers, such as solutions to congruences modulo powers of p, and the valuation ring \mathbb{Z}_p is a discrete valuation ring, integral domain with unique maximal ideal generated by p.^[67] p-adic analysis thus aids in solving Diophantine problems by providing a non-Archimedean metric that refines local-global principles for integer solutions.^[66] Quadratic reciprocity, a cornerstone for determining whether a prime divides a quadratic residue modulo another prime, finds an algebraic proof using Gauss sums in cyclotomic fields.^[68] The Gauss sum G(\chi) = \sum_{k=1}^{p-1} \chi(k) \zeta^k, where \chi is the Legendre symbol modulo p and \zeta a primitive p-th root of unity, evaluates to a square root of (-1)^{(p-1)/2} p in the cyclotomic field \mathbb{Q}(\zeta_p), enabling the reciprocity law via the splitting of primes in quadratic subfields.^[69] This approach leverages the Galois group of the cyclotomic extension to relate Legendre symbols across odd primes q and p, (\frac{q}{p}) = (\frac{p}{q}) (-1)^{(p-1)(q-1)/4}, thus solving quadratic Diophantine congruences algebraically.^[68] The arithmetic of elliptic curves, defined by Weierstrass equations y^2 = x^3 + ax + b over number fields, reveals their rational points form a finitely generated abelian group by the Mordell-Weil theorem.^[70] This group structure, E(K) \cong \mathbb{Z}^r \oplus T where r is the rank and T the torsion subgroup, governs the integer solutions to related Diophantine equations, with the rank determining the density of points.^[70] The theorem's proof involves descent methods on the curve's Jacobian and height pairings to show finite generation.^[70] A landmark application is Andrew Wiles' 1995 proof of Fermat's Last Theorem, asserting no positive integers x, y, z satisfy x^n + y^n = z^n for n > 2, using the modular form-elliptic curve correspondence.^[71] Wiles proved the Taniyama-Shimura conjecture for semistable elliptic curves, showing every such curve over \mathbb{Q} is modular, associating it to a cusp form whose L-function matches the curve's conductor and level.^[71] Combined with Ribet's level-lowering, this implies hypothetical Fermat solutions yield non-modular elliptic curves, a contradiction, thus resolving the Diophantine equation via algebraic geometry and representation theory.^[71]

In Geometry and Topology

Abstract algebra provides essential tools for classifying and understanding geometric and topological objects by associating them with algebraic structures like groups and rings. In algebraic topology, groups capture the homotopy type of spaces, while rings encode cohomology operations. These algebraic invariants allow for the rigorous comparison of spaces that may appear dissimilar at first glance, facilitating proofs of classification theorems and the study of continuous deformations. The fundamental group, introduced by Henri Poincaré in his seminal work on analysis situs, is a key algebraic invariant derived from the loop space of a topological space. For a pointed space X with basepoint x_0, the fundamental group \pi_1(X, x_0) consists of homotopy classes of loops based at x_0, forming a group under concatenation. This group detects holes in the space that higher homotopy groups might miss; for example, the circle S^1 has \pi_1(S^1) \cong \mathbb{Z}, reflecting its single loop generator. Covering spaces play a central role in computing fundamental groups: a covering map p: \tilde{X} \to X induces an isomorphism between \pi_1(\tilde{X}) (often trivial for the universal cover) and a normal subgroup of \pi_1(X), with the deck transformation group acting as the quotient. This correspondence, formalized in modern treatments, enables the classification of spaces up to homotopy via their fundamental groups and associated covers.^[72]^[73] Cohomology theories further enrich this algebraic framework by introducing ring structures on the cohomology groups. Singular cohomology, developed by Witold Hurewicz and others, assigns to a space X abelian groups H^n(X; R) for a ring R, equipped with a cup product that makes H^*(X; R) into a graded-commutative ring. This ring structure captures multiplicative properties, such as the cohomology ring of the projective plane \mathbb{CP}^2, which is \mathbb{Z}/(x^3) where x generates H^2. De Rham cohomology, for smooth manifolds, parallels this via differential forms: the de Rham complex \Omega^*(M) yields cohomology groups H^*_{dR}(M) isomorphic to singular cohomology with real coefficients, forming a graded algebra under the wedge product. These ring invariants classify manifolds and detect orientations or orientations, with applications in computing characteristic classes.^[73]^[74] Invariant theory employs rings to study symmetries in geometric settings, particularly orbit spaces under group actions. For a group G acting on an affine variety X, the ring of invariants k[X]^G consists of polynomials unchanged by the action, parameterizing the quotient X//G. David Hilbert's foundational work established finite generation of invariant rings for finite groups, extended by geometric invariant theory to reductive groups acting on projective spaces. A classic example is the action of the symmetric group S_n on \mathbb{C}^n, where invariants are symmetric polynomials generated by elementary ones, forming the ring \mathbb{C}[e_1, \dots, e_n]. This constructs moduli spaces, like the space of stable curves, by resolving singularities in orbit closures. Orbit spaces thus provide algebraic models for geometric quotients, essential for classifying objects up to symmetry.^[75] In algebraic geometry, varieties are defined as zero sets of polynomials in affine or projective space, bridging algebra and geometry through coordinate rings. An affine variety V(I) \subset k^n is the common zeros of an ideal I \subset k[x_1, \dots, x_n], with the coordinate ring k[V(I)] = k[x_1, \dots, x_n]/I(V(I)) capturing its polynomial functions. Hilbert's Nullstellensatz establishes a bijection between radical ideals and varieties over algebraically closed fields, ensuring that maximal ideals correspond to points and that vanishing ideals recover the defining polynomials. For instance, the variety defined by xy = 0 in \mathbb{C}^2 has coordinate ring \mathbb{C}[x,y]/(xy), reflecting its union of axes. This algebraic structure enables the study of morphisms, dimensions, and birational equivalences, forming the foundation for schemes and modern geometry.^[76] Knot theory utilizes group presentations to derive polynomial invariants, notably the Alexander polynomial. For a knot K \subset S^3, the knot group \pi_1(S^3 \setminus K) admits a Wirtinger presentation from a diagram, with generators for arcs and relations at crossings. J.W. Alexander introduced an invariant by abelianizing this group and taking the determinant of the Alexander matrix from Fox derivatives of the relations, yielding a Laurent polynomial \Delta_K(t) in one variable, unique up to units. For the trefoil knot, \Delta(t) = t^2 - t + 1, distinguishing it from the unknot's trivial polynomial 1. This polynomial, derived from the infinite cyclic cover, provides a concordance invariant and detects amphichirality.^[77]

In Physics and Symmetry

Abstract algebra provides the mathematical framework for modeling symmetries in physical systems, where groups capture both discrete and continuous transformations that leave physical laws invariant. Continuous symmetries, prevalent in fundamental physics, are described by Lie groups—smooth manifolds that form groups under composition—and their associated Lie algebras, which generate infinitesimal transformations. For example, the special orthogonal group SO(3) parameterizes rotations in three-dimensional Euclidean space, essential for describing rotational invariance in classical and quantum mechanics.^[78] The Lie algebra \mathfrak{so}(3) consists of skew-symmetric 3×3 matrices, with basis elements corresponding to rotations about the x, y, and z axes, satisfying the commutation relations [J_i, J_j] = i \epsilon_{ijk} J_k.,%20su(2).pdf) These structures enable the analysis of symmetry breaking and dynamical evolution in systems ranging from planetary motion to quantum fields.^[79] Noether's theorem establishes a deep link between Lie group symmetries and conservation laws, asserting that any continuous symmetry of the action functional in variational principles implies a conserved current.^[80] For spacetime symmetries under the Poincaré group, this yields conservation of energy-momentum and angular momentum; translational invariance conserves linear momentum, while rotational invariance conserves angular momentum.^[81] In gauge theories, internal Lie group symmetries, such as those in the Standard Model, lead to conserved charges like baryon number or electric charge.^[82] This theorem, originally formulated in 1918, underpins much of modern physics by translating geometric symmetries into algebraic conservation principles.^[80] Representation theory extends these ideas in quantum mechanics, where symmetry groups act on Hilbert spaces via unitary operators, and physical observables transform under irreducible representations (irreps) of the group.^[83] Eugene Wigner pioneered this approach, showing that elementary particles are classified by irreps of the Poincaré group, with spin corresponding to irreps of the Lorentz group subgroup SU(2). For instance, fermions like electrons belong to spin-1/2 irreps, while photons are in the spin-1 representation, dictating selection rules for transitions and degeneracies in atomic spectra.^[84] This framework ensures that symmetry operations preserve probabilities and explains multiplet structures in energy levels. In condensed matter physics, discrete subgroups classify periodic structures: space groups combine 32 crystallographic point groups with lattice translations to yield 230 distinct three-dimensional symmetry groups, determining possible crystal lattices and atomic arrangements.^[85] Wallpaper groups, their two-dimensional analogs, number 17 and describe symmetries of periodic patterns, such as those in Islamic art or molecular monolayers.^[86] In particle physics, the non-abelian Lie group SU(3) models flavor symmetry in the quark model, introduced by Murray Gell-Mann in 1964, where up, down, and strange quarks transform in the fundamental representation, organizing baryons into octets and decuplets that match observed hadron spectra.^[87] This approximate symmetry, broken by quark mass differences, predicts relations like the Gell-Mann–Okubo mass formula and facilitated the discovery of the Ω⁻ baryon.^[88]

In Computer Science and Cryptography

Abstract algebra plays a pivotal role in computer science and cryptography by providing foundational structures for efficient algorithms and secure protocols. Finite fields, in particular, enable the construction of error-correcting codes that ensure reliable data transmission over noisy channels.^[89] Reed-Solomon codes, a prominent class of error-correcting codes, are defined over finite fields such as GF(2^m), where symbols are elements of the extension field generated by an irreducible polynomial of degree m over GF(2). These codes operate by evaluating polynomials of degree less than the dimension k at distinct nonzero field elements, producing codewords that can correct up to (n-k)/2 errors, where n is the code length bounded by the field size. The algebraic decoding algorithms, including Berlekamp-Massey for finding error locations and Forney for error values, leverage field arithmetic to achieve this efficiency, making Reed-Solomon codes essential in applications like digital communications and storage systems.^[90]^[89] In cryptography, group theory underpins public-key systems reliant on the hardness of the discrete logarithm problem (DLP). Elliptic curve groups, which form abelian groups under point addition over finite fields, offer compact representations with strong security; the elliptic curve discrete logarithm problem (ECDLP) asks to find an integer k such that Q = kP for given points P and Q on the curve, a task believed intractable for carefully chosen curves with prime order subgroups around 256 bits. This hardness enables efficient schemes like Elliptic Curve Diffie-Hellman (ECDH) key exchange and Elliptic Curve Digital Signature Algorithm (ECDSA), which provide security levels comparable to larger RSA keys while minimizing computational and bandwidth costs. Seminal work established the ECDLP's intractability relative to classical DLP in multiplicative groups, with no subexponential algorithms known for secure parameters.^[91]^[92] Ring theory extends to lattice-based cryptography through the learning with errors (LWE) problem over polynomial rings. In ring-LWE, samples consist of pairs (a, b = a·s + e) where a is uniform in the ring R_q = Z_q/(f(x)), s is a secret element, and e is small Gaussian noise; the decision variant distinguishes such perturbed samples from uniform ones, providing a basis for post-quantum secure encryption. This structure allows compact keys and fast operations via the ring's cyclotomic properties, as in the Ring-LWE-based Kyber algorithm, standardized by NIST for its resistance to quantum attacks and efficiency in hardware implementations. The problem's hardness reduces from worst-case lattice problems like shortest vector, ensuring security even against lattice reduction attacks like BKZ.^[93]^[94] Automata theory draws on monoids and semigroups to characterize regular languages algebraically. The syntactic monoid of a regular language L recognizes L via the transition monoid of its minimal deterministic finite automaton, where the language is the preimage of the accepting idempotents under the monoid action on words. Semigroups generalize this by modeling transformation structures without inverses, enabling applications in language equivalence testing and pseudovariety theory, where varieties of semigroups correspond to classes of languages closed under Boolean operations. For instance, aperiodic semigroups classify star-free languages, bridging algebraic recognition with computational verification.^[95]^[96] Computational group theory employs algorithms on algebraic structures like Cayley graphs to solve decision problems in group presentations. The Cayley graph of a group generated by S visualizes the group's action as a graph with vertices as group elements and edges labeled by generators, facilitating breadth-first search for shortest words and coset enumeration. The Todd-Coxeter algorithm enumerates cosets of a subgroup in a finitely presented group by systematically expanding the Cayley graph while enforcing relations, effectively solving the subgroup index problem and subgroup membership for finite-index cases. This method, enhanced by techniques like the Felsch strategy for early closure detection, has been implemented in systems like GAP for computing with permutation groups up to millions of elements.^[97]^[98]

References

[1]
Math 335: Abstract Algebra I, Fall 2023
Course Description: Abstract Algebra is one of the principle branches of modern mathematics. It is the study of general properties of algebraic structures.<|control11|><|separator|>
[2]
Mathematics 113---Introduction to Abstract Algebra
In the last hundred years or so, "algebra'' has come to mean the study of abstract structures involving operations on sets, modeled on the operations that ...
[3]
SUMaC Academics | Stanford Pre-Collegiate Studies
Abstract algebra originated in the early part of the 19th century through the study of polynomial equations. This branch of mathematics lies at the core of many ...
[4]
Algebra and Number Theory | Department of Mathematics
Abstract algebra and number theory are broad areas of mathematics which formalize intuitive notions of symmetry, and which explore properties of integers ...
[5]
Quadratic, cubic and quartic equations - MacTutor
It is often claimed that the Babylonians (about 1800 BC) were the first to solve quadratic equations. This is an over simplification, for the Babylonians ...Missing: sources | Show results with:sources
[6]
The Advanced Mathematics of the Babylonians - JSTOR Daily
Mar 25, 2016 · In algebra, Babylonians apparently had the means to solve quadratic equations (remember those?) and perhaps even higher-order cubic equations.
[7]
[PDF] 1 Ancient Egypt - UCI Mathematics
• Primary mathematical sources: Rhind/Ahmes (A'h-mose) papyrus c. 1650 BC ... Algebra), in which he describes how to solve quadratic and cubic equations.
[8]
[PDF] Solving Equations and Completing the Square: From the Roots of ...
Oct 14, 2019 · In particular, the geometrical works of Euclid, Archimedes and Apollonius from the golden ages of Greek mathematics, laid a foundation among ...
[9]
Brahmagupta (598 - 670) - Biography - MacTutor
Brahmagupta also solves quadratic indeterminate equations of the type a x 2 + c = y 2 ax^{2} + c = y^{2} ax2+c=y2 and a x 2 − c = y 2 ax^{2} - c = y^{2} ax2−c=y ...Brahmagupta · Poster of Brahmagupta · QuotationsMissing: sources | Show results with:sources
[10]
Brahmagupta - an overview | ScienceDirect Topics
He gave rules to compute with zero. Besides positive numbers, he used negative numbers and zero for computing. The modern rule that two negative numbers ...
[11]
Cubic Formula -- from Wolfram MathWorld
The solution to the cubic (as well as the quartic) was published by Gerolamo Cardano (1501-1576) in his treatise Ars Magna.Missing: derivation | Show results with:derivation
[12]
[PDF] Cardano's Solution to the Cubic: A Mathematical Soap Opera
Aug 1, 2004 · Cardano's work and insights, however, led to a general solution for the cubic. As he searched for the roots of the equations, Cardano's trouble ...
[13]
[PDF] What is new and what is old in Viète's analysis - HAL-SHS
François Vi`ete considered most of his mathematical treatises to be part of a body of texts which he entitled Opus restitutæ ...
[14]
[PDF] Abel Answers the Question of the Quintic - IMA
Feb 20, 2025 · In 1824, Abel published his first proof that the general quin- tic equation was unsolvable by radicals [4]. It was printed as a small booklet at ...Missing: field | Show results with:field
[15]
[PDF] The mathematical writings of Evariste Galois - Uberty
An article published in June 1830 created the theory of Galois imaginaries, a fore-runner of what are now known as finite fields; his so-called Premier Mémoire ...
[16]
[PDF] The Bicentennial of Evariste Galois
[Modern Galois Theory] In modern terms, Galois' main result can be stated as: “The polynomial equation p(x) = 0 is solvable by radicals if and only if the ...
[17]
[PDF] Early Group Theory in the Work of A.-L. Cauchy
Jul 1, 2025 · Section 2 then brings in the definition and elementary theory of permutation groups ('system of conjugate permutations' in Cauchy's terminology) ...
[18]
[PDF] THE GAUSSIAN INTEGERS Since the work of Gauss, number ...
Since the work of Gauss, number theorists have been interested in analogues of Z where concepts from arithmetic can also be developed.Missing: Carl Friedrich
[19]
[PDF] Gaussian Integers and Dedekind's Creation of an Ideal
In this project, we examine ideas from algebraic number theory that eventually led to the new algebraic concepts of an 'ideal' and a 'ring' in the work of.
[20]
[PDF] Kummer's theory on ideal numbers and Fermat's Last Theorem
This paper is an exposition on Ernst Kummer's theory of ideal numbers, which “saves” unique factorization in the ring of integers of the cy- clotomic field ...Missing: 1840s domains sources
[21]
[PDF] Kummer, Regular Primes, and Fermat's Last Theorem
Abstract. This paper rephrases Kummer's proof of many cases of Fermat's last theorem in contemporary notation that was in fact derived from his work.Missing: 1840s sources
[22]
Ideal Theory in Rings (Translation of "Idealtheorie in Ringbereichen ...
Jan 11, 2014 · This paper is a translation of the paper "Idealtheorie in Ringbereichen", written by Emmy Noether in 1920, from the original German into English.
[23]
[PDF] Emmy Noether's contributions to the theory of group rings
Feb 14, 2002 · Today we are used to Noether's viewpoint that matrix representations of a group are given by ideals or modules of the group ring. But it was a ...
[24]
[PDF] Algebra: 1830–1930 - Department of Mathematics | University of Miami
The main innovation of Galois was to associate a group to each polynomial equation f(x)=0. If the coefficients of f(x) lie in a field F then we will denote ...
[25]
[PDF] Lectures on Universal Algebra
Nov 8, 1999 · An algebra is a pair 〈A, F〉, where A is a nonempty set and F is a sequence of finitary operations on A. The type of A is the function τ : I → ...
[26]
[PDF] The Topology of Magmas. - University of Rochester
A magma is an algebraic structure (S, f) consisting of an underlying set S and a single binary operation f : S2 ! S. Much is known about specific families of.<|control11|><|separator|>
[27]
[PDF] MAT 3004 – Abstract Algebra I Tutorial 1 - Yuanxin Guo
Abstract algebra is the study of abstract algebraic structures. Well ... A magma is the structure when we delete (A1) from the semigroup axiom (there was.
[28]
AATA Rings - Abstract Algebra: Theory and Applications
For example, one of the most natural algebraic structures to study is the integers with the operations of addition and multiplication. These operations are ...<|control11|><|separator|>
[29]
[PDF] Algebra: abstract and concrete / Frederick M. Goodman
May 1, 2015 · The first and second editions of this work were published by Prentice-Hall. The current version of this text is available from http://www.math.
[30]
AlgebraicStructures - Computer Science
A magma (S,*) becomes a semigroup if its operator is associative, that is, if (x*y)*z = x*(y*z) for all x, y, and z in S. Semigroups show up quite often in ...
[31]
[PDF] Free groups - UNL Math
It follows from the definition that every element of a free group on X can be defined by a reduced group word on X. Moreover, different reduced words on X ...Missing: monoid | Show results with:monoid
[32]
[PDF] The structure of free algebras - Department of Mathematics
The algebra FV(X) may be defined as an algebra in V generated by X that has the universal mapping property: For every A ∈ V and every function v : X → A there ...
[33]
[PDF] Introduction to Abstract Algebra (Math 113)
Abstract algebra is the abstract encapsulation of composition, defining a larger class of objects with extra structure, like groups, rings, and fields.
[34]
[PDF] "Abstract Algebra: Theory and Applications"
Aug 11, 2012 · This text covers abstract algebra theory (groups, rings, fields) and applications like coding and cryptography, for a one or two-semester ...
[35]
[PDF] MAT 250A: Abstract Algebra - UC Davis Math
Sep 13, 2021 · Theorem 1.13. Correspondence Theorem Let G be a group, and N E G. There is a bijection of subgroups. A ⩽ G containing N and G/N.
[36]
[PDF] The Evolution of Group Theory: A Brief Survey - Israel Kleiner
Mar 14, 2004 · Some of the general mathematical features of that century which had a bearing on the evolution of group theory are: (a) an increased concern.
[37]
[PDF] A History of Lagrange's Theorem on Groups
In group theory, the result known as Lagrange's Theorem states that for a finite group G the order of any subgroup divides the order of G. However, group theory ...
[38]
[PDF] THE FUNDAMENTAL THEOREM FOR FINITE ABELIAN GROUPS
Augustin-Louis Cauchy (1789-1857) was another major contributor to permutation groups. He was the first to consider permutation groups as their own subject ...<|separator|>
[39]
[PDF] Theory of Groups of Finite Order - Project Gutenberg
Title: Theory of Groups of Finite Order. Author: William Burnside. Release Date: August 2, 2012 [EBook #40395]. Language: English. Character set encoding: ISO ...
[40]
[PDF] Frobenius and the group determinant - OSU Math
Frobenius and the group determinant. Page 23. Representation theory (1896-12-03, Berlin). Direct Sum. Given two representations (V1,ρ1) of (V2,ρ2), their direct.
[41]
[PDF] The Sylow Theorems Anna Marie Bohmann Massachusetts Institute ...
The Sylow theorems were originally published in 1872 by the Norwegian mathematician Peter Ludvig. Mejdell Sylow (1832–1918). These theorems give information ...Missing: original | Show results with:original
[42]
[PDF] 1. Rings, ideals, and modules 1.1. Rings. Noncommutative algebra ...
Rings, ideals, and modules. 1.1. Rings. Noncommutative algebra studies properties of rings (not nec- essarily commutative) and modules over them.Missing: abstract | Show results with:abstract
[43]
[PDF] Algebra II: Rings and Fields - Harvard Mathematics Department
The ring of Gaussian integers is defined by. Z[i] = Z ⊕ Zi ⊂ C; it forms a square lattice in the complex numbers. This set is closed under multiplication ...
[44]
[PDF] RES.18-012 (Spring 2022) Lecture 12: Factorization in Rings
For example, we'll see that Z[x] and C[x1,...,xn] are UFDs. But the ideal (2,x) ⊂ Z[x] and the ideal (x, y) ⊂ C[x, y] are not principal.
[45]
[PDF] 22 Rings of Polynomials - UCI Mathematics
R[x] is the ring of polynomials with coefficients in R, where x is not a variable, and R[x] is a ring with inherited addition and multiplication.
[46]
[PDF] Euclidean domains - Keith Conrad
There can be greatest common divisors in rings that are not Euclidean (such as in Z[X, Y ]), but it may be hard in those rings to compute greatest common ...
[47]
[PDF] NOTES ON UNIQUE FACTORIZATION DOMAINS Alfonso Gracia ...
Jan 21, 2016 · Example 32. Z is a PID. Z[x] is not a PID. Discussion 33. When we put together Theorem 18, 25, and 31, we see we have proven that in Z.
[48]
[PDF] NOETHERIAN RINGS 1. Introduction In a PID, every ideal has a ...
The standard label for property (2) is the ascending chain condition or ACC. ... The third condition of Theorem 3.1 shows a Noetherian ring R other than the zero ...
[49]
[PDF] Modules and Vector Spaces - Math@LSU
Modules generalize vector spaces, using an arbitrary ring instead of a field for scalars. A module is an abelian group with scalar multiplication.
[50]
[PDF] Fields and Galois Theory - James Milne
These notes give a concise exposition of the theory of fields, including the Galois theory of finite and infinite extensions and the theory of transcendental ...Missing: primary | Show results with:primary
[51]
[PDF] an introduction to the theory of field extensions - UChicago Math
If α is not algebraic over F, then α is said to be transcendental over F. The extension K/F is said to be algebraic if every element of K is algebraic over F.
[52]
[PDF] how to construct them, properties of elements in a finite field, and ...
This handout discusses finite fields: how to construct them, properties of elements in a finite field, and relations between different finite fields.
[53]
[PDF] Solvability by radicals - Brown Math
Dec 8, 2013 · So E/F is solvable. Corollary 8 (Galois's Theorem). The polynomial f(x) can be solved by radicals if and only if its Galois group is solvable.
[54]
[PDF] RES.18-012 (Spring 2022) Lecture 19: Modules over a Ring
Definition 19.1 Let R be a ring. A module M over R is an abelian group, together with an action map R × M → M (written as (r, m) 7→ r(m) or rm), subject to the ...
[55]
[PDF] Section IV.1. Modules, Homomorphisms, and Exact Sequences
Dec 30, 2023 · In this section, we define a module (and vector space) and develop basic properties and definitions, such as homomorphisms, isomorphisms, ...<|control11|><|separator|>
[56]
[PDF] LINEAR ALGEBRA II: PROJECTIVE MODULES Let R be a ring. By ...
Definition 1.1. A module P is projective if, given. • any surjective homomorphism ε : B C, and. • any homomorphism γ : P → C,.
[57]
Origin of the terminology projective module - Math Stack Exchange
Jan 22, 2013 · Projective modules were introduced in 1956 by Cartan and Eilenberg in their book Homological Algebra. Does anyone know why they chose the word projective?Definition of a projective module - Math Stack ExchangeEquivalent definitions for projective modules - Math Stack ExchangeMore results from math.stackexchange.com
[58]
Section 10.12 (00CV): Tensor products—The Stacks project
The R-module T which satisfies the above universal property is called the tensor product of R-modules M and N, denoted as M \otimes _ RN.
[59]
[PDF] Chain Complexes - MIT Mathematics
Application 1.1.3 (Simplicial homology) Here is a topological application we shall discuss more in Chapter 8. Let K be a geometric simplicial complex,.Missing: source | Show results with:source
[60]
Section 99.3 (08JS): The Hom functor—The Stacks project
99.3 The Hom functor. In this section we study the functor of homomorphisms defined below. Situation 99.3.1. Let S be a scheme.Missing: source | Show results with:source
[61]
[PDF] Algebraic Number Theory - James Milne
the ring of integers in the number field, the ideals and units in ...Missing: primary | Show results with:primary
[62]
[PDF] Algebraic Number Theory, a Computational Approach - William Stein
Nov 14, 2012 · The ring Z is a Dedekind domain, as is any ring of integers OK of a number field, as we will see below. Also, any field K is a Dedekind domain, ...
[63]
[PDF] 5.1 The field of p-adic numbers
Sep 19, 2013 · consider an alternative (but equivalent) approach that constructs Qp directly from Q. We can then obtain Zp as the valuation ring of Q.Missing: completion authoritative source
[64]
[PDF] A first course on 𝑝-adic numbers - UCSD Math
For a prime 𝑝, we define the 𝑝-adic numbers, denoted 𝐐𝑝, to be the completion of (𝐐,|∙ |𝑝). We also define the 𝑝-adic integers, denoted 𝐙𝑝, to be the valuation ...
[65]
[PDF] Quadratic Reciprocity - Purdue Math
Quadratic reciprocity is proved by studying the splitting behavior of primes in cyclotomic fields and their unique quadratic subfields.
[66]
[PDF] Quadratic Reciprocity via Gauss sums - Williams College
Plugging the result of Proposition 1.1 into equation (1.3) yields Quadratic Reciprocity mod q; since q ≥ 3, this implies Quadratic Reciprocity itself. We ...
[67]
[PDF] Proving Mordell-Weil: A Descent in Three Parts - William Stein
Apr 4, 2005 · The Mordell-Weil theorem tells us that the group of K-rational points on an elliptic curve. E(K) is finitely generated. By the structure theorem ...
[68]
[PDF] Modular elliptic curves and Fermat's Last Theorem
The key development in the proof is a new and surprising link between two strong but distinct traditions in number theory, the relationship between Galois.
[69]
[PDF] Papers on Topology - School of Mathematics
Jul 31, 2009 · ... Poincaré before topology. In the introduction to his first major topology paper, the Analysis situs, Poincaré. (1895) announced his goal of ...
[70]
[PDF] Algebraic Topology - Cornell Mathematics
This book was written to be a readable introduction to algebraic topology with rather broad coverage of the subject. The viewpoint is quite classical in ...
[71]
[PDF] Lecture Notes in Algebraic Topology James F. Davis Paul Kirk
... Singular cohomology. 14. §1.5. The Eilenberg-Steenrod axioms. 19. §1.6 ... ring structure on cohomology. We have included some of this material in ...
[72]
[PDF] introduction to geometric invariant theory - Yale Math
Reductive algebraic groups. We are interested in studying orbit spaces for the action of an algebraic group G on a projective or affine algebraic variety X.
[73]
[PDF] Affine Varieties and the Nullstellensatz - Purdue Math
Algebraic geometry is concerned with solutions to polynomial equations. The simplest setting is as follows. Start with a field k (e.g. Q, R, C, Z/pZ ...).
[74]
TOPOLOGICAL INVARIANTS OF KNOTS AND LINKS*
TOPOLOGICAL INVARIANTS OF KNOTS AND LINKS*. BY. J. W. ALEXANDER. 1. Introduction. The problem of finding sufficient invariants to determine completely the knot ...
[75]
[PDF] lie groups, lie algebras, and applications in physics - UChicago Math
Sep 17, 2015 · Thus, the solution space will constitute of a representation of the rotation group SO(3). Hence, knowing what all the representations of SO(3) ...
[76]
[PDF] Lie Groups and their applications to Particle Physics - arXiv
Nov 29, 2020 · Our manuscript is a tutorial introducing foundational mathematics for understanding physical symmetries. We start from basic group theory and ...
[77]
[PDF] Invariant Variation Problems
Invariant Variation Problems. Emmy Noether. M. A. Tavel's English translation of “Invariante Variationsprobleme,” Nachr. d. König. Gesellsch. d. Wiss. zu ...
[78]
[PDF] Emmy Noether: Symmetry and Conservation
and, through Noether's theorem, higher order conservation laws! Page 63. The Kepler Problem !! x + mx r3. = 0. L = 1.
[79]
Symmetries and conservation laws: Consequences of Noether's ...
Apr 1, 2004 · Our paper considers one-parameter symmetry transformations. Therefore, it is connected with the first theorem. See E. Noether, “Invariante ...Missing: original | Show results with:original
[80]
[PDF] Quantum Theory, Groups and Representations: An Introduction ...
Central to the basic structure of quantum mechanics are the. Heisenberg group, the symplectic groups Sp(2n, R) and the metaplectic representation, as well as ...
[81]
[PDF] Eugene Wigner and Translational Symmetries - arXiv
Wigner was the first one to introduce the rotation group to the quantum mechanics of atomic spectra [3]. Since he had a strong background in chemistry [4], he ...
[82]
[PDF] Space groups and lattice complexes
In which space groups can a given lattice complex occur? What are the lattice complexes that can occur in a given space group? The higher the symmetry ...Missing: authoritative source
[83]
[PDF] classification of the 17 wallpaper groups - UChicago Math
Their three-dimensional analogues, the space groups, have scientific applications, as they are essential to crystallogra- phy. This paper seeks to enumerate and ...Missing: crystal structures
[84]
[PDF] Chapter 6 SU(3) | Rutgers Physics
SU(3) first hit the Physics world in 1961 through papers by Gell-Mann and. Ne'eman which applied it to what we now call the flavor of hadrons, at a time.
[85]
[PDF] An introduction to the quark model arXiv:1205.4326v2 [hep-ph] 24 ...
May 24, 2012 · This is hard to believe. To take care of this problem, Ne'emann and Gell-Mann suggested to keep the SU(3) group as the basic symmetry, but ...
[86]
[PDF] An Introduction to Galois Fields and Reed-Solomon Coding
Oct 4, 2010 · The encoding and decoding employs arithmetic in the domain GF(2m). We will use m = 3 as an example. GF(23) consists of 8 elements. Each element ...Missing: abstract | Show results with:abstract
[87]
[PDF] Tutorial on Reed-Solomon Error Correction Coding
Addition and. Subtraction. Within. GF(2 m) ....... Multiplication and. Division. Within. GF{2 m) ..... DIFFERENT.
[88]
[PDF] 9 The discrete logarithm problem - MIT Mathematics
Feb 28, 2022 · The current record for computing discrete logarithms on elliptic curves over finite fields involves a cyclic group with 117-bit prime order on ...
[89]
[PDF] Discrete Logarithms on Elliptic Curves - Rose-Hulman Scholar
The discrete logarithm problem on elliptic curves is to solve kB = P for k, similar to the classical problem of solving gx ≡ y (mod p) for x.
[90]
[PDF] The Learning with Errors Problem
In this survey we describe the Learning with Errors (LWE) problem, discuss its properties, its hardness, and its cryptographic applications. In recent years, ...
[91]
Ring-LWE in Polynomial Rings - Cryptology ePrint Archive
Apr 30, 2012 · The Ring-LWE problem, introduced by Lyubashevsky, Peikert, and Regev (Eurocrypt 2010), has been steadily finding many uses in numerous cryptographic ...
[92]
[PDF] Languages recognised by finite semigroups, and their ... - mimuw
Jun 16, 2020 · In this chapter, we define semigroups and monoids, and show how they can be used to recognise languages of finite words. Definition 1.1 ( ...
[93]
[PDF] Advanced Automata Theory 8 Groups, Monoids ... - NUS Computing
Groups, monoids and semigroups are mathematical objects related to automata theory in two ways: • The derivatives of a regular language can be made into a ...
[94]
[PDF] Computational Group Theory
Oct 5, 1998 · Computational group theory has a history going back more than 80 years. It is a collaborative effort of researchers in a wide range of areas ...<|control11|><|separator|>
[95]
[PDF] The Todd–Coxeter procedure - Cornell Mathematics
The Todd–Coxeter procedure is a systematic way of trying to find the order (and often the structure) of a group given by generators and relations, ...Missing: Cayley | Show results with:Cayley