The equation solvability problem over supernilpotent algebras with Mal’cev term
From MaRDI portal
Publication:4687481
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Congruence modularity, congruence distributivity (08B10) Operations and polynomials in algebraic structures, primal algebras (08A40) Applications of universal algebra in computer science (08A70) Word problems (aspects of algebraic structures) (08A50)
Recommendations
- SOLVABILITY OF SYSTEMS OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS
- Solving systems of equations in supernilpotent algebras
- The complexity of the equation solvability problem over semipattern groups
- The complexity of the equivalence and equation solvability problems over nilpotent rings and groups.
- The extended equivalence and equation solvability problems for groups
- The complexity of the equivalence problem for nonsolvable groups
- Expressive power, satisfiability and equivalence of circuits over nilpotent algebras
- The complexity of the equation solvability problem over nilpotent groups
- Evaluation of polynomials over finite rings via additive combinatorics
- Notes on extended equation solvability and identity checking for groups
Cites work
- scientific article; zbMATH DE number 4035895 (Why is no real title available?)
- Equivalence and equation solvability problems for the alternating group \(\mathbf A_4\).
- On finite Taylor algebras
- Some applications of higher commutators in Mal'cev algebras
- THE COMPLEXITY OF CHECKING IDENTITIES OVER FINITE GROUPS
- THE EQUIVALENCE PROBLEM OVER FINITE RINGS
- The complexity of solving equations over finite groups
- The complexity of the equation solvability problem over nilpotent groups
- The complexity of the equation solvability problem over semipattern groups
- The complexity of the equivalence and equation solvability problems over meta-abelian groups
- The complexity of the equivalence and equation solvability problems over nilpotent rings and groups.
- The complexity of the equivalence problem for nonsolvable groups
- The complexity of the equivalence problem over finite rings.
- The equivalence problem for finite rings
- The extended equivalence and equation solvability problems for groups
Cited in
(8)- Supernilpotent Taylor algebras are nilpotent
- Even Faster Algorithms for CSAT Over supernilpotent Algebras.
- scientific article; zbMATH DE number 7566068 (Why is no real title available?)
- Complexity and Unsolvability Properties of Nilpotency
- scientific article; zbMATH DE number 7561716 (Why is no real title available?)
- Supernilpotence need not imply nilpotence
- Expressive power, satisfiability and equivalence of circuits over nilpotent algebras
- SOLVABILITY OF SYSTEMS OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS
This page was built for publication: The equation solvability problem over supernilpotent algebras with Mal’cev term
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4687481)