On Tamari lattices (Q1336690): Difference between revisions

The Tamari lattice \(T_ n\) is defined as the set of all binary bracketings on \(n+1\) symbols ordered by applying the associative rule only in one direction. Using a vector representation it is proved that this order defines a lattice. To determine the structure of Tamari lattices, the author uses methods of formal concept analysis. The Tamari lattices are bounded subdirectly irreducible lattices. A construction method for these lattices is given. Tamari lattices and their congruence lattices have the same number of elements.