John Carlos Baez on Nostr: - Thanks! I'll check it out. Do you know if you needed to use octonions x and y that ...

- Thanks! I'll check it out. Do you know if you needed to use octonions x and y that are each a complex linear combination of THREE basis octonions? That means I get 9 terms when I multiply two of them, and perhaps even more when I compute x (x* y). I'm lazy so I'd like a simpler counterexample if it exists.

But I believe you; it would be a bit of a miracle to always get (x x*) y = x (x* y).