Decision problems like Graph Automorphism, Graph Isomorphism, Group Intersection, Coset Intersection, and Group Factorization for permutation groups give natural examples of such NP sets defined over the group family of all permutation groups. We show that any such NP set defined over permutation groups is low for PP and C₌P.

As one of our main results we prove that NP sets defined over abelian black-box groups are low for PP. The proof of this result is based on the decomposition theorem for finite abelian groups. As an interesting consequence of this result we obtain new lowness results: Membership Testing, Group Intersection, Group Factorization, and some other problems for abelian black-box groups are low for PP and C₌P.

As regards the corresponding counting problem for NP sets over any group family of arbitrary black-box groups, we prove that exact counting of number of solutions is in FP^AM. Consequently, none of these counting problems can be #P-complete unless PH collapses.