The subpower membership problem for Mal'cev algebras

DOI10.1142/S0218196712500750MaRDI QIDQ4902687zbMATH OpenFDO

Authors Peter Mayr

Publication date 17 January 2013

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196712500750

zbMATH Keywords

generatorsinterpolationMal'tsev algebrasmembership testpartial functionssubalgebras of powers

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Hardness results for the subpower membership problem
• The subpower membership problem for finite algebras with cube terms
• Mal'tsev condition satisfaction problems for conditions which imply edge terms
• Algebras from congruences
• scientific article; zbMATH DE number 1304317

Cites work

• A finite set of functions with an EXPTIME-complete composition problem
• A Simple Algorithm for Mal'tsev Constraints
• Constantive Mal’cev clones on finite sets are finitely related
• Enumeration of nilpotent loops via cohomology.
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3736029 (Why is no real title available?)
• Mal'cev algebras with supernilpotent centralizers
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• The structure of finite algebras
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

Cited in

(11)

• The subpower membership problem for bands
• Chevalley-Warning type results on abelian groups
• Algebras from congruences
• The subpower membership problem for finite algebras with cube terms
• ON SEMIGROUPS WITH PSPACE-COMPLETE SUBPOWER MEMBERSHIP PROBLEM
• Hardness results for the subpower membership problem
• Local–global property for G-invariant terms
• Deciding the existence of minority terms
• The subpower membership problem for semigroups
• Vaughan-Lee's nilpotent loop of size 12 is finitely based
• The subpower membership problem of 2-nilpotent algebras

This page was built for publication: The subpower membership problem for Mal'cev algebras

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