The distributive property is a fundamental rule in algebra that describes how one binary operation interacts with another. Informally, an operation *distributes* over a second operation when applying the first to a combination produced by the second gives the same result as applying the first to each part and then combining the outcomes. This concept is central to algebra and appears across arithmetic, abstract algebra, and logic.

Formal definition and variants

Given two binary operations • and ◦ on a set, • is left-distributive over ◦ if for all a, b, c we have a • (b ◦ c) = (a • b) ◦ (a • c). It is right-distributive if (b ◦ c) • a = (b • a) ◦ (c • a). When an operation is both left- and right-distributive it is simply called distributive. The definition does not require commutativity or associativity of the operations; distributivity is an independent algebraic property. The general notion applies to many kinds of binary operations, not only the familiar ones from arithmetic.

Elementary examples

The most familiar case is multiplication distributing over addition in ordinary arithmetic: for real numbers a, b, c,

a(b + c) = ab + ac.

For instance, 2 · (1 + 3) = (2 · 1) + (2 · 3). This specific example uses basic arithmetic and shows why expansion and factoring are valid steps. Because the rule holds for all real numbers, multiplication is said to distribute over addition on the real number system. Multiplication and addition are often denoted by symbols such as × and + in elementary texts.

  • Matrix multiplication distributes over matrix addition: A(B + C) = AB + AC when sizes match.
  • The vector cross product distributes over vector addition: u × (v + w) = u × v + u × w.
  • In Boolean algebra both AND and OR distribute over each other in specific forms, which is important in logic and digital design.

Uses and importance

Distributivity enables algebraic manipulation: expanding products, factoring common terms, simplifying expressions, and proving identities. It is an axiom in many algebraic structures (for example, rings require multiplication to distribute over addition). In computer algebra and symbolic manipulation, the distributive law guides rewriting rules and optimization techniques.

Limitations and notable distinctions

Not every operation is distributive. Division and exponentiation generally do not distribute over addition: a/(b + c) is not equal to a/b + a/c, and a^(b + c) ≠ a^b + a^c in general. In noncommutative systems left- and right-distributivity must be treated separately. Distributivity is logically independent from other basic algebraic properties: a structure can be distributive without being commutative or even associative for one of the operations.

Historically the idea of distributing multiplication over sums has been used since antiquity for arithmetic computation, and it was formalized in modern algebra as part of the axioms defining rings, lattices, and Boolean algebras. Because of its ubiquity, the distributive property remains one of the most frequently used tools in elementary and advanced mathematics.

Further reading: see topics on ring axioms, factorization, and logical equivalences for concrete applications of distributivity in algebra and logic.

Algebra overview • Binary operations • Addition • Multiplication • Arithmetic • Real numbers