A CHARACTERIZATION OF MEET AND JOIN RESPECTING PRE-ORDERS AND CONGRUENCES ON FINITE LATTICES
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-5903Full text not available from this repository.
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|
|Number of Pages:||13|
|Page Range:||pp. 773-785|
Actions (login required)