Classification conjecture for finite filled groups

Let GG be a finite group. A subset SGS\subseteq G is product-free if SSS=S\cap SS=\emptyset, and it is complete if GSSSG^{\ast}\subseteq S\cup SS, where G=G{1}G^{\ast}=G\setminus\{1\}. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. The group GG is filled if every locally maximal product-free subset of GG is complete. Write CmC_m for the cyclic group of order mm, DmD_m for the dihedral group of order mm, and Q8Q_8 for the quaternion group of order 88; D8Q8D_8\ast Q_8 denotes their central product.

Classification conjecture. The group GG is filled if and only if GG is either an elementary abelian 22-group or one of

C3, C5, D6, D8, D10, D12, D14, D8×C2, D22, D8Q8, (D8Q8)×C2.C_3,\ C_5,\ D_6,\ D_8,\ D_{10},\ D_{12},\ D_{14},\ D_8\times C_2,\ D_{22},\ D_8\ast Q_8,\ (D_8\ast Q_8)\times C_2.

The authors report that this list agrees with computations in the small groups library through order 20002000, but the stated classification is presented as a conjecture and no resolution is supplied in the given text.

Sources & referencesView supporting material

Primary source

Chimere S. Anabanti, Grahame Erskine and Sarah B. Hart, “Groups whose locally maximal product-free sets are complete”, arXiv:1609.09662 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.