Some applications of higher commutators in Mal'cev algebras
From MaRDI portal
Publication:607465
Many properties of higher commutators in congruence-permutable varieties are derived. Let \(A\) be a finite nilpotent algebra of finite type that is a product of algebras of prime power order and generates a congruence-modular variety. Using higher commutators, the following results are proved: There is an algorithm that decides whether every congruence-preserving function on \(A\) is a polynomial function on \(A\) or not. The problem of deciding if two given polynomial terms of \(A\) induce the same function has polynomial time complexity in the length of the input terms.
Recommendations
Cites work
- Congruence modular varieties with small free spectra
- EVERY (k + 1)-AFFINE COMPLETE NILPOTENT GROUP OF CLASS k IS AFFINE COMPLETE
- scientific article; zbMATH DE number 3824029 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 4035895 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1098767 (Why is no real title available?)
- Ideals in universal algebras
- Mal'cev varieties
- Polynomial Clones Containing the Mal'tsev Operation of the Groups {\open Z}_{p^{2}} and {\open Z}_p \times {\open Z}_p
- Polynomial clones on groups of order \(pq\)
- The complexity of equivalence for commutative rings
- The complexity of solving equations over finite groups
- The equivalence problem for finite rings
- The polynomial functions of certain algebras that are simple modulo their center
- The structure of finite algebras
- Three remarks on the modular commutator
- Über die affin vollständigen, endlich erzeugbaren Moduln
Cited in
(49)- On supernilpotent algebras
- Higher commutator theory for congruence modular varieties
- Commutator theory for racks and quandles
- Algebras from congruences
- Abelian extensions and solvable loops.
- Is supernilpotence super nilpotence?
- Supernilpotence need not imply nilpotence
- Bounding the free spectrum of nilpotent algebras of prime power order
- Uniform Mal'cev algebras with small congruence lattices.
- Higher commutators in semigroups with zero
- Three concepts of nilpotence in loops
- Finite generation of congruence preserving functions
- A relational description of higher commutators in Mal'cev varieties
- scientific article; zbMATH DE number 3927001 (Why is no real title available?)
- 2-supernilpotent Mal'cev algebras
- Sequences of commutator operations
- Commutator theory for loops.
- Congruence lattices forcing nilpotency
- The equation solvability problem over supernilpotent algebras with Mal’cev term
- Complexity of term representations of finitary functions
- The descending central series of higher commutators for simple algebras
- Generating subdirect products
- On the ternary commutator. I: Exact Mal'tsev categories
- Expressive power, satisfiability and equivalence of circuits over nilpotent algebras
- Satisfiability in MultiValued Circuits
- Even Faster Algorithms for CSAT Over supernilpotent Algebras.
- Solving systems of equations in supernilpotent algebras
- CC-circuits and the expressive power of nilpotent algebras
- Higher Kiss terms
- Supernilpotent Taylor algebras are nilpotent
- The largest higher commutator sequence
- Congruence preserving expansions of nilpotent algebras
- Mal'cev algebras with supernilpotent centralizers
- Supernilpotence prevents dualizability
- On the Direct Decomposition of Nilpotent Expanded Groups
- Finite representation of commutator sequences
- Central nilpotency of skew braces
- Congruence preserving operations on the ring $\mathbb{Z}_{p^3}$
- Vaughan-Lee's nilpotent loop of size 12 is finitely based
- Supernilpotent groups and 3-supernilpotent loops
- Supernilpotent semigroups
- Mal'cev complexes
- Every finite nilpotent loop has a supernilpotent loop as reduct
- The subpower membership problem of 2-nilpotent algebras
- Circuit equivalence in 2-nilpotent algebras
- On when the union of two algebraic sets is algebraic
- Commutators in completely simple semigroups
- Solvable and (super)nilpotent semigroups with completely simple ideal and (super)nilpotent monoids
- Representing subalgebras as retracts of finite subdirect powers
This page was built for publication: Some applications of higher commutators in Mal'cev algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607465)
