On the join dependency relation in multinomial lattices (Congruences of Multinomial Lattices) - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Order Année : 2007

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

Résumé

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).

Mots clés

Dates et versions

hal-00142355 , version 1 (18-04-2007)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More