Commutant-associative algebra
In abstract algebra, a commutant-associative algebra is a nonassociative algebra over a field whose multiplication satisfies the following axiom:
where = AB − BA is the commutator of A and B and
= C – A 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 , is an associative algebra.
