What on Earth is the tag algebraic-identities for? It seems to me that questions containing at least one equal sign get randomly tagged with it, including questions that have nothing to do with algebra. The tag excerpt (there's no tag wiki) mentions "algebraic structures", which I guess includes ...
"For questions regarding identities in algebraic structures, including the construction, composition, and interpretation thereof."
I wonder whether the fact that Alexander Gruber created the tag-excerpt for this tag should be interpreted as a sign that he supports this tag. He might even be tag creator; since this is the oldes question in that tag.
Lately I have been thinking about commutator formulas, sparked by rereading the following paragraph in Isaacs (p.125):
An amazing commutator formula is the Hall-Witt identity: $$[x,y^{-1},z]^y[y,z^{-1},x]^z[z,x^{-1},y]^x=1,$$ which holds for any three elements of every group. $\ldots$ One c...
Lately I have been thinking about commutator formulas, sparked by rereading the following paragraph in Isaacs (p.125):
An amazing commutator formula is the Hall-Witt identity: $$[x,y^{-1},z]^y[y,z^{-1},x]^z[z,x^{-1},y]^x=1,$$ which holds for any three elements of every group. $\ldots$ One c...
