Distributive property
In mathematics, the distributive property of binary operations generalizes the distributive law from elementary algebra, which asserts that one has always
For example, one has
 2 ⋅ (1 + 3) = (2 ⋅ 1) + (2 ⋅ 3).
One says that multiplication distributes over addition.
This basic property of numbers is assumed in the definition of most algebraic structures that have two operations called addition and multiplication, such as complex numbers, polynomials, matrices, rings, and fields. It is also encountered in Boolean algebra and mathematical logic, where each of the logical and (denoted ∧) and the logical or (denoted ∨) distributes over the other.
Definition
Given a set S and two binary operators ∗ and + on S, the operation ∗ :
is leftdistributive over (or with respect to) + if, given any elements x, y and z of S,
is rightdistributive over + if, given any elements x, y, and z of S,
 and
is distributive over + if it is left and rightdistributive.^{ [1]}
When ∗ is commutative, the three conditions above are logically equivalent.
Meaning
The operators used for examples in this section are those of the usual addition () and multiplication ().
If the operation denoted is not commutative, there is a distinction between leftdistributivity and rightdistributivity:
 (leftdistributive)
 (rightdistributive)
In either case, the distributive property can be described in words as:
To multiply a sum (or difference) by a factor, each summand (or minuend and subtrahend) is multiplied by this factor and the resulting products are added (or subtracted).
If the operation outside the parentheses (in this case, the multiplication) is commutative, then leftdistributivity implies rightdistributivity and vice versa, and one talks simply of distributivity.
One example of an operation that is "only" rightdistributive is division, which is not commutative:
In this case, leftdistributivity does not apply:
The distributive laws are among the axioms for rings (like the ring of integers) and fields (like the field of rational numbers). Here multiplication is distributive over addition, but addition is not distributive over multiplication. Examples of structures with two operations that are each distributive over the other are Boolean algebras such as the algebra of sets or the switching algebra.
Multiplying sums can be put into words as follows: When a sum is multiplied by a sum, multiply each summand of a sum with each summand of the other sum (keeping track of signs) then add up all of the resulting products.
Examples
Real numbers
In the following examples, the use of the distributive law on the set of real numbers is illustrated. When multiplication is mentioned in elementary mathematics, it usually refers to this kind of multiplication. From the point of view of algebra, the real numbers form a field, which ensures the validity of the distributive law.
 First example (mental and written multiplication)
 During mental arithmetic, distributivity is often used unconsciously:
 Second example (with variables)

 Third example (with two sums)

 Fourth example
 Here the distributive law is applied the other way around compared to the previous examples. Consider
Matrices
The distributive law is valid for matrix multiplication. More precisely,
for all matrices and matrices , as well as
for all matrices and matrices . Because the commutative property does not hold for matrix multiplication, the second law does not follow from the first law. In this case, they are two different laws.
Other examples
 Multiplication of ordinal numbers, in contrast, is only leftdistributive, not rightdistributive.
 The cross product is left and rightdistributive over vector addition, though not commutative.
 The union of sets is distributive over intersection, and intersection is distributive over union.
 Logical disjunction ("or") is distributive over logical conjunction ("and"), and vice versa.
 For real numbers (and 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)).
 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)).
 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).
 For binomial multiplication, distribution is sometimes referred to as the FOIL Method^{ [2]} (First terms ac, Outer ad, Inner bc, and Last bd) such as: (a + b) · (c + d) = ac + ad + bc + bd.
 In all semirings, including the complex numbers, the quaternions, polynomials, and matrices, multiplication distributes over addition: .
 In all algebras over a field, including the octonions and other nonassociative algebras, multiplication distributes over addition.
Propositional logic
Rule of replacement
In standard truthfunctional propositional logic, distribution^{ [3]}^{ [4]} in logical proofs uses two valid rules of replacement to expand individual occurrences of certain logical connectives, within some formula, into separate applications of those connectives across subformulas of the given formula. The rules are
and
where "", also written ≡, is a metalogical symbol representing "can be replaced in a proof with" or "is logically equivalent to".
Truth functional connectives
Distributivity is a property of some logical connectives of truthfunctional propositional logic. The following logical equivalences demonstrate that distributivity is a property of particular connectives. The following are truthfunctional tautologies.
 Distribution of conjunction over conjunction
 Distribution of conjunction over disjunction
 Distribution of disjunction over conjunction
 Distribution of disjunction over disjunction
 Distribution of implication
 Distribution of implication over equivalence
 :
 Distribution of implication over conjunction
 Distribution of disjunction over equivalence
 Double distribution
