Problem

Source: Belarusian MO 2023

Tags: algebra, Operation, set, Binary operation



On a set $G$ we are given an operation $*: G \times G \to G$, that for every pair $(x,y)$ of elements of $G$ gives back $x*y \in G$, and for every elements $x,y,z \in G$ the equation $(x*y)*z=x*(y*z)$ holds. $G$ is partitioned into three non-empty sets $A,B$ and $C$. Can it be that for every three elements $a \in A, b \in B, c \in C$ we have $a*b \in C, b*c \in A, c*a \in B$