Fact-checked by Grok 2 weeks ago

Algebraic operation

In mathematics, an algebraic operation is a function that maps one or more elements from a set to another element within the same set, most commonly a binary operation defined as a map from the Cartesian product of the set with itself to the set.^[1] These operations can be unary, binary, ternary, or of higher arity, providing a way to combine elements according to specific rules.^[1] Examples include arithmetic operations on numbers, function composition, and set intersections.^[1] In elementary algebra, algebraic operations typically refer to the fundamental manipulations of numbers, variables, and expressions, including addition, subtraction, multiplication, division, exponentiation, and root extraction.^[2] These operations allow for the simplification and transformation of algebraic expressions, such as combining like terms or factoring polynomials, and are essential for solving equations and modeling real-world problems. They obey properties like commutativity, associativity, and distributivity in many contexts, which underpin the structure of number systems like the integers or real numbers.^[3] In abstract algebra, algebraic operations are generalized to define structures on arbitrary sets, forming the basis for concepts like groups (with a single binary operation satisfying closure, associativity, identity, and invertibility), rings (with addition and multiplication), and fields (rings where multiplication is invertible for non-zero elements).^[1] These operations enable the study of symmetries, polynomials, and linear transformations, with applications in cryptography, physics, and computer science.^[4] Isomorphisms between structures preserve these operations, highlighting deep connections between seemingly different mathematical objects.^[1]

Definitions and Fundamentals

Core Definition

An algebraic operation is fundamentally a binary operation on a set, defined as a function *: S \times S \to S, where S is a non-empty set, that maps every ordered pair of elements from S to a single element within S.^[5] This mapping ensures that the result of combining any two elements remains closed within the set, forming the basis for constructing more complex mathematical structures.^[6] While unary operations (functions from S to S) and n-ary operations (involving n elements) exist in mathematics, binary operations hold a central role in algebraic contexts because they enable the iterative combination of elements to generate larger expressions and underpin key structures like groups and rings, where repeated applications simulate higher arities through association.^[7] The focus on binary operations stems from their sufficiency in modeling relational patterns that capture essential symmetries and compositions in abstract systems.^[8] The concept of algebraic operations traces its roots to 19th-century developments in algebra, with formalization emerging through efforts to rigorize arithmetic using set-theoretic foundations, notably by Italian mathematician Giuseppe Peano in his 1889 work Arithmetices principia.^[9] Peano's axioms for natural numbers incorporated operations like addition, providing a precise framework that influenced modern abstract algebra.^[10] A basic example is addition on the set of integers \mathbb{[Z](/page/Z)}, where the operation + satisfies a + b = c with c \in \mathbb{[Z](/page/Z)} whenever a, b \in \mathbb{[Z](/page/Z)}, demonstrating closure and serving as the simplest algebraic operation. Common symbols such as + or \times denote such operations in standard notation.^[11]

Scope in Abstract Algebra

In abstract algebra, algebraic operations form the foundational building blocks of various algebraic structures by satisfying specific axioms that govern their behavior on a given set. A binary algebraic operation on a set S is a function \cdot: S \times S \to S, ensuring closure such that the result remains within S. When this operation satisfies the associative axiom, i.e., (a \cdot b) \cdot c = a \cdot (b \cdot c) for all a, b, c \in S, the structure becomes a semigroup. More generally, any set equipped with a binary operation forms a magma, the most basic algebraic structure, where no further axioms beyond closure are imposed. These structures allow mathematicians to abstract away from concrete number systems to study operations universally across diverse mathematical objects.^[12]^[13] Unlike general functions, which map elements from one set to potentially any codomain without restrictions, algebraic operations are distinguished by their closure property, mandating that the output lies within the original set, thus preserving set membership and enabling the formation of self-contained systems. This closure is implicit in the operation's definition as a map into S, distinguishing it from arbitrary functions that might produce elements outside the domain of interest. While many algebraic operations facilitate the existence of identity elements—satisfying e \cdot a = a \cdot e = a for all a \in S—this is not universally required, as seen in basic magmas or semigroups without identities. This focus on structure-preserving mappings underpins the axiomatic approach of abstract algebra.^[14]^[4] The scope of algebraic operations expanded significantly following the pioneering work of Évariste Galois in the 1830s, where he introduced permutation groups to analyze the solvability of polynomial equations by radicals, laying the groundwork for group theory as a study of symmetries via operations. In the 20th century, this evolved into modern abstract algebra, generalizing operations to broader structures like rings and fields, influenced by universal algebra frameworks that treat operations as primitives for classifying algebras. Garrett Birkhoff's 1935 treatise formalized these ideas, emphasizing operations as the core of abstract algebraic systems beyond numerical contexts. A concrete illustration is matrix multiplication on the set of $2 \times 2 matrices over the real numbers \mathbb{R}, where for matrices A = \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} and B = \begin{pmatrix} b_{11} & b_{12} \\ b_{21} & b_{22} \end{pmatrix}, the product C = AB has entries c_{ij} = \sum_{k=1}^2 a_{ik} b_{kj}, forming a non-commutative associative operation that yields another matrix in the set.^[15]^[16]^[17]^[18]

