Date  Topics  Recommended reading  Exercises  Homework 

28/02  Abelian and affine algebras, Fundamental theorem.  Bergman 7.3  Ex. 1  
07/03  Checking identities, Relational description of Abelianness; Centralizer relation (in general and in groups)  Bergman 7.4  
14/03  Properties of the commutator Characterization of CD varieties  Bergman 7.4  Ex. 2  HW 1 due 28/03 
21/03  Equational theories, fully invariant congruences; completeness theorem for equational logic.  Bergman 4.6 Jezek 13  
28/03  Reduction order, critical pairs KnuthBendix algorithm  Jezek 13  Ex. 3  
04/04  Examples of finitely based and non finitely based algebras  Bergman 5.4  HW 2 due 25/04 

11/04  McKenzie's result on definable principal congruences  Bergman 5.5  Ex. 4  
18/04  Constraint satisfaction problems over finite templates PolInv revisited  BKW  
25/04  (h1)clone homomorphisms Taylor terms  BKW  Ex. 5  HW 3 due 09/05 
02/05  Taylor's theorem  Bergman 8.4.  
09/05  Smooth digraphs, algebraic length 1,absorption  BK  
16/05  Absorption, transitive terms  BK  Ex. 6  HW 4 
23/05  Absorption theorem, LLL (loop lemma 'light', for linked digraphs)  BK 