Full dualisability is independent of the generating algebra (Q422337): Difference between revisions

Let be \(\mathbb M\) and \(\mathbb N\) be two finite algebras that generate the same quasivariety \(\mathcal A\). The authors prove that if there is a full duality for \(\mathcal A\) based on \(\mathbb M\), then there is also one based on \(\mathbb N\) (Theorem 1.1). Recall that the corresponding result for dualisability was proved by \textit{M. J. Saramago} [Algebra Univers. 43, No. 2--3, 197--212 (2000; Zbl 1011.08003)] and \textit{B. A. Davey} and \textit{R. Willard} [Algebra Univers. 45, No. 1, 103--106 (2001; Zbl 1039.08006)], and for strong dualisability it was proved by \textit{J. Hyndman} [Algebra Univers. 51, No. 1, 29--34 (2004; Zbl 1092.08004)]. The route to Theorem 1.1 is via its multi-sorted generalisation (Theorem 1.2). In fact, the proof simultaneously establishes independence of the generator for multi-sorted full and strong dualities. The authors prove Theorem 1.2 using the same two-stage approach that \textit{B. A. Davey} et al. [Algebra Univers. 66, No. 4, 331--336 (2011; Zbl 1235.08004)] used to prove the corresponding result for multi-sorted duality: they show how to transfer a full/strong duality when an algebra is added to the generating set (Lemma 3.1), and how to transfer a full/strong duality when an algebra is removed from the generating set (Lemma 3.2). The following Theorem 2.4 tells exactly how to add to the type of an \textsl{alter ego} without destroying full duality. This theorem was proved in the single-sorted case by \textit{B. A. Davey} et al. [Int. J. Algebra Comput. 22, No. 1, 1250007, 36 p. (2012; Zbl 1258.08006), Theorem 5.3] as a corollary of a general theorem based on a Galois connection, which was set up to help give a better understanding of full dualities. While this Galois connection can be extended to the multi-sorted setting, the authors give a direct simpler proof of this multi-sorted version.