Distributive Association
A distributive lattice is a special structure in mathematics . Compared to general associations in which the two (doubledigit) operations and only the associative laws that Kommutativgesetze and the absorption laws are required, are in a distributive lattice additionally distributive for both directions .
The validity of the distributive laws makes associations more interesting. They are easier to examine because terms that occur are easier to transform and, in a certain sense, there are simple representations. Distributive associations occur very frequently, also in areas outside of mathematics. Boolean algebras are special distributive associations.
Clarification
In the following, by association V we always mean the association .
A union is called a distributive union if the following applies to all :
 .
Each of the two statements can be derived from the other with the help of the association axioms. It is therefore sufficient to demand the validity of one of these two distributive laws.
Every distributive association is modular , but not the other way around.
A modular lattice that is not distributive always contains the lattice , the lattice of the subgroups of Klein's group of four , as a sublattice. This results in the criterion:
 If a lattice has neither a subdivision of the form nor one of the form , then it is distributive.
Examples
Distributive associations can be found in many fields inside and outside of mathematics. Distributive associations are:
 any totally ordered set
 for every natural number the set of its divisors with the divisibility as an order relation ( i.e. GCD and LCM as links)
 any amount association with and
 any Boolean algebra
 the open sets of a topological space with as order
Reduction rule
In a distributive lattice the reduction rule: Apply to the two equations
 out and follows .
The example shows that this rule does not apply in any association. It is typical of distributive associations in the following sense:
 If the reduction rule is valid for any choice of in a lattice V, then is distributive.
Complements in distributive associations
For a given element a of a bounded lattice one calls an element b with the property
 and
a complement of a.
While there can generally be several complementary elements to an element , the following applies:
 if there is a complement of a in a distributive lattice , then it is uniquely determined.
One designates a clearly defined complement of with or (especially in applications in logic) or .
A distributive lattice in which every element has a (uniquely determined) complement is called Boolean algebra .
Even in a nondistributive lattice, each element can have exactly one complement. In order to be able to deduce the distributivity, one has to demand more:
 A lattice is distributive if each element has at most one relative complement in each interval .
If V is a distributive lattice and have complements, then also and have complements and it applies
 and
This is another formulation of de Morgan's rules .
Representation set for distributive associations
Distributive associations can also be characterized differently, because Birkhoff (1933) and Stone (1936) have shown:
 A lattice is distributive if and only if it is isomorphic to a set ring.
Of course, it follows from this that every distributive lattice can be embedded in a Boolean algebra.
Other properties
Every sublattice of a distributive lattice is distributive, but sublattices are not always distributive.
The homomorphic image of a distributive lattice is distributive.
The direct product of any number of distributive associations is distributive.
Complete distributivity
An association is volldistributiv when of each choice and each subset is valid
 .
Full distributivity is defined in two ways.
The term full distributivity without an addition is used differently:
 It can mean that one of these two conditions is met and in the other case one speaks of dual fully distributive or explicitly uses the above designation.
 It can mean that both conditions are met.
 It can mean that the following infinite distributive law and its dual form apply
 The following applies to all :
The following applies to all three terms:
Every fully distributive union is distributive and every finite distributive union is fully distributive.
A complete distributive union does not have to be fully distributive, as the example shows.
References and comments

↑
The proof is an equation transformation. We assume that D2 is true, and want to show D1: ; Applying the second axiom: ; after Absoptionsgesetz: ; Applying the second axiom in parenthesis: ; by associative law: ; the left side corresponds to the absorption law : .
The opposite direction follows dual.
 ↑ The proof (with several intermediate steps) can be found e.g. B. in: H. Gericke, Theory of Associations, Mannheim, 1967, p. 111
 ↑ This is also demonstrated with a simple set of equations in which the absorption law, the distributive and the conditions are used: ; after H. Gericke, Theory of Associations, 1967, p. 114
 ↑ The idea of proof is that in and the reduction rule does not apply. See H. Gericke, Theory of Associations, 1967, p. 113f
 ↑ This follows directly from the reduction rule
 ↑ G. Grätzer, Lattice Theory , 1971, p. 75
 ↑ So z. BH Gericke, Theory of Associations, 1967, p. 114
 ↑ This form was taken from G. Grätzer, Lattice Theory, p 118, Exercise 7.
 ^ H. Gericke, Theory of Associations, Mannheim, 1967, p. 114 f.
 ↑ The association without the 1 is a product of distributive. It is easy to see that the whole association is complete and distributive. The example can be found (with a slightly different Hasse diagram) in H. Gericke, Theory of Associations, Mannheim, ²1967, p. 115
literature
 Garrett Birkhoff : Lattice Theory . 3. Edition. AMS, Providence, RI 1973, ISBN 0821810251 .
 Marcel Erné: Introduction to Order Theory . Bibliographisches Institut, Mannheim 1982, ISBN 3411016388 .
 George Grätzer: General Lattice Theory . 2nd Edition. Birkhäuser, 1998, ISBN 9780817652395 .
 Hans Hermes : Introduction to Association Theory . 2nd Edition. Springer, Berlin / Heidelberg 1967.