Is there a name for this algebraic structure? - MathOverflow

Is there a name for this algebraic structure?

2010-02-22T11:57:16Z

I found myself "naturally" dealing with an object of this form:

X is a complex vector space, with a "product" (a,b) → {aba} which is quadratic in the first variable, linear in the second, and satisfies some associativity conditions. These conditions are actually complicated, but more or less say that {aba} looks like the product (aba) in an alternative algebra Y containing X as a subspace.

For example, the main "associativity condition" I am interested in is: {a{b{aca}b}a}={{aba}c{aba}}

Examples

Symmetric matrices
Octonions, or indeed any alternative algebra
Let J belong to GL(n,ℂ), with ^tJ=-J and J²=-Id, and W={w∈M(n×n,ℂ)|J^twJ=-w}

all with the standard product {aba}=aba.

All of these examples are Jordan algebras, with respect to the symmetrized product a∘b=½(ab+ba), but I cannot see any direct link between the Jordan product and my product.

Answer by Kurt Luoto for Is there a name for this algebraic structure?

2010-02-22T12:29:41Z

How hard/lengthy would it be to give a concrete example of your product?

Answer by Mariano Suárez-Alvarez for Is there a name for this algebraic structure?

2010-02-22T14:06:11Z

In a Jordan algebra with product $\cdot$, a triple product is defined by $$\{abc\}=(a\cdot b)\cdot c+(b\cdot c)\cdot a-(a\cdot c)\cdot b.$$ In a special Jordan algebra (constructed by symmetrising an associative product) one has $\{aba\}=aba$, and it is easy to show that in such algebras one always has the identity $$\{\{aba\}c\{aba\}\}=\{a\{b\{aca\}b\}a\}.$$ Now, there is an amazing general theorem of Macdonald's that states that any identity in three variables which is of degree at most one in one of them and which is valid in special Jordan algebras actually holds in all Jordan algebras. This is proved in Jacobson's breath-taking Structure and representations of Jordan algebras.

So your identity holds in all Jordan algebras. As a consequence, from the information you give it is more or less impossible to distinguish your structure from Jordan algebras, as far as I can see.

By the way, in his book, Jacobson notes that McCrimmon has developed the theory of Jordan algebras based exclusively on the composition $(a,b)\mapsto aba$, and gives [McCrimmon, Kevin. A general theory of Jordan rings. Proc. Nat. Acad. Sci. U.S.A. 56 1966 1072--1079. MR0202783 (34 #2643)] as reference. ~~I do not have access to the paper, though.~~ The paper can be gotten from this link Andrea provided in a comment below.