If $G$ is a group in which $(ab)^i = a^ib^i$ for two consecutive integers $i$, for all $a,b \in G$, can we conclude that $G$ is abelian?
Non-abelian group $G$ satisfying $(a \cdot b)^i=a^i \cdot b^i,$ for two consecutive integers.