Constraint Satisfaction and Universal Algebra learning seminar

Tuesday, November 5, 2013 10:30 am - 10:30 am EST (GMT -05:00)

Renzhi Song, Department of Pure Mathematics, University of Waterloo

“Taylor and cyclic terms on finite algebras, The End”

Finally we will finish showing the equivalence of existence of Taylor and cyclic terms on finite algebras. Continuing from last time, we will be using all of the results we have shown in the past few weeks. We have already reduced the statement of the main theorem to the fact that a constant tuple exists in a chosen cyclic algebra. Applying corollaries to the absorption theorem and the smooth theorem, we will complete the proof.