Hello, this is a nice problem.
Suppose is a set of real numbers, closed under multiplication.
Suppose is partitioned into , such that both are closed under multiplication of three elements (so that implies , and similarily for ).
Show that either or is closed under multiplication.