Product (mathematics)

Lore & Background

Originally, a product was the result of multiplying two or more numbers, such as 15 being the product of 3 and 5. The fundamental theorem of arithmetic states that every composite number is a product of prime numbers, unique up to order. With the introduction of mathematical notation and variables at the end of the 15th century, it became common to consider the multiplication of unspecified numbers, called products, as in the term ax in the linear equation ax + b = 0. Later, from the 19th century on, new binary operations called products were introduced that do not involve numbers, such as the dot product. The product operator for a sequence is denoted by the capital Greek letter pi (Π). The product of a sequence of one number is that number itself; the product of no factors is the empty product, equal to 1. In commutative rings, a product operation exists. Residue classes of integers can be multiplied. Two functions can be multiplied via convolution, which under the Fourier transform becomes point-wise function multiplication. The product of two polynomials is given by a sum formula. In linear algebra, there are many kinds of products, including scalar multiplication, scalar product, and others with confusingly similar names.

Reader's Guide

The concept of a product is central to mathematics, serving as the foundation for arithmetic, algebra, and many advanced fields. The source article emphasizes that a product can be the result of multiplication or an expression indicating factors to be multiplied. The commutative law applies to real or complex numbers, but matrix multiplication and other associative algebras are generally non-commutative. The product of a sequence is denoted by Π, and the empty product equals 1. Products extend to residue classes, convolution of functions, and polynomial rings. In linear algebra, scalar multiplication and scalar products are defined, with the scalar product being a bi-linear map satisfying certain conditions. The article notes that many different kinds of products exist, with some having confusingly similar names but different meanings, while others have different names but convey the same idea. This diversity underscores the product's role as a versatile operation across mathematical structures.

Did You Know?

• The product of no factors at all is known as the empty product, and is equal to 1.
• When one factor is an integer, the product is called a multiple.
• Matrix multiplication is non-commutative, unlike multiplication of real or complex numbers.
• The product operator for a sequence is denoted by the capital Greek letter pi (Π).

Building the Ring Structure

When two algebras A and B are defined over the same commutative ring R, each one can be viewed as an R-module. This shared module structure allows us to form their tensor product A⊗_R B, which initially inherits only the structure of an R-module. The remarkable step is endowing this module with a multiplication that turns it into a full ring. The rule is straightforward: for simple tensor elements, one multiplies the A-components together and the B-components together, so (a₁⊗b₁)(a₂⊗b₂) = a₁a₂⊗b₁b₂, and the product is then extended to all elements by linearity. The resulting ring is associative and possesses a natural identity element, namely 1_A⊗1_B, where 1_A and 1_B are the respective identities of A and B. A particularly pleasing feature is that if both A and B happen to be commutative, their tensor product inherits commutativity as well. At a higher level of abstraction, this construction equips the entire category of R-algebras with a symmetric monoidal structure, making the tensor product a fundamental organizing principle.

Categorical Role and Universal Properties

The tensor product of algebras carries deep categorical significance. Two natural inclusion maps exist: one sends an element a of A to a⊗1_B, and the other sends an element b of B to 1_A⊗b. In the category of commutative R-algebras, these maps make the tensor product serve as the coproduct, meaning it is the most efficient way to combine two commutative algebras over R. However, this coproduct property does not extend to the broader category of all R-algebras, where the coproduct is instead given by the more general free product. Even so, the tensor product of non-commutative algebras retains a powerful universal characterization. Specifically, morphisms from A⊗B into any algebra X are in natural bijection with pairs of morphisms (f, g) from A and B into X, subject to the condition that the commutator [f(a), g(b)] vanishes for every a in A and b in B. Under this correspondence, a morphism φ from A⊗B to X is recovered by evaluating it on the embedded copies of A and B, yielding f(a) = φ(a⊗1) and g(b) = φ(1⊗b).

Fiber Products in Algebraic Geometry

One of the most consequential applications of the tensor product of algebras appears in algebraic geometry, where it provides the algebraic backbone for constructing fiber products of schemes. Suppose we have three affine schemes X = Spec(A), Y = Spec(R), and Z = Spec(B), together with morphisms from both X and Z into Y. The fiber product X×_Y Z, which intuitively captures the overlap of X and Z over the common base Y, is represented by the affine scheme whose coordinate ring is precisely A⊗_R B. This elegant identification means that the geometric operation of intersecting two schemes over a base is encoded entirely in the algebraic operation of taking a tensor product. The power of this correspondence extends beyond the affine setting: the general fiber product of arbitrary schemes is constructed by gluing together affine fiber products of exactly this form. In this way, the tensor product of commutative algebras becomes an indispensable tool for the language of algebraic geometry, translating geometric intersections into clean algebraic computations.

Intersections of Subschemas: A Concrete Picture

A particularly illuminating example shows how the tensor product captures the geometric idea of intersecting two subschemes within a common ambient scheme. Consider the polynomial ring C[x, y] over the complex numbers, and two quotient algebras C[x, y]/(f) and C[x, y]/(g), each representing a subscheme cut out by a single polynomial equation. Taking their tensor product over the base ring C[x, y] yields C[x, y]/(f) ⊗_{C[x,y]} C[x, y]/(g), which is naturally isomorphic to C[x, y]/(f, g). The right-hand side is the coordinate ring of the subscheme defined by the simultaneous vanishing of both f and g, precisely the intersection of the two original subschemes. This example makes tangible the abstract categorical machinery: the tensor product does not merely combine two algebras in an arbitrary way but encodes the geometric operation of taking their common zero locus. It illustrates why algebraic geometers reach for the tensor product so frequently, as it provides a direct algebraic translation of the intuitive notion of where two equations hold at once.