| 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 Knuth-Bendix 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 Pol-Inv 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 |