A Cayley theorem for distributive lattices
type: Item
instance of: scholarly article
title: A Cayley theorem for distributive lattices
zbMATH Open document ID: 1186.06005
author: Helmut Länger
author: Ivan Chajda
published in: Algebra Universalis
publication date: 2010-01-04T00:00:00Z
review text: For every set \(M\), let \({\mathcal F}(M)\) denote the algebra \((M^{M^2},\diamond,\ast)\) of type (2,2) defined by \((f\diamond g)(x,y)=f(g(x,y),y)\) and \((f\ast g)(x,y)=f(x,g(x,y))\). For every lattice \((L,\vee,\wedge)\) and every \(a\in L\), let \(f_a\) denote the mapping \((x,y)\mapsto (a\vee x)\wedge y\) from \(L^2\) to \(L\) and \(\varphi\) the mapping \(a\mapsto f_a\) from \(L\) to \(L^{L^2}\). If \({\mathcal L}=(L,\vee,\wedge)\) is a distributive lattice, then \({\mathcal F}(L)\) is a distributive lattice and \(\varphi\) is an embedding of \(\mathcal L\) into \({\mathcal F}(L)\).
reviewed by: Sergiu Rudeanu
Mathematics Subject Classification ID: 06D05
zbMATH DE Number: 5652283
zbMATH Keywords: distributive lattice
zbMATH Keywords: representation
zbMATH Keywords: binary function
zbMATH Keywords: composition of functions
MaRDI profile type: Publication
full work available at URL: s00012-009-2109-1
OpenAlex ID: W1990550370
DOI: 10.1007/S00012-009-2109-1
description: scientific article; zbMATH DE number 5652283