Home > Distributivity

For example:

4 · (2 + 3) = (4 · 2) + (4 · 3)

In the left-hand side of the above equation, the 4 multiplies the sum of 2 and 3; on the right-hand side, it multiplies the 2 and the 3 individually, with the results added afterwards. Because these give the same final answer (20), we say that multiplication by 4 distributes over addition of 2 and 3. Since we could have put any real numbers in place of 4, 2, and 3 above, and still gotten a true equation, we say that multiplication of real numbers distributes over addition of real numbers.

1 Definition

Given a set S and two binary operations * and + on S, we say that

• * is left-distributive over + if, given any elements x, y, and z of S,

x * (y + z) = (x * y) + (x * z);

• * is right-distributive over + if, given any elements x, y, and z of S:

(y + z) * x = (y * x) + (z * x);

• * is distributive over + if it is both left- and right-distributive.

Notice that when * is commutative, then the three above conditions are logically equivalent.

2 Examples

1. Multiplication of numbers is distributive over addition of numbers, for a broad class of different kinds of numbers ranging from natural numbers to complex numbers and cardinal numbers.
2. Multiplication of ordinal numberSet theory Ordinal numbers or ordinals for short, are numbers used to denote the position in an ordered sequence: first, second, third, fourth, etc. See How to name numbers''. In mathematics, ordinal numbers are an extension of the natural numbers to accos, in contrast, is only left-distributive, not right-distributive.
3. MatrixAbstract algebra Algebra Linear algebra In mathematics, a matrix (plural matrices is a rectangular table of numbers or, more generally, of elements of a fixed ring. In this article, if unspecified, the entries of a matrix are always real or complex number multiplication is distributive over matrix addition, even though it's not commutative.
4. The union of sets is distributive over intersection, and intersection is distributive over union. Also, intersection is distributive over the symmetric differenceAbstract algebra Algebra In mathematics, the symmetric difference of two sets is the set of elements which are in one of either set, but not in both. This operation is the set-theoretic equivalent of the XOR operation in Boolean logic. The symmetric diffe.
5. Logical disjunctionIn logic and mathematics, a disjunction is an "or statement". For example "John skis or Sally swims" is a disjunction. Note that in everyday language, use of the word "or" can sometimes mean "either, but not both" (eg, "would you like tea or coffee?"). ("or") is distributive over logical conjunction ("and"), and conjunction is distributive over disjunction. Also, conjunction is distributive over exclusive disjunction ("xor").
6. For real numbers (or for any totally ordered set), the maximum operation is distributive over the minimum operation, and vice versa: max(a,min(b,c)) = min(max(a,b),max(a,c)) and min(a,max(b,c)) = max(min(a,b),min(a,c)).
7. For integers, the greatest common divisor is distributive over the least common multiple, and vice versa: gcd(a,lcm(b,c)) = lcm(gcd(a,b),gcd(a,c)) and lcm(a,gcd(b,c)) = gcd(lcm(a,b),lcm(a,c)).
8. For real numbers, addition distributes over the maximum operation, and also over the minimum operation: a + max(b,c) = max(a+b,a+c) and a + min(b,c) = min(a+b,a+c).

Distributivity is most commonly found in rings and distributive lattices.

A ring has two binary operations (commonly called "+" and "*"), and one of the requirements of a ring is that * must distribute over +. Most kinds of numbers (example 1) and matrices (example 3) form rings.

A lattice is another kind of algebraic structure with two binary operations, ^ and v. If either of these operations (say ^) distributes over the other (v), then v must also distribute over ^, and the lattice is called distributive. See also the article on distributivity (order theory).

Examples 4 and 5 are Boolean algebras, which can be interpreted either as a special kind of ring (a Boolean ring) or a special kind of distributive lattice (a Boolean lattice). Each interpretation is responsible for different distributive laws in the Boolean algebra. Examples 6 and 7 are distributive lattices which are not Boolean algebras.

Rings and distributive lattices are both special kinds of rigs, certain generalisations of rings. Those numbers in example 1 that don't form rings at least form rigs.