Distributivity and rounding
In approximate arithmetic, such as floatingpoint arithmetic, the distributive property of multiplication (and division) over addition may fail because of the limitations of arithmetic precision. For example, the identity 1/3 + 1/3 + 1/3 = (1 + 1 + 1) / 3 fails in decimal arithmetic, regardless of the number of significant digits. Methods such as banker's rounding may help in some cases, as may increasing the precision used, but ultimately some calculation errors are inevitable.
In rings and other structures
Distributivity is most commonly found in rings and distributive lattices.
A ring has two binary operations, commonly denoted + and ∗, and one of the requirements of a ring is that ∗ must distribute over +.
A lattice is another kind of algebraic structure with two binary operations, ∧ and ∨. If either of these operations distributes over the other (say ∧ distributes over ∨), then the reverse also holds (∨ distributes over ∧), and the lattice is called distributive. See also Distributivity (order theory).
A Boolean algebra 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.
Failure of one of the two distributive laws brings about nearrings and nearfields instead of rings and division rings respectively. The operations are usually configured to have the nearring or nearfield distributive on the right but not on the left.
Rings and distributive lattices are both special kinds of rigs, which are generalizations of rings that have the distributive property. For example, natural numbers form a rig.
Generalizations
In several mathematical areas, generalized distributivity laws are considered. This may involve the weakening of the above conditions or the extension to infinitary operations. Especially in order theory one finds numerous important variants of distributivity, some of which include infinitary operations, such as the infinite distributive law; others being defined in the presence of only one binary operation, such as the according definitions and their relations are given in the article distributivity (order theory). This also includes the notion of a completely distributive lattice.
In the presence of an ordering relation, one can also weaken the above equalities by replacing = by either ≤ or ≥. Naturally, this will lead to meaningful concepts only in some situations. An application of this principle is the notion of subdistributivity as explained in the article on interval arithmetic.
In category theory, if (S, μ, η) and (S′, μ′, η′) are monads on a category C, a distributive law S.S′ → S′.S is a natural transformation λ : S.S′ → S′.S such that (S′, λ) is a lax map of monads S → S and (S, λ) is a colax map of monads S′ → S′. This is exactly the data needed to define a monad structure on S′.S: the multiplication map is S′μ.μ′S^{2}.S′λS and the unit map is η′S.η. See: distributive law between monads.
A generalized distributive law has also been proposed in the area of information theory.
Antidistributivity
The ubiquitous identity that relates inverses to the binary operation in any group, namely (xy)^{−1} = y^{−1}x^{−1}, which is taken as an axiom in the more general context of a semigroup with involution, has sometimes been called an antidistributive property (of inversion as a unary operation).^{ [5]}
In the context of a nearring, which removes the commutativity of the additively written group and assumes only onesided distributivity, one can speak of (twosided) distributive elements but also of antidistributive elements. The latter reverse the order of (the noncommutative) addition; assuming a leftnearring (i.e. one which all elements distribute when multiplied on the left), then an antidistributive element a reverses the order of addition when multiplied to the right: (x + y)a = ya + xa.^{ [6]}
In the study of propositional logic and Boolean algebra, the term antidistributive law is sometimes used to denote the interchange between conjunction and disjunction when implication factors over them:^{ [7]}
 (a ∨ b) ⇒ c ≡ (a ⇒ c) ∧ (b ⇒ c)
 (a ∧ b) ⇒ c ≡ (a ⇒ c) ∨ (b ⇒ c)
These two tautologies are a direct consequence of the duality in De Morgan's laws.
Notes
 ^ Distributivity of Binary Operations from Mathonline
 ^ Kim Steward (2011) Multiplying Polynomials from Virtual Math Lab at West Texas A&M University
 ^ Elliott Mendelson (1964) Introduction to Mathematical Logic, page 21, D. Van Nostrand Company
 ^ Alfred Tarski (1941) Introduction to Logic, page 52, Oxford University Press
 ^ Chris Brink; Wolfram Kahl; Gunther Schmidt (1997). Relational Methods in Computer Science. Springer. p. 4. ISBN 9783211829714.
 ^ Celestina Cotti Ferrero; Giovanni Ferrero (2002). Nearrings: Some Developments Linked to Semigroups and Groups. Kluwer Academic Publishers. pp. 62 and 67. ISBN 9781461302674.
 ^ Eric C.R. Hehner (1993). A Practical Theory of Programming. Springer Science & Business Media. p. 230. ISBN 9781441985965.
External links
Look up distributivity in Wiktionary, the free dictionary. 
 A demonstration of the Distributive Law for integer arithmetic (from cuttheknot)