Supernilpotent Taylor algebras are nilpotent

Andrew Moorhead

We develop the theory of the higher commutator for Taylor varieties. A new higher commutator operation called the hypercommutator is defined using a type of invariant relation call…