Under the auspices of the Computational Complexity Foundation (CCF)
We show that there are infinitely many primes p, suchthat the subgroup membership problem for PSL(2,p) belongsto \NP \cap \coNP.
We show that the subgroup membership problem forPSL(2,p^f) is in NP \cap coNP.