Abstract (EN):
We prove that the identity checking problem in a finite semigroup S is co-NP-complete whenever S has a nonsolvable subgroup or S is the semigroup of all transformations on a 3-element set. Bibliography: 31 titles. © 2009 Springer Science+Business Media, Inc.
Language:
English
Type (Professor's evaluation):
Scientific