The following algebraic structure came up when I was thinking about invariants of coloured knots. The elements are all elements of a noncommutative free group $F$, and the operations are: 


1. $a^b= b^{-1}ab$, taking the conjugate in $F$.
2. $[a,b]= aba^{-1}b^{-1}$, taking the commutator of two elements in $F$.


And that's all. (If I were allowing only conjugation then this structure would be a conjugation quandle, but I'm also allowing to take commutators, but not to take products- the group product is not part of the structure). Are such structures at all studied or known?



> 
> **Question**: Is the full set of relations in this structure known (in the sense of universal algebra)? Is there a proof in the literature?
> 



What are the relations between conjugates and commutators?
There is a notion of multiplicative Lie algebras introduced here: Ellis, Graham J.
On five well-known commutator identities. J. Austral. Math. Soc. Ser. A 54 (1993), no. 1, 1–19. The signature there does include multiplication, though. The problem of finding axioms was solved there (I think somebody finally proved that the five standard commutator identities suffice). If the product operation is removed from the signature, the correct first question would be if the class is first order axiomatizable. It is not clear. One can write a bunch of axioms which certainly hold, but this list is not complete:


1. $[x,x]=[y,y]$ (call this element 1)
2. $[x,1]=[1,x]=1$
3. $[[x,y], [y,x]]=1$
4. $[x,y]=1, [x,z]=1 \to [x,[y,z]]=1$
5. $[x,y]^z=[x^z,y^z]$
6. $x^z=x \leftrightarrow [x,z]=1$
7. $\exists x,y, [x,y]\ne 1 \to \exists x \exists a, [x,a]=1, a\ne 1, a\ne x$


(The last axiom follows from the fact that if all elements of a group are of order 2, then the group is Abelian.) 


I think it is clear that the class cannot be axiomatized only by universal formulas (because it is not closed under taking subalgebras). It is closed under taking ultraproducts, which is a good news. 