Notation Conventions

Symbolic Representation

Algebraic operations are typically represented using infix notation for binary operations, where the operator is placed between the operands, such as a + b for addition or a \times b for multiplication. Unary operations, like negation, are often denoted in prefix notation, as in -a, which can be viewed as a derived form of the binary subtraction operation where one operand is implicitly zero. The plus sign (+) originated in 14th-century Europe as an abbreviation for the Latin word et meaning "and," with early uses appearing in manuscripts by the French philosopher and mathematician Nicole Oresme around 1360.^[19] It gained widespread adoption in the 15th and 16th centuries, appearing in printed works such as those by German arithmeticians in the 1480s.^[19] The multiplication symbol × was introduced by the English mathematician William Oughtred in his 1631 text Clavis Mathematicae, where it served as a clear delimiter for the operation to distinguish it from the letter x used as a variable.^[19] To ensure unambiguous interpretation of algebraic expressions involving multiple operations, standard rules of operator precedence are followed, with multiplication and division performed before addition and subtraction. Parentheses are used to override this precedence and group operations explicitly, as in the expression (a + b) \times c, which first computes the sum inside the parentheses before multiplying by c. In algebraic contexts, variations in notation arise to avoid confusion with variables; for instance, the dot (·) is commonly employed for multiplication, such as a \cdot b, a convention introduced by Gottfried Wilhelm Leibniz in 1698 to replace the × symbol and prevent misreading when x represents an unknown.^[20] This dot notation is particularly prevalent in advanced texts and formal derivations to maintain clarity.

Operational Symbols in Context

In algebraic contexts, operations are frequently represented using functional notation, where a binary operation is defined as a function from the Cartesian product of a set to itself. For instance, a general binary operation on a set S can be denoted as \cdot: S \times S \to S, with the result of applying the operation to elements a, b \in S written as (a, b) \mapsto a \cdot b or simply a \cdot b. This functional perspective is fundamental in abstract algebra, allowing operations to be treated as mappings that preserve structure, such as in the definition of groups or rings. In more explicit programmatic or computational settings, operations may be named as functions like \mathrm{add}(a, b), emphasizing their algorithmic nature. Custom operations in abstract settings often employ specialized symbols to denote functional application, such as \oplus for direct sums in vector spaces or modules, where V \oplus W represents the tensor-like combination without overlap. This notation highlights the operation's role in constructing larger structures from smaller ones. In expressions, algebraic operations build complex forms through repeated application; for example, a polynomial function like f(x) = x^2 + 3x arises from addition and multiplication operations applied iteratively to powers of x, illustrating how infix symbols like + integrate into functional compositions. Similarly, rational functions emerge from division operations on polynomials, such as \frac{p(x)}{q(x)}, where the operation ensures the result remains within the field of rational functions.^[21] In advanced mathematical contexts, operations extend to higher-dimensional or integral forms, such as tensor products denoted by \otimes, which combine vector spaces or modules bilinearly: for spaces V and W, V \otimes W generates elements like v \otimes w. Another example is the convolution operation, often symbolized by *, defined functionally as (f * g)(t) = \int_{-\infty}^{\infty} f(\tau) g(t - \tau) \, d\tau, which convolves two functions to produce a third, commonly used in analysis and signal processing to model superposition. These notations emphasize the operation's contextual embedding in expressions, where the symbol signals both the function and its domain. Standardization of such symbols is provided by ISO 80000-2 (2019), which specifies conventions for mathematical signs in algebraic and scientific applications, including \oplus for direct sums, \otimes for tensor products, and * for convolutions, along with guidelines for functional notation like f(x) to ensure clarity and consistency across disciplines.^[22]^[23]

