On the join dependency relation in multinomial lattices (Congruences of Multinomial Lattices)

Abstract : We study the congruence lattices of the multinomial lattices L(v) introduced by Bennett and Birkhoff. Our main motivation is to investigate Parikh equivalence relations that model concurrent computation. We accomplish this goal by providing an explicit description of the join dependency relation between two join irreducible elements and of its reflexive transitive closure. The explicit description emphasizes several properties and makes it possible to separate the equational theories of multinomial lattices by their dimensions. In their covering of non modular varieties Jipsen and Rose define a sequence of equations SD_{n}(\land), for n \geq 0. Our main result sounds as follows: if v = (v_{1},...,v_{n}) \in N^{n} and v_{i} > 0 for i = 1,..., n, then the multinomial lattice L(v) satisfies SD_{n-1}(\land) and fails SD_{n-2}(\land).
keyword : lattices
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00142355
Contributor : Luigi Santocanale <>
Submitted on : Wednesday, April 18, 2007 - 2:20:22 PM
Last modification on : Friday, March 9, 2018 - 11:26:25 AM

Links full text

Identifiers

Collections

Citation

Luigi Santocanale. On the join dependency relation in multinomial lattices (Congruences of Multinomial Lattices). Order, Springer Verlag, 2007, 24 (3), pp.155--179. ⟨10.1007/s11083-007-9066-0⟩. ⟨hal-00142355⟩

Share

Metrics

Record views

153