Full dualisability is independent of the generating algebra (Q422337)

From MaRDI portal
Revision as of 17:04, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Full dualisability is independent of the generating algebra
scientific article

    Statements

    Full dualisability is independent of the generating algebra (English)
    0 references
    16 May 2012
    0 references
    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.
    0 references
    natural duality
    0 references
    full dualisability
    0 references
    strong dualisability
    0 references
    multi-sorted duality
    0 references
    0 references
    0 references
    0 references

    Identifiers