The Library
A CHARACTERIZATION OF MEET AND JOIN RESPECTING PRE-ORDERS AND CONGRUENCES ON FINITE LATTICES
Tools
UNSPECIFIED (1993) A CHARACTERIZATION OF MEET AND JOIN RESPECTING PRE-ORDERS AND CONGRUENCES ON FINITE LATTICES. ACTA INFORMATICA, 30 (8). pp. 773-785. ISSN 0001-5903.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
A connection between pre-orders that respect the operations of the lattice and sets of join-irreducibles closed under a relation almost-equal-to between join-irreducibles is demonstrated. It is shown that any lattice pre-order determines two sets of join-irreducibles closed under the relation almost-equal-to and that elements of the lattice are related by the pre-order if and only if the subsets of join-irreducibles which they are greater than are comparable. The above connection is extended to congruences and the set of join-irreducibles that determine congruences that produce distributive quotient lattices are characterised. Finally it is shown that the quotient lattice of an arbitrary congruence is isomorphic to the lattice of decreasing subsets of join-irreducibles that determine the congruence.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Journal or Publication Title: | ACTA INFORMATICA | ||||
Publisher: | SPRINGER VERLAG | ||||
ISSN: | 0001-5903 | ||||
Official Date: | November 1993 | ||||
Dates: |
|
||||
Volume: | 30 | ||||
Number: | 8 | ||||
Number of Pages: | 13 | ||||
Page Range: | pp. 773-785 | ||||
Publication Status: | Published |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |