Let G be a group. A subset S of G is product-free if there do not exist a, b, c ∈ S (not necessarily distinct) such that ab = c. One can ask about the existence of large product-free subsets for various groups, such as the groups of integers (see next section), or compact topological groups (as suggested in [11]). For the rest of this paper, however, I will require G to be a finite group of ord...