Arithmetic Versus Algebraic Operations

Shared Foundations

Arithmetic operations, such as addition and multiplication on the real numbers, exemplify binary operations that are closed within their domains, meaning the result of applying the operation to any two elements remains in the set. For instance, for any real numbers a and b, the sum a + b \in \mathbb{R}, ensuring the operation preserves the structure of the number system.^[24] This closure property aligns directly with the general definition of binary operations in algebra, where the operation maps pairs of elements from a set to another element in the same set.^[24] The historical foundations of arithmetic operations trace back to ancient civilizations, including the Babylonians around 2000 BCE, who developed practical computational methods using a base-60 numeral system for tasks like multiplication and division in daily and astronomical applications.^[25] These early arithmetic techniques were later extended into algebraic frameworks by Muhammad ibn Musa al-Khwarizmi in the 9th century CE, whose systematic treatment of equations built upon arithmetic to formalize solving procedures, laying the groundwork for algebra as a distinct discipline.^[26] Both arithmetic and algebraic operations share universal properties like the existence of identity elements and inverses within suitable sets, which facilitate reversible computations. In arithmetic, addition has 0 as its identity element, since a + 0 = a for any real number a, and every element a has an additive inverse -a such that a + (-a) = 0.^[27] Subtraction exemplifies this inverse relationship, defined as a - b = a + (-b), allowing recovery of the original operand.^[27] Arithmetic serves a foundational pedagogical role by building intuitive understanding of numerical patterns and relationships, which students generalize to algebraic manipulations, such as replacing numbers with variables to express broader structural insights.^[28] This progression from concrete arithmetic exercises to abstract algebraic reasoning helps learners appreciate operations as tools for modeling and problem-solving across mathematical contexts.

Key Distinctions

Arithmetic operations are inherently tied to concrete numerical domains, such as the real numbers, where rules are rigidly defined and certain actions, like division by zero, remain undefined to preserve mathematical consistency.^[29] For instance, attempting to compute a / 0 for any nonzero real number a yields no valid result within the real number system, as no multiplicative inverse exists for zero.^[30] In contrast, algebraic operations extend this framework abstractly to arbitrary sets equipped with compatible binary operations, allowing flexibility without such numerical constraints; for example, in a group structure, every element has an inverse, enabling "division" analogs via left or right multiplication by inverses. A fundamental distinction lies in the level of abstraction and the assumptions about operational behavior. Arithmetic operations on real numbers, such as addition and multiplication, are always commutative, meaning a + b = b + a and ab = ba hold for all elements. Algebraic operations, however, do not universally assume commutativity, permitting structures where order matters; matrix multiplication exemplifies this, as the product AB generally differs from BA for $2 \times 2 matrices over the reals.^[31] This abstraction enables algebraic operations to model diverse systems beyond numbers. Consider arithmetic addition on integers, which is commutative and associative, versus the group operation of composition in the symmetric group S_3, the set of permutations of three elements; here, composing the transposition (1\ 2) followed by (2\ 3) yields (1\ 2\ 3), while the reverse order gives (1\ 3\ 2), demonstrating non-commutativity.^[32] Similarly, in computer science, the bitwise XOR operation serves as the addition in the finite field \mathrm{GF}(2), forming an algebraic structure where vectors of bits behave like elements of a vector space over this field, with XOR ensuring closure and the required field axioms.^[33] These examples highlight how algebraic operations generalize arithmetic principles to non-numerical contexts while relaxing assumptions like commutativity.

Essential Properties

Binary Operation Characteristics

