History
The definition of modularity is due to Richard Dedekind, who published most of the relevant papers after his retirement. In a paper published in 1894 he studied lattices, which he called dual groups (German: Dualgruppen) as part of his "algebra of modules" and observed that ideals satisfy what we now call the modular law. He also observed that for lattices in general, the modular law is equivalent to its dual.
In another paper in 1897, Dedekind studied the lattice of divisors with gcd and lcm as operations, so that the lattice order is given by divisibility. In a digression he introduced and studied lattices formally in a general context. He observed that the lattice of submodules of a module satisfies the modular identity. He called such lattices dual groups of module type (German: Dualgruppen vom Modultypus). He also proved that the modular identity and its dual are equivalent.
In the same paper, Dedekind observed further that any lattice of ideals of a commutative ring satisfies the following stronger form of the modular identity, which is also self-dual:
- (x ∧ b) ∨ (a ∧ b) = ∧ b.
He called lattices that satisfy this identity dual groups of ideal type (German: Dualgruppen vom Idealtypus). In modern literature, they are more commonly referred to as distributive lattices. He gave examples of a lattice that is not modular and of a modular lattice that is not of ideal type.
A paper published by Dedekind in 1900 had lattices as its central topic: He described the free modular lattice generated by three elements, a lattice with 28 elements.
Read more about this topic: Modular Lattice
Famous quotes containing the word history:
“All history and art are against us, but we still expect happiness in love.”
—Mason Cooley (b. 1927)
“The principle that human nature, in its psychological aspects, is nothing more than a product of history and given social relations removes all barriers to coercion and manipulation by the powerful.”
—Noam Chomsky (b. 1928)
“There is nothing truer than myth: history, in its attempt to “realize” myth, distorts it, stops halfway; when history claims to have “succeeded” this is nothing but humbug and mystification. Everything we dream is “realizable.” Reality does not have to be: it is simply what it is.”
—Eugène Ionesco (b. 1912)