Some notes on extended equation solvability and identity checking for groups

Michael Kompatscher

Every finite non-nilpotent group can be extended by a term operation such that solving equations in the resulting algebra is NP-complete and checking identities is co-NP-complete.…