Additive commutator

Definition
Suppose $$R$$ is a non-associative ring (i.e., a not necessarily associative ring) with binary operation $$*$$. The additive commutator, sometimes simply called the commutator on $$R$$ is a function:

$$[ \, \ ]: R \times R \to R$$

defined as:

$$[x,y] := (x * y) - (y * x)$$

Note that the term commutator in group theory is used for the group commutator, which is a different but related notion. If we are dealing with a ring and with subgroups of the multiplicative group, the terminology may be confusing. In this case, we use multiplicative commutator for the group commutator and additive commutator for the commutator as defined above.

Facts

 * If $$R$$ is an associative ring, then the additive commutator on its defines a Lie ring structure. This is termed the associated Lie ring of an associative ring.
 * If $$R$$ is an alternative ring, then the additive commutator on its defines a Malcev ring structure. This is termed the associated Malcev ring of an alternative ring.