For testing that a distribution is invariant under the action of a finite group (e.g., the distribution is exchangeable) a most powerful test, against a specific alternative, among the class of tests invariant under a second, arbitrary group is obtained. After a class of permutation tests...