Consider a non-associative commutative unital algebra of finite dimension where the product is defined by a Cayley table such that elements are generated with real number coefficients $(a_0, \dotsc, a_n) $ for a basis $\{1, i_1, \dotsc, i_n \}$ and we have a basis so that $ i_k^2 \in \{ -1, +1 \}$.

This implies the answer can be given in the form of a Cayley table for multiplying the finite dimensional basis $\{1, i_1, \dotsc, i_n \}$.

So our algebra is of the form $ a_0 + a_1 i_1 + a_2 i_2 + \dotsb$, addition is as usual and products are defined by a Cayley table relating the basis elements $\{1, i_1, \dotsc, i_n \}$ and we have a basis so that $ i_k^2 \in \{ -1, +1 \}$.

Also the product of two base elements $i_a$ and $i_b$ is never $0$.

Assume the algebra is also power-associative.

One important extra condition:

Let $T$ be such an Algebra.

Let $x$ be an element of $T$. Then $y^2 = x$ always has a solution $y$ within $T$.

So basically the square root is defined in the algebra.

The final condition is that this type of algebra $T$ we seek, is not isomorphic to a tensor product of the complex numbers with another algebra $B$ (taken over the reals).

What are simple or small examples of such "hypercomplex" algebras? What is the smallest dimension one can have?

I know there are methods* to test potential candidates (dimensions or proposed solutions) but they are cumbersome and give no “deeper insights”.

(*they usually involve things like Jacobi matrix or hessian)

I can’t find examples in literature. So I’m not even sure they exist but I hope they do.