Multiplicative Lie ring

Left action convention
A multiplicative Lie ring is a (possibly abelian, possibly non-abelian) group $$L$$ equipped with a function $$\{ \, \ \}: \times L \to L$$ such that the following hold. For convenience, we denote by $$c_g(h)$$ the element $$ghg^{-1}$$, obtained by conjugation of $$h$$ by $$g$$. The following conditions must hold for all $$x,x',y,y' \in L$$.


 * $$\{ x,x \} = 1$$ (here, $$1$$ denotes the identity elemnet of $$L$$)
 * $$\{ x,yy' \} = \{ x, y \} c_y(\{ x,y'\})$$
 * $$\{ xx',y \} = c_x(\{ x', y\}) \{x,y\}$$
 * $$\{ \{x,y \}, c_y(z) \} \{ \{ y,z \}, c_z(x) \} \{ \{ z,x \}, c_x(y) \} = 1$$
 * $$c_z(\{x,y \}) = \{c_z(x), c_z(y) \}$$

Viewpoints

 * The multiplicative Lie rings form a variety of algebras.
 * We can therefore also talk of the category of multiplicative Lie rings.

Particular cases

 * Every group can naturally be viewed as a multiplicative Lie ring, namely, the multiplicative Lie ring where the bracket is the commutator in the group. The second and third identity follow from the formula for commutator of element and product of two elements. The fourth identity is a variation of Witt's identity, while the fifth identity follows from the fact that group acts as automorphisms by conjugation.
 * Every group equipped with the trivial bracket is a multiplicative Lie ring. This particular multiplicative Lie ring structure is termed the abelian multiplicative Lie ring.
 * Every Lie ring is a multiplicative Lie ring. In fact, Lie rings are precisely the multiplicative Lie rings whose underlying groups are abelian groups.