Subgroups of a finite group are Gassmann equivalent if for every conjugacy class . Equivalently their coset permutation representations have the same character of a representation. They need not be conjugate subgroups. The Sunada theorem turns this equality into equality of Laplacian eigenfunction multiplicities.
New to topics? Read the docs here!