Supernilpotence prevents dualizability

DOI10.1017/S1446788713000517zbMATH Open1348.08005arXiv1210.3185OpenAlexW1998801357MaRDI QIDQ5408741FDOQ5408741

Wolfram Bentz, Peter Mayr

Publication date: 11 April 2014

Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)

Abstract: We address the question of the dualizability of nilpotent Mal'cev algebras, showing that nilpotent finite Mal'cev algebras with a non-abelian supernilpotent congruence are inherently non-dualizable. In particular, finite nilpotent non-abelian Mal'cev algebras of finite type are non-dualizable if they are direct products of algebras of prime power order. We show that these results cannot be generalized to nilpotent algebras by giving an example of a group expansion of infinite type that is nilpotent and non-abelian, but dualizable. To our knowledge this is the first construction of a non-abelian nilpotent dualizable algebra. It has the curious property that all its non-abelian finitary reducts with group operation are non-dualizable. We were able to prove dualizability by utilizing a new clone theoretic approach developed by Davey, Pitkethly, and Willard. Our results suggest that supernilpotence plays an important role in characterizing dualizability among Mal'cev algebras.

Full work available at URL: https://arxiv.org/abs/1210.3185

Recommendations

• On supernilpotent algebras
• Supernilpotence need not imply nilpotence
• 2-supernilpotent Mal'cev algebras
• Dualisability versus residual character: a theorem and a counterexample
• Dualizability and graph algebras

zbMATH Keywords

natural dualitynilpotenceMal'cev algebrapartial clones

Mathematics Subject Classification ID

Structure theory of algebraic structures (08A05) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Natural dualities for classes of algebras (08C20)

Cites Work

• Title not available (Why is that?)
• Natural dualities for quasivarieties generated by a finite commutative ring.
• Near unanimity: An obstacle to general duality theory
• Nilpotent groups are not dualizable
• Title not available (Why is that?)
• Natural duality via a finite set of relations
• Title not available (Why is that?)
• Congruence modular varieties with small free spectra
• Some applications of higher commutators in Mal'cev algebras
• The lattice of alter egos
• Mal'cev algebras with supernilpotent centralizers
• The Complexity of Dualisability: Three-Element Unary Algebras
• On \(p\)-groups as loop groups
• Finite nilpotent rings are not dualizable

Cited In (7)

• On supernilpotent algebras
• Algebras from congruences
• Natural dualities, nilpotence and projective planes
• Complexity of term representations of finitary functions
• Nilpotent groups are not dualizable
• Finite affine algebras are fully dualizable
• Higher commutator theory for congruence modular varieties

This page was built for publication: Supernilpotence prevents dualizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408741)