A binary operation on a set S is a function *: S \times S \to S, which ensures the property of closure by mapping every pair of elements from S to another element within S.^[34] This closure is fundamental, as it guarantees that the operation remains internal to the set, preventing results from escaping the defined domain. For instance, multiplication on the set of rational numbers exemplifies closure, since the product of any two rationals is itself a rational.^[34] An identity element for a binary operation * on S is an element e \in S such that a * e = e * a = a for all a \in S.^[35] This element acts as a neutral counterpart in the operation, leaving other elements unchanged when combined. A classic example is the number 1 serving as the identity for multiplication on the non-zero real numbers, where a \cdot 1 = 1 \cdot a = a holds for any non-zero real a.^[36] The presence of an identity enhances the structure but is not required for the basic binary operation framework. The minimal algebraic structure incorporating a binary operation and closure is known as a magma, consisting solely of a set equipped with such an operation.^[37] This concept, formalized in modern abstract algebra, underscores the foundational role of binary operations without imposing further constraints like associativity or identity. The term "magma" was introduced by the Bourbaki group in their 1970 treatise on algebra, emphasizing the basic, unstructured nature of the operation akin to a fluid, formless mass. Earlier precursors to the idea appear in 19th-century works on composition laws, though the precise terminology evolved later. To illustrate the necessity of closure, consider subtraction on the set of positive integers, which fails this property: for a = 2 and b = 3, both positive integers, a - b = -1 lies outside the set.^[38] Such non-closed operations, while definable, do not qualify as binary operations on the intended set, highlighting why closure is a defining axiom. Arithmetic operations like addition on integers demonstrate closure, aligning with algebraic ideals, though algebraic contexts extend beyond numerical examples.

Advanced Algebraic Properties

In abstract algebra, associativity is a fundamental property of a binary operation * on a set S that ensures (a * b) * c = a * (b * c) for all a, b, c \in S. This property allows for the unambiguous evaluation of expressions involving multiple operations without the need for parentheses, as the grouping does not affect the result. For instance, addition on the integers satisfies associativity, where (a + b) + c = a + (b + c) holds for all integers a, b, c.^[32] Commutativity extends the structure by requiring a * b = b * a for all a, b \in S, though this property is not universal across all algebraic operations. A classic counterexample is function composition, where (f \circ g)(x) \neq (g \circ f)(x) in general for functions f and g. Emmy Noether's pioneering work in the 1920s advanced the application of these properties in abstract structures like rings, particularly in her 1921 paper on ideal theory in ring domains.^[39] Distributivity governs the interaction between two operations, such as multiplication * over addition + on a set R, satisfying a * (b + c) = (a * b) + (a * c) and (b + c) * a = (b * a) + (c * a) for all a, b, c \in R. This property is central to ring theory, where it links the additive and multiplicative structures, enabling the extension of arithmetic behaviors to more abstract settings.^[40] Idempotence occurs when an operation * satisfies a * a = a for all a \in S, simplifying repeated applications. In set theory, the union operation exemplifies this, as A \cup A = A for any set A. For added depth, consider the contrasting nilpotency in certain algebras, where an element a satisfies a^n = [0](/page/0) for some positive integer n; a simple example is the $2 \times 2 matrix \begin{pmatrix} [0](/page/0) & 1 \\ [0](/page/0) & [0](/page/0) \end{pmatrix} over a field, whose square is the zero matrix.^[41]^[42]

Applications in Structures

Operations in Groups and Rings

In group theory, an algebraic operation defines a group when it is a binary operation on a set that satisfies associativity, the existence of an identity element, and the existence of inverses for every element. This structure captures symmetries and transformations, with the operation often denoted by multiplication or addition depending on context. The concept of groups was formalized by Évariste Galois in his 1832 memoir on the solvability of polynomial equations by radicals, where he introduced permutation groups to analyze equation symmetries.^[43]^[44] A classic example is the cyclic group \mathbb{Z}/n\mathbb{Z}, consisting of the integers modulo n under the operation of addition modulo n, where a + b \mod n computes the remainder of a + b divided by n. Here, the identity is 0, the inverse of a is -a \mod n, and the operation is associative, as inherited from integer addition. This group is generated by 1, since repeated additions of 1 cycle through all elements {0, 1, \dots, n-1}.^[45] Groups need not be abelian; non-commutative examples include the quaternion group under multiplication, discovered by William Rowan Hamilton in 1843 while seeking a four-dimensional extension of complex numbers. Quaternions are elements q = a + bi + cj + dk with i^2 = j^2 = k^2 = ijk = -1, and the multiplication of q_1 = a_1 + a_2 i + a_3 j + a_4 k and q_2 = b_1 + b_2 i + b_3 j + b_4 k yields:

