Skip to main content
6 events
when toggle format what by license comment
Dec 6, 2018 at 17:39 history edited S. Carnahan CC BY-SA 4.0
Corrected length condition, revised O(n) discussion following comment.
Dec 6, 2018 at 13:24 comment added YCor For the dimension of the "moduli space", this gives a lower bound in the dimension which is $n^3-\binom{n+3}{4}-\binom{n}{2}$, which is positive iff $n\in [2,16]$, and takes its maximum 299 at $n=13$. Notably for $n=2$ this takes the value $2$. Indeed the set of algebra law has 8 dimensions, there are 5 equations, and 1 dimension of symmetry. One should be able to explicitly provide a family in dimension 2. And also provide explicit examples in dimension 3.
Jun 12, 2012 at 11:20 vote accept aglearner
Jun 11, 2012 at 0:29 comment added S. Carnahan If you have a power-associative algebra, then any invertible element generates a cyclic group. Norm one elements may be torsion, but that's not a big deal. The Cayley-Dickson algebras satisfy the norm condition, by the properties of the norm-preserving anti-involution $x \mapsto x^\ast$. See the last section of: en.wikipedia.org/wiki/Cayley-Dickson_construction
Jun 10, 2012 at 19:55 comment added aglearner Dear Scott, thanks a lot for a thoughtful answer! The dimension calculation is nice :). Unfortunately after the answer of Bruce I realised that I am not 100% sure that Cayley-Dickson construction works... Do you think these algebras are indeed examples satisfying $|a*a|=|a|^2$? I understand that these algebras (sedonians, ect) are power associative, and each element has an inverse. But it seems to me that in order to prove that $|a*a|=|a|^2$ holds one has to show that $a$ and $a^{-1}$ together generate a (multiplicative) subgroup of the ring isomorphic to $\mathbb Z$. Is this indeed true?
Jun 10, 2012 at 11:36 history answered S. Carnahan CC BY-SA 3.0