A class of continuous non-associative algebras arising from algebraic groups including $E_8$. (14th January 2021)