\begin{align*} (q_1 q_2)_0 &= a_1 b_1 - a_2 b_2 - a_3 b_3 - a_4 b_4, \\ (q_1 q_2)_1 &= a_1 b_2 + a_2 b_1 + a_3 b_4 - a_4 b_3, \\ (q_1 q_2)_2 &= a_1 b_3 - a_2 b_4 + a_3 b_1 + a_4 b_2, \\ (q_1 q_2)_3 &= a_1 b_4 + a_2 b_3 - a_3 b_2 + a_4 b_1, \end{align*}

where subscripts denote real, i, j, and k components, respectively; the identity is 1, and each non-zero quaternion has an inverse. This operation is associative but not commutative, illustrating rotational symmetries in three dimensions.^[46]^[47] Rings extend groups by incorporating two operations: addition, forming an abelian group, and multiplication, which is associative and distributive over addition. Rings lack a general multiplicative identity or inverses, focusing instead on structural properties like ideals. The abstract concept of rings built on David Hilbert's early 20th-century work in invariant theory and number fields, where he studied polynomial rings and rings of integers around 1900.^[48] A fundamental example is the polynomial ring \mathbb{R} over the reals, where elements are polynomials f(x) = \sum a_i x^i and g(x) = \sum b_j x^j with real coefficients, addition is component-wise, and multiplication is defined by

(f g)(x) = \sum_{n=0}^\infty \left( \sum_{k=0}^n a_k b_{n-k} \right) x^n,

with only finitely many non-zero terms; distributivity holds since real addition and multiplication distribute. This ring models algebraic functions and supports factorization unique up to units.^[49]

Operations in Fields and Modules

In algebraic structures, a field extends the concept of a ring by incorporating multiplicative inverses for all non-zero elements, enabling division operations alongside addition, subtraction, and multiplication. Specifically, a field is a set equipped with two binary operations—addition and multiplication—that satisfy the field axioms: both operations are associative and commutative, addition has an additive identity (0) and inverses, multiplication has a multiplicative identity (1, distinct from 0) and inverses for non-zero elements, and multiplication distributes over addition. This structure supports all ring operations while ensuring every non-zero element a has an inverse a^{-1} such that a \cdot a^{-1} = [1](/page/1).^[50] A classic example is the field of complex numbers \mathbb{C}, where elements are of the form a + bi with a, b \in \mathbb{R} and i^2 = -1. The multiplication operation in \mathbb{C} is defined as:

(a + bi)(c + di) = (ac - bd) + (ad + bc)i,

which preserves the field properties and allows division by multiplying by the conjugate to obtain the inverse. This operation is fundamental in analysis and physics, as \mathbb{C} is algebraically closed, meaning every non-constant polynomial has a root within the field./02%3A_Equations_and_Inequalities/2.04%3A_Complex_Numbers) Modules generalize vector spaces to rings that may not be fields, introducing scalar multiplication by ring elements on an abelian group. Formally, an R-module over a ring R is an abelian group M (under addition) equipped with a scalar multiplication map R \times M \to M, denoted r \cdot v for r \in R and v \in M, satisfying distributivity over addition in both arguments, compatibility with ring multiplication ((r s) \cdot v = r \cdot (s \cdot v)), and preservation of the multiplicative identity ($1_R \cdot v = v). Unlike fields, rings may lack inverses, so modules can exhibit torsion or non-free behavior. A key example is a vector space over \mathbb{R} as an \mathbb{R}-module, where scalar multiplication is the standard r \cdot v for r \in \mathbb{R} and vector v, enabling linear combinations and bases when free.^[51]^[52] In applications, operations in fields and modules underpin linear algebra, where endomorphisms of free modules (e.g., matrices over a field) support derived operations like the determinant, which measures volume scaling and invertibility for square matrices. For instance, in a finite-dimensional vector space (an F-module over field F), the determinant of a linear transformation is a field element invariant under basis change, crucial for solving systems and eigenvalue problems. Computer algebra systems like SageMath, developed since 2005, extend this by implementing free modules over arbitrary commutative rings, supporting computations such as basis reduction, submodules, and quotients for rings like \mathbb{Z} or finite fields, facilitating symbolic manipulation in algebraic geometry and number theory.^[53]^[54] Finite fields, or Galois fields \mathrm{GF}(p^n) where p is prime and n \geq 1, provide discrete analogs with exactly p^n elements, supporting all field operations modulo p for prime fields (n=1) or via irreducible polynomials for extensions. Addition and subtraction are component-wise in a vector space representation over \mathrm{GF}(p), while multiplication and inversion use polynomial arithmetic modulo an irreducible of degree n, ensuring efficiency in discrete settings. These operations are pivotal in cryptography, such as in elliptic curve cryptography over \mathrm{GF}(p^n), where point addition and scalar multiplication enable secure key exchange protocols like ECDH, leveraging the field's finite order for computational hardness assumptions.^[55]

