Renzhi Song, Department of Pure Mathematics, University of Waterloo
“Taylor and cyclic terms on finite algebras. Claims and proofs.”
We continue to prove equivalence of the existence of Taylor and cyclic terms on finite algebras. This week, we will dive into the proof of the main theorem, which will be divided into several claims. We will attempt to cover as much of these as possible.