Alex Wires and Renzhi Song, Department of Pure Mathematics, University of Waterloo
“The Smooth Theorem (continued), and Taylor and cyclic terms on finite algebras, the Prologue”
First part (Wires): We will utilize the Absorption Theorem for Taylor algebras to complete the proof of the Smooth Theorem. Second part (Song): In a three part series of talks, we will prove the equivalence of the existence of Taylor and cyclic terms on finite algebras. To set up the playing field, we will deduce corollaries to the absorption theorem and define important terminologies. Then, we will dissect the statement of the main theorem and state our plan of attack.