This course offers an introduction to selected topics in universal algebra that are connected to the research interests of the algebra group. In summer semester 2022 this includes:
- Term rewriting systems and the Knuth-Bendix algorithm
- Abelianness and basics of commutator theory
- Finitely based algebras
- The study of Maltsev conditions (Taylor terms) and their relevance to CSPs
Basic course in universal algebra.