Abstract
A long-standing conjecture in dimension theory asserts that every ordered set with at least three elements contains two elements whose removal decreases the dimension by at most one. We disprove the yet stronger conjecture that the removal of any critical pair decreases the dimension by at most one. We have constructed the counterexample using Ferrers dimension which will be described in this paper.
Similar content being viewed by others
References
A. Bouchet (1971) Etude combinatoire des ordonnés finis, Application, Thésè, Université Pierre et Marie Curie, Paris.
O. Cogis (1980) La dimension Ferrers des graphes orientes. Thésè, Université Pierre et Marie Curie, Paris.
J.-P. Doignon, A. Ducamp, and J. C. Falmagne (1984) On realizable biorders and the biorder dimension of a relation.J. Math. Phys. 28, 73–109.
D. Kelly and W. T. Trotter (1982) Dimensions theory for ordered sets, inOrdered Sets (ed. I. Rival), D. Reidel, Dordrecht, pp. 171–212.
M. G. M. Koppen (1987) On finding the bidimension of a relation,J. Math. Phys. 31, 155–178.
K. Reuter (1989) On the dimension of the product of orders and relations, FB4-Preprint, TH Darmstadt 1987, to appear inORDER.
K. Reuter (1989/90) On the order dimension of convex polytopes, FB4-Preprint, TH Darmstadt 1987, to appear inEuropean J. Comb.
W. T. Trotter and T. R. Monroe (1982) A combinatorial problem involving graphs and matrices,Discr. Math. 39, 87–101.
R. Wille (1983) Subdirect decomposition of concept lattices,Algebra Universalis 17, 275–287.
R. Wille (1982) Restructuring lattice theory: an approach based on hierarchies of concepts, inOrdered Sets (ed. I. Rival), D. Reidel, Dordrecht, pp. 445–470.
R. Wille (1989) Lattices in data analysis: How to draw them with a computer, inAlgorithms and Order (ed. I. Rival), Kluwer Academic Pubs. Dordrecht, pp. 33–58.
Author information
Authors and Affiliations
Additional information
Communicated by I. Rival
AMS subject classification (1980). 06A10.
Rights and permissions
About this article
Cite this article
Reuter, K. Removing critical pairs. Order 6, 107–118 (1989). https://doi.org/10.1007/BF02034329
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02034329