Algebras from congruences

DOI10.1007/S00012-021-00740-7MaRDI QIDQ2238024zbMATH OpenOpenAlexFDO

Authors Peter Mayr, Ágnes Szendrei

Publication date 28 October 2021

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

commutatorcongruenceMaltsev conditionsupernilpotencesubpower membership

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Categories of algebras (08C05) Operations and polynomials in algebraic structures, primal algebras (08A40) Equational categories (18C05)

Abstract: We present a functorial construction which, starting from a congruence $alpha$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences between 0 and $alpha$ on A, this isomorphism preserves higher commutators and TCT types, and C inherits all idempotent Maltsev conditions from A. As applications of this construction, we first show that supernilpotence is decidable for congruences of finite algebras in varieties that omit type 1. Secondly, we prove that the subpower membership problem for finite algebras with a cube term can be effectively reduced to membership questions in subdirect products of subdirectly irreducible algebras with central monoliths. As a consequence, we obtain a polynomial time algorithm for the subpower membership problem for finite algebras with a cube term in which the monolith of every subdirectly irreducible section has a supernilpotent centralizer.

Recommendations

• The subpower membership problem for finite algebras with cube terms
• Hardness results for the subpower membership problem
• Some applications of higher commutators in Mal'cev algebras
• The subpower membership problem for Mal'cev algebras
• Finitely related clones and algebras with cube terms.

Cites work

• scientific article; zbMATH DE number 4134123 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3407893 (Why is no real title available?)
• A Characterization of Finitely Decidable Congruence Modular Varieties
• An easy test for congruence modularity
• Characterizing Mal'cev conditions
• Congruence modular varieties with small free spectra
• Hardness results for the subpower membership problem
• Higher commutator theory for congruence modular varieties
• Intermediate problems in modular circuits satisfiability
• Mal'cev algebras with supernilpotent centralizers
• Mal'cev varieties
• Many-sorted and single-sorted algebras
• ON SEMIGROUPS WITH PSPACE-COMPLETE SUBPOWER MEMBERSHIP PROBLEM
• On the number of finite Mal'tsev algebras
• Remarks on heterogeneous algebras
• Some applications of higher commutators in Mal'cev algebras
• Supernilpotence prevents dualizability
• The structure of decidable locally finite varieties
• The structure of finite algebras
• The subpower membership problem for Mal'cev algebras
• The subpower membership problem for bands
• The subpower membership problem for finite algebras with cube terms
• The subpower membership problem for semigroups
• Varieties with few subalgebras of powers

Cited in

(5)

• Algebraic construction of invariants of linear congruences
• scientific article; zbMATH DE number 3865356 (Why is no real title available?)
• The subpower membership problem for Mal'cev algebras
• Representing subalgebras as retracts of finite subdirect powers
• Finite representation of commutator sequences

This page was built for publication: Algebras from congruences

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