Multisorted dualisability: change of base
type: Item
instance of: scholarly article
title: Multisorted dualisability: change of base
zbMATH Open document ID: 1235.08004
published in: Algebra Universalis
publication date: 2011-12-14T00:00:00Z
review text: The basic theory of natural dualities applies to quasivarieties generated by a single finite algebra. \textit{B. A. Davey} and \textit{H. A. Priestley} [Houston J. Math. 13, 151--198 (1987; Zbl 0692.08012)] extended the theory to quasivarieties of the form \(\mathrm{ISP}(\mathcal{M})\), where \(\mathcal{M}\) is a finite indexed family of finite algebras. In such a case, one works with a multisorted alter ego with a sort for each algebra in \(\mathcal{M}\) and under additional conditions obtains a multisorted duality based on \(\mathcal{M}\). It is known (see [\textit{B. A. Davey} and \textit{R. Willard}, Algebra Univers. 45, No. 1, 103--106 (2001; Zbl 1039.08006)]) that if \(A\) and \(B\) are finite algebras generating the same quasivariety, i.e. \(\mathrm{ISP}(A)=\mathrm{ISP}(B)\), then if \(A\) is dualisable, so is \(B\). In this paper, the authors obtain a similar result for multisorted dualities, namely if \(\mathcal{A}=\mathrm{ISP}(\mathcal{M})=\mathrm{ISP}(\mathcal{N})\) for finite indexed families of finite algebras \(\mathcal{M}\) and \(\mathcal{N}\), then, if there is a multisorted duality for \(\mathcal{A}\) based on \(\mathcal{M}\), then there is a multisorted duality for \(\mathcal{A}\) based on \(\mathcal{N}\). The theorem provides then a change of base result for multisorted natural dualities. As a corollary one obtains that if \(\mathcal{A}=\mathrm{ISP}(M)=\mathrm{ISP}(\mathcal{N})\), where \(M\) is a finite algebra and \(\mathcal{N}\) a family defined as above, then, if \(\mathcal{A}\) has no natural duality based on \(M\), then it has no multisorted natural duality based on \(\mathcal{N}\). The proof of the theorem is constructive and based on two lemmas, presented in the paper, which show how to remove/add an algebra from/to the finite family generating the quasivariety. Also, an example for the described procedure is provided.
reviewed by: Anna Zamojska-Dzienio
Mathematics Subject Classification ID: 08C20
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 5988463
zbMATH Keywords: natural duality
zbMATH Keywords: dualisability
zbMATH Keywords: multisorted duality
author: Brian A. Davey
author: Maria João Gouveia
author: Miroslav Haviar
author: Hilary A. Priestley
MaRDI profile type: Publication
full work available at URL: s00012-011-0158-8
OpenAlex ID: W2132223827
cites work: Q4220406
cites work: Endoprimal distributive lattices are endodualisable
cites work: Q3033816
cites work: The dualisability of a quasi-variety is independent of the generating algebra.
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
cites work: Some remarks on dualisability and endodualisability
DOI: 10.1007/S00012-011-0158-8
Recommended article: Full dualisability is independent of the generating algebra
Recommended article: The Complexity of Dualisability: Three-Element Unary Algebras
Recommended article: Transferral of entailment in duality theory II: Strong dualisability
Recommended article: The lattice of alter egos
Recommended article: The dualisability of a quasi-variety is independent of the generating algebra.
Recommended article: Q4220406
Recommended article: Q5446632
Recommended article: Transferring Optimal Dualities: Theory and Practice
Recommended article: Strong duality of finite algebras that generate the same quasivariety
Recommended article: OPTIMAL NATURAL DUALITIES: THE STRUCTURE OF FAILSETS
description: scientific article; zbMATH DE number 5988463