Here is a teatime puzzle.
Suppose is a finite group and
is a subset containing the identity such that
whenever
,
, and
. Show that these are the only possibilities:
is a subgroup,
for some
,
for some
,
for some quaternion subgroup
.
What other possibilities are there if we do not assume ?