Let $\mathbb{S}^7$ be the unit sphere of $\mathbb{R}^8$, which can be identified with the unit octonions. The circle $\mathbb{S}^1$ naturally acts on $\mathbb{S}^7$ by complex multiplication:
$$z \cdot x = (z x_1, z x_2, z x_3, z x_4),$$
where $z \in \mathbb{S}^1$, $x = (x_1, x_2, x_3, x_4) \in \mathbb{S}^7$ and $x_i \in \mathbb{C}$.
Denote octionic multiplication by $\ast$.
Is it true that
$$z \cdot (x \ast y) = (z \cdot x) \ast y, \quad \forall z \in \mathbb{S^1}, \, \forall x, y \in \mathbb{S}^7?$$
Hint: when $x=1$ the equality says $z\cdot y=z\ast y$. Do you think that's true?