fbb07696793af26b.tex
1: \begin{abstract}
2: \noindent Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is {\em product-free} if $S \cap SS = \emptyset$, and {\em complete}  if $G^{\ast} \subseteq S \cup SS$.  A product-free set is {\em locally maximal} if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead \cite{SW1974} %[J. Combin. Theory Ser. A \textbf{17} (1974), 219--226]
3:  defined a group $G$ as {\em filled} if every locally maximal product-free set $S$ in $G$ is complete (the term comes from their use of the phrase `{\em $S$ fills $G$}' to mean $S$ is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by two of the current authors in \cite{AH2015}%[Austral. Journal of Combinatorics \textbf{63 (3)} (2015), 385--398]
4:  , where we also classified the filled groups of odd order.  In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order $2^np$ where $p$ is an odd prime. We use these results to determine all filled groups of order up to 2000. 
5: % Keywords are optional
6: %\keywords{Locally maximal, product-free, groups.}
7: \end{abstract}