Petr Vojtechovsky – Propagating equations with an application to Moufang theorem

University of Denver

An equation propagates in an algebra if
holds whenever
holds and all elements of are in the subalgebra of generated by . We offer results on propagating equations in general and on propagation of associativity in particular. We present several solutions to a problem of Rajah, who asked for a variety of loops in which Moufang theorem holds but that is not a subvariety of Moufang loops.
This is joint work with Aleš Drápal.