Anabanti, C.S.
(Algebra and Discrete Mathematics, 2021)
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 ...