A relation between two binary operations showing that one operation distributes over the other, typically written as a·(b + c) = a·b + a·c (left distributivity) and (b + c)·a = b·a + c·a (right distributivity) when both hold.

Principle

Distributivity links two operations so that applying one after combining arguments by the other equals the combination of the first operation applied to each argument; it expresses compatibility between the operations.

Demonstration

In a ring, multiplication distributes over addition: 2·(3+4) = 2·3 + 2·4. Matrix multiplication distributes over matrix addition: A(B+C) = AB + AC. In Boolean algebra, ∧ distributes over ∨ and vice versa.

Misapplication

Assuming exponentiation distributes over addition and writing (a+b)^n = a^n + b^n, or assuming left and right distributivity are equivalent in a noncommutative setting without verification, are common errors.

Consequence

Distributivity enables expansion and factorization rules, underlies polynomial arithmetic and ring theory, and allows one operation to be linear over combinations formed by the other, facilitating algebraic manipulation and algorithmic simplification.

Reversal

When distributivity fails, products cannot be expanded across sums; some algebraic structures lack distribution (or only one-sided distribution), leading to more complex identities and preventing standard factorizations.

Boundary

Requires two well-defined operations on the same set and precise specification of left or right distributivity in noncommutative contexts; distributivity is not implied by associativity or commutativity alone.

Semantic Tension

Often conflated with linearity: distributivity over a single addition is part of linearity but linear maps also require scalar compatibility and additivity for all scalars; distributivity between two operations is a weaker, algebraic compatibility condition.

Synthesis

Distributive Law formalizes a compatibility rule between two operations on the same set: applying one operation over a combination by the other equals the corresponding combination of its separate applications, enabling expansion, factoring, and coherent algebraic structure.