papalex on Nostr: Ah, of course you’re right! Unital composition algebra implies division algebra ...

Ah, of course you’re right! Unital composition algebra implies division algebra only over the reals. So that was too impulsive 😅

And this makes more clear why this is an interesting question. Namely, what’s the effect of the idempotent structure that emerges when going from octonions to bioctonions on the Moufang identities?