Commutant-associative algebra

From HandWiki

In abstract algebra, a commutant-associative algebra is a nonassociative algebra over a field whose multiplication satisfies the following axiom:

[math]\displaystyle{ ([A_1,A_2], [A_3,A_4], [A_5,A_6]) =0 }[/math],

where [AB] = AB − BA is the commutator of A and B and (ABC) = (AB)C – A(BC) is the associator of A, B and C.

In other words, an algebra M is commutant-associative if the commutant, i.e. the subalgebra of M generated by all commutators [AB], is an associative algebra.

See also

References