References

[1]
[PDF] Course of algebra. Introduction and Problems - Penn Math
Algebraic operation: a map M × M → M. Examples: 1. Addition + , subtraction − , multiplication ×, division : of numbers. 2. Composition (superposition) of ...
[2]
The Feynman Lectures on Physics Vol. I Ch. 22: Algebra - Caltech
22–2The inverse operations. In addition to the direct operations of addition, multiplication, and raising to a power, we have also the inverse operations, which ...
[3]
[PDF] MATH 3113 Notes #1 - Matthew B. Day
Jan 14, 2019 · A first example is the integers Z with addition +. This is a set together with an algebraic operation. Really, + is a function from Z × Z to Z, ...
[4]
[PDF] Introduction to Group and Ring Theory - MIT Mathematics
May 21, 2025 · Abstract algebra is the mathematical study of algebraic systems, which can be generally viewed as sets involving operations.
[5]
[PDF] Binary Operations
Apr 22, 2007 · Definition. A binary operation on a set X is a function f : X × X → X. In other words, a binary operation takes a pair of elements of X and ...
[6]
[PDF] Chapter 4: Binary Operations and Relations
A binary operation is a function from A x A to A. A relation R on A is a subset of A x A, where (a, b) ∈ R is written as aRb.
[7]
Algebra. It's powerful. But it's not what it was
Aug 6, 2024 · Abstract algebra studies algebraic structures, which consist of a set of mathematical objects together with one or several binary operations ...
[8]
[PDF] Binary Operations, Monoids, and Groups - CSUSM
A binary operation on S is a function S×S → S. For example, multiplication on R is a binary operation.
[9]
Giuseppe Peano (1858 - 1932) - Biography - University of St Andrews
... Peano. In 1889 Peano published his famous axioms, called Peano axioms, which defined the natural numbers in terms of sets. These were published in a ...
[10]
Peano axioms | Logic, Set Theory, Number Theory - Britannica
Oct 30, 2025 · Peano axioms, in number theory, five axioms introduced in 1889 by Italian mathematician Giuseppe Peano. Like the axioms for geometry devised ...
[11]
[PDF] MATH 415 Modern Algebra I Lecture 2: Binary operations.
Definition. A binary operation ∗ on a nonempty set S is simply a function ∗ : S × S → S. The usual notation for the element ∗(x,y) is x ∗ y. The pair (S,∗) is ...
[12]
[PDF] The Topology of Magmas. - University of Rochester
A magma is an algebraic structure (S, f) with a set S and a binary operation f: S² -> S. The study of magmas relates to geometric objects.
[13]
[PDF] CDM [2ex]Semigroups and Groups
1 Algebraic Structures. 2 Basic Structures. 3 Semigroups. 4 Groups. Page 36. Semigroups. 35. Definition. A semigroup is a magma with an associative operation.
[14]
ADS Algebraic Systems
An algebraic system is a mathematical system consisting of a set called the domain and one or more operations on the domain.
[15]
Évariste Galois (1811 - 1832) - Biography - MacTutor
Évariste Galois was a French mathematician who produced a method of determining when a general equation could be solved by radicals and is famous for his ...
[16]
[PDF] Abstract (Modern) Algebra
Abstract Algebra Origins. • Another young prodigy from France, Evariste Galois (1811-1832):. 7. ❖ moved towards axiomatics and abstraction. ❖ explained which ...<|separator|>
[17]
[PDF] On the Structure of Abstract Algebras
The reader will find it easier to follow the exposition if he remembers that operations are considered as fundamental throughout, while algebras and to an even ...
[18]
Matrix Algebra - Boston University Department of Computer Science
Today we will talk about multiplying matrices: How do you multiply matrices? What does the product of two matrices mean? What algebraic rules apply to ...<|control11|><|separator|>
[19]
Earliest Uses of Symbols of Operation - MacTutor
The plus and minus symbols only came into general use in England after they were used by Robert Recorde in in 1557 in The Whetstone of Witte.
[20]
Quotations by Gottfried Leibniz - MacTutor History of Mathematics
The dot was introduced as a symbol for multiplication by Leibniz. On July 29, 1698, he wrote in a letter to Johann Bernoulli: "I do not like X as a symbol ...
[21]
ISO 80000-2:2009 - Quantities and units — Part 2
ISO 80000-2:2009 gives general information about mathematical signs and symbols, their meanings, verbal equivalents and applications.Missing: operations | Show results with:operations
[22]
Convolution -- from Wolfram MathWorld
Convolution is implemented in the Wolfram Language as Convolve[f, g, x, y] and DiscreteConvolve[f, g, n, m]. Abstractly, a convolution is defined as a product ...
[23]
1.1: Binary operations - Mathematics LibreTexts
Oct 24, 2024 · Definition: Binary operation Let be a non-empty set, and said to be a binary operation on , if a ⋆ b is defined for all a , b ∈ S . In other ...
[24]
Babylonian mathematics - MacTutor - University of St Andrews
Babylonian math used a base-60 system, created tables for calculations, and developed formulas for multiplication, and went beyond arithmetic to algebra.
[25]
Al-Khwarizmi | Biography & Facts - Britannica
Oct 24, 2025 · His mathematical books introduced the ideas of algebra and Hindu-Arabic numerals to Western mathematicians during the Middle Ages. His ...
[26]
7.5: Properties of Identity, Inverses, and Zero - Mathematics LibreTexts
May 28, 2023 · The reciprocal of a number is its multiplicative inverse. A number and its reciprocal multiply to 1, which is the multiplicative identity. We'll ...
[27]
From Arithmetic to Algebra - ASCD
Nov 1, 2007 · Teaching mathematics in the elementary grades to transfer to algebraic concepts may promote success for all students engaged in mathematical ...
[28]
Division by Zero -- from Wolfram MathWorld
Division by zero is the operation of taking the quotient of any number x and 0, ie, x/0. The uniqueness of division breaks down when dividing by zero.
[29]
Why dividing by zero is undefined (video) - Khan Academy
Dec 13, 2015 · Sal says, "any non-zero number divided by zero is undefined". What if you divide zero by zero? Thanks! Answer
[30]
examples of non-commutative operations - PlanetMath
Mar 22, 2013 · A standard example of a non-commutative operation is matrix multiplication Mathworld Planetmath. Consider the following two integer matrices.Missing: abstract algebra
[31]
[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.
[32]
[PDF] PART 4: Finite Fields of the Form GF(2n) Theoretical Underpinnings ...
Feb 13, 2011 · operation of addition in GF(2) is like the logical XOR operation. • Therefore, adding the bit patterns in GF(2n) simply amounts to taking ...
[33]
Binary Operator -- from Wolfram MathWorld
Binary operators are called compositions by Rosenfeld (1968). Sets possessing a binary multiplication operation include the group, groupoid, monoid, quasigroup, ...
[34]
Identity Element -- from Wolfram MathWorld
The identity element I (also denoted E, e, or 1) of a group or related mathematical structure S is the unique element such that Ia=aI=a for every element a ...
[35]
Multiplicative Identity -- from Wolfram MathWorld
In a set X equipped with a binary operation · called a product, the multiplicative identity is an element e such that e·x=x·e=x for all x in X. It can be ...<|separator|>
[36]
Magma -- from Wolfram MathWorld
The term "magma" is most often used as a synonym of the more antiquated term "groupoid," referring to a set equipped with a binary operator.
[37]
matrices - Binary Operations for grouping - Math Stack Exchange
Sep 15, 2013 · For example, if a=2 and b=10, both positive integers, then a−b is no longer a positive integer. Hence the set of positive integers is not closed ...
[38]
Lecture 12. More algebra: Groups, semigroups, monoids, strings ...
An example of this is found in the operation of composition ... But the operation of composition of functions is not in general commutative. ... universal ...
[39]
Emmy Noether (1882 - 1935) - Biography - MacTutor
From 1927 onwards Noether collaborated with Helmut Hasse and Richard Brauer in work on non-commutative algebras. They wrote a beautiful paper joint paper Beweis ...
[40]
https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/Applied_Discrete_Structures_(Doerr_and_Levasseur)/16:_An_Introduction_to_Rings_and_Fields/16.01:_Rings_Basic_Definitions_and_Concepts
[41]
Unions and Intersections of Sets - Department of Mathematics at UTSA
Nov 16, 2021 · Also, the union operation is idempotent: A ∪ A = A. All these properties follow from analogous facts about logical disjunction.
[42]
nilpotent element in nLab
Apr 11, 2025 · An ring/rig/algebra is nilpotent if there exists a uniform number n n such that any product of n n elements is 0 0 . An algebra over a field is ...
[43]
of the American Mathematical Society
end of May 1832, Évariste Galois created mathematics that changed the direction of algebra. This book contains English translations of almost all the. Galois ...
[44]
[PDF] The Bicentennial of Evariste Galois
In this book, the first systematic solution of quadratic equations was given, and this book remained the quintessential reference on the theory of equations for.Missing: primary source
[45]
Cyclic Groups - Department of Mathematics at UTSA
Nov 17, 2021 · Z. For every positive integer n, the set of integers modulo n, again with the operation of addition, forms a finite cyclic group, denoted Z/nZ.
[46]
Quaternion -- from Wolfram MathWorld
... Hamilton was so pleased with his discovery that he scratched the fundamental formula of quaternion algebra, i^2=j^2=k^2=ijk=-1, (1) into the stone of the ...<|control11|><|separator|>
[47]
On quaternions and octonions - American Mathematical Society
Jan 26, 2005 · The quaternions were discovered by Sir William Rowan Hamilton in 1843. ... These were first discovered by Hamilton's college friend, John Graves.
[48]
Rings - Department of Mathematics at UTSA
Dec 19, 2021 · Rings were first formalized as a generalization of Dedekind domains that occur in number theory, and of polynomial rings and rings of invariants ...
[49]
polynomial ring - PlanetMath
Mar 22, 2013 · The polynomial ring over R R in two variables X,Y X , Y is defined to be R[X,Y]:=R[X][Y]≅R[Y][X] R ⁢ [ X , Y ] := R ⁢ [ X ] ⁢ [ Y ] ≅ R ⁢ [ Y ] ...
[50]
Field -- from Wolfram MathWorld
A field is any set of elements that satisfies the field axioms for both addition and multiplication and is a commutative division algebra.
[51]
Module -- from Wolfram MathWorld
Examples of modules include the set of integers Z , the cubic lattice in d dimensions Z^d , and the group ring of a group. Z is a module over itself. It is ...
[52]
Vector Space -- from Wolfram MathWorld
A vector space V is a set that is closed under finite vector addition and scalar multiplication. The basic example is n-dimensional Euclidean space R^n.
[53]
Lecture 18: Properties of determinants | Linear Algebra | Mathematics
The determinant of a matrix is a single number which encodes a lot of information about the matrix. Three simple properties completely describe the determinant.Missing: modules | Show results with:modules
[54]
Free modules - SageMath Documentation
Sage supports computation with free modules over an arbitrary commutative ring. Nontrivial functionality is available over Z, fields, and some principal ideal ...
[55]
Finite Field -- from Wolfram MathWorld
The finite field GF(2) consists of elements 0 and 1 which satisfy the following addition and multiplication tables. +, 0, 1. 0, 0, 1. 1, 1, 0 ...<|control11|><|separator|>