Algebras from congruences

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

Authors: Peter Mayr, Ágnes Szendrei 

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)