The extended equivalence and equation solvability problems for groups

MaRDI QIDQ5414556zbMATH OpenFDO

Authors Gábor Horváth, Csaba Szabó

Publication date 6 May 2014

Full work available at URL https://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/2051/0.html

zbMATH Keywords

complexityextended equation solvabilityextended equivalencegroups

Mathematics Subject Classification ID

Finite nilpotent groups, (p)-groups (20D15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• The complexity of the equivalence and equation solvability problems over nilpotent rings and groups.
• The complexity of the equation solvability and equivalence problems over finite groups
• Results on the equivalence problem for finite groups.
• The complexity of the equivalence problem for nonsolvable groups
• The complexity of solving equations over finite groups

Cited in

(26)

• The complexity of the equation solvability problem over nilpotent groups
• Equivalence and equation solvability problems for the alternating group A₄.
• Some results on equivalence groups
• Universal solvability of group equations
• Evaluation of polynomials over finite rings via additive combinatorics
• Notes on extended equation solvability and identity checking for groups
• The complexity of the equivalence and equation solvability problems over meta-abelian groups
• On solvability of equations with endomorphisms in nilpotent groups
• Results on the equivalence problem for finite groups.
• EDT0L solutions to equations in group extensions
• Loosely-abelian algebras
• Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions
• THE COMPLEXITY OF CHECKING IDENTITIES OVER FINITE GROUPS
• The equation solvability problem over supernilpotent algebras with Mal’cev term
• The complexity of the equation solvability and equivalence problems over finite groups
• Satisfiability in MultiValued Circuits
• Parallel complexity for nilpotent groups
• Even Faster Algorithms for CSAT Over supernilpotent Algebras.
• CC-circuits and the expressive power of nilpotent algebras
• The complexity of the equivalence problem for nonsolvable groups
• Equation problem over central extensions of hyperbolic groups.
• A survey on varieties generated by small semigroups and a companion website
• The complexity of the equivalence and equation solvability problems over nilpotent rings and groups.
• Equation satisfiability in solvable groups
• Hardness of equations over finite solvable groups under the exponential time hypothesis
• Circuit equivalence in 2-nilpotent algebras

This page was built for publication: The extended equivalence and equation solvability problems for groups

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