Algebras from congruences

DOI10.1007/S00012-021-00740-7zbMATH Open1484.08015arXiv1910.00689OpenAlexW3198570982MaRDI QIDQ2238024FDOQ2238024

Ágnes Szendrei, Peter Mayr

Publication date: 28 October 2021

Published in: Algebra Universalis (Search for Journal in Brave)

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.

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

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.

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)

Cites Work

• Varieties with few subalgebras of powers
• Title not available (Why is that?)
• Clones of algebras with parallelogram terms
• The structure of finite algebras
• Characterizing Mal'cev conditions
• Title not available (Why is that?)
• On the number of finite Mal'tsev algebras
• Congruence modular varieties with small free spectra
• Some applications of higher commutators in Mal'cev algebras
• Mal'cev varieties
• The structure of decidable locally finite varieties
• Many-sorted and single-sorted algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mal'cev algebras with supernilpotent centralizers
• An easy test for congruence modularity
• A Characterization of Finitely Decidable Congruence Modular Varieties
• SUPERNILPOTENCE PREVENTS DUALIZABILITY
• Higher commutator theory for congruence modular varieties
• The subpower membership problem for bands
• ON SEMIGROUPS WITH PSPACE-COMPLETE SUBPOWER MEMBERSHIP PROBLEM
• THE SUBPOWER MEMBERSHIP PROBLEM FOR MAL'CEV ALGEBRAS
• The subpower membership problem for semigroups
• Title not available (Why is that?)
• Intermediate problems in modular circuits satisfiability
• Title not available (Why is that?)
• Remarks on heterogeneous algebras
• Hardness results for the subpower membership problem

Cited In (3)

• Algebraic construction of invariants of linear congruences
• Title not available (Why is that?)
• 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)