Groups containing locally maximal product-free sets of size 4

Abstract

Every locally maximal product-free set S in a finite group G satisfies G = S ∪ SS ∪ S⁻¹S ∪ SS⁻¹ ∪ √S, where SS = {xy | x, y ∈ S}, S⁻¹S = {x⁻¹y | x, y ∈ S}, SS⁻¹ = {xy⁻¹ | x, y ∈ S} and √S = {x ∈ G | x² ∈ S}. To better understand locally maximal product-free sets, Bertram asked whether every locally maximal product-free set S in a finite abelian group satisfy |√S| ≤ 2|S|. This question was recently answered in the negation by the current author. Here, we improve some results on the structures and sizes of finite groups in terms of their locally maximal product-free sets. A consequence of our results is the classification of abelian groups that contain locally maximal product-free sets of size 4, continuing the work of Street, Whitehead, Giudici and Hart on the classification of groups containing locally maximal product-free sets of small sizes. We also obtain partial results on arbitrary groups containing locally maximal product-free sets of size 4, and conclude with a conjecture on the size 4 problem as well as an open problem on the general case.