Finite affine algebras are fully dualizable

Abstract

We show that every finite Abelian algebra A from congruencepermutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure A ∼ of finite type. We give an explicit bound on the arities of the partial and total operations appearing in A ∼ . In addition, we show that the enriched partial hom-clone of A is finitely generated as a clone.Given an algebra A, we denote by A its underlying set, and by Sub(A) the set of subalgebras of A. The variety Var(A) (respectively, the quasivariety QVar(A)) generated by A is the smallest classes of algebras, with the signature of A, that is closed under taking products, subalgebras, and homomorphic images (respectively, products, subalgebras, and isomorphic algebras).Given X ⊆ A we denote by X the subalgebra of A generated by X. For an arbitrary set X and a variety V, we denote by F V (X) the algebra freely generated by X in V.A subproduct algebra A ≤ Π i A i is called a subdirect product if π i (A) = A i for each projection π i . An algebra is subdirectly irreducible if whenever it is isomorphic to a subdirect product, it is already isomorphic to one of its factors.An algebra A is affine if there exists an Abelian group structure A; +, 0, − such that t(x, y, z) = x − y + z is both a term function of A and a homomorphism from A 3 to A. A class of algebras C is affine if all of its algebras are. In the case of an affine variety V, it is easy to see that we may choose one term t that witnesses the affinity simultaneously for all members of V (e.g. we could take the term witnessing the affinity of F V (ω)).An algebra A is Abelian if [1 A , 1 A ] = 0 A , where 1 A and 0 A are the universal and trivial relations on A, and [·, ·] denotes the binary commutator on the congruences of A (we refer to [3] for the definition of the commutator). A class of algebras is Abelian if all of its members are. As usual, when dealing with commutator theoretic conditions, we restrict to algebras that generate congruence-modular varieties. With this condition, Abelian algebras and varieties coincide with affine algebras and varieties [3, Corollary 5.9], and we will use the two notations interchangeably throughout the paper. Our results will rely exclusively on the defining property of affine algebras.We repeat several results about congruences of Abelian algebras from [4].Definition 2.1 ([4], Definition 3.1). Let A be an Abelian algebra and B ∈ Sub(A). The congruence generated by B, denoted by Θ B is the smallest congruence of A containing B 2 .We remark that not every congruence of A can be written in the form Θ B for some subalgebra B, and that we might have Θ B = Θ C with B = C.Lemma 2.2 ([4], Lemma 3.3). Let A be an Abelian algebra, let B ∈ Sub(A), and let t be a term witnessing the affinity of A. ThenNote that this result implies that B is a congruence class of Θ B . Lemma 2.3 ([4], Corollary 3.7). Let A be an Abelian algebra and let B ∈ Sub(A) such that B is meet irreducible in the semilattice Sub(A);...

Finite Abelian algebras are dualizable

“…Note that the author, with Bentz and Sequeira in [1], extend the result to prove that finite Abelian algebras are strongly dualizable.…”