Suppose that are conjugacy classes of a finite group , and be the set of -tuples of such that is in and the product is trivial.
This can be used to show that many finite simple groups, including the monster group, are Galois groups of extensions of the rationals.