Notes for CMU-1504/0:26:15

26:00 -- So, by renaming the nails, you get a bijection from $[[x,y],z]$ to e.g. $[[y,z],x]$. Is this obvious without considering the visual? Isomorphismes (talk) 19:39, 19 October 2015 (EDT)

I don't think I said that. "Dropping a nail" is the same as setting $x=e$ or $y=e$ or $z=e$, and it is easy to convince oneself that any one of these substitutions maps $[[x,y],z]$ to $e$. (And the same is true for further-iterated commutators, such as $[[[w,x],y],z]$, etc. --Drorbn (talk) 19:55, 19 October 2015 (EDT)