About a decade ago, it was realised that the satisfaction of a given identity (or equation) of the form f ( x 1 , … , x n ) ≈ f ( y 1 , … , y n ) in an algebra is equivalent to the algebra forcing a loop into any graph on which it acts and ... ...
