ArticleOriginal scientific text
Title
Classification systems and their lattice
Authors 1
Affiliations
- Institute of Mathematics, University of Miskolc, 3515 Miskolc-Egyetemváros, Hungary
Abstract
We define and study classification systems in an arbitrary CJ-generated complete lattice L. Introducing a partial order among the classification systems of L, we obtain a complete lattice denoted by Cls(L). By using the elements of the classification systems, another lattice is also constructed: the box lattice B(L) of L. We show that B(L) is an atomistic complete lattice, moreover Cls(L)=Cls(B(L)). If B(L) is a pseudocomplemented lattice, then every classification system of L is independent and Cls(L) is a partition lattice.
Keywords
concept lattice, CJ-generated complete lattice, atomistic complete lattice, (independent) classification system, classification lattice, box lattice
Bibliography
- R. Beazer, Pseudocomplemented algebras with Boolean congruence lattices, J. Austral. Math. Soc. 26 (1978), 163-168.
- B. Ganter and R. Wille, Formal Concept Analysis. Mathematical Foundations, Springer-Verlag, Berlin 1999.
- S. Radeleczki, Concept lattices and their application in Group Technology (Hungarian), 'Proceedings of International Computer Science Conference: microCAD'98 (Miskolc, 1998)', University of Miskolc 1999, 3-8.
- S. Radeleczki, Classification systems and the decomposition of a lattice into direct products, Math. Notes (Miskolc) 1 (2000), 145-156.
- E.T. Schmidt, A Survey on Congruence Lattice Representations, Teubner-texte zur Math., Band 42, Leipzig 1982.
- M. Stern, Semimodular Lattices. Theory and Applications, Cambridge University Press, Cambridge 1999.
- R. Wille, Subdirect decomposition of concept lattices, Algebra Universalis 17 (1983), 275-287.