David Stanovský    //   

UNIVERSAL ALGEBRA I (2021/22)

This is an introductory course in universal algebra, essentially following Bergman's textbook. We will learn a general framework for elementary algebraic concepts such as factoring or direct decomposition. We will introduce free algebraic structures and learn the basics of equational logic. We will present the modern approach using clones, i.e., sets of operations closed with respect to composition.

We will mostly follow a textbook by Clifford Bergman, Universal Algebra: Fundamentals and Selected Topics.

Syllabus:

  1. Preliminaries - algebras, lattices, closure operators [1.1-1.2, 2.1, 2.3-2.5]
  2. Semantics - subalgebras, products, homomorphisms, quotients, isomorphism theorems, internal/external characterisation of products, subdirect irreducibility [1.3-1.5, 3.1-3.5]
  3. Syntax - terms, free algebras, equational classes, Birkhoff's theorem, fully invariant congruences [4.2-4.6]
  4. Clones - interpretations, algebraic vs. relational clones [4.1, 4.8 and other notes]
  5. Classification schemes - Maltsev conditions, abelianness [4.7 and other notes]

You can look at the 18/19 version, this year will be similar.

Program (actual for past lectures, tentative for future lectures):

covered topicsrecommended reading homework
4.10.Motivation. Examples of algebras and equational classes.
Ex.: Isomorphism. Lattices as ordered sets and as algebras.
Bergman 1.1, 1.2
11.10.Introduction to lattices, complete lattices, closure operators.
Ex.: The lattice of equivalence relations. Modularity and distributivity. Closure operators.
Bergman 2.1, 2.2, 2.3 HOMEWORK
due on 26.10.
18.10.Algebraic lattices, algebraic closure operators. Galois correspondences.
Ex.: Algebraic closure operators. Galois correspondences.
Bergman 2.4, 2.5
25.10.Subalgebras, subalgebra generation. Congruences and quotients.
Ex.: Calculating Sg, Sub, homomorphisms.
Bergman 1.3-1.5
1.11. Congruence generation. Homomorphic images and isomorphism theorems.
Ex.: Calculating Cg, Con, quotients.
Bergman 1.3, 3.1 HOMEWORK
due on 16.11.
8.11.Direct product and subpowers. Direct decomposition. H,S,P operators and varieties (part 1).
Ex.: Direct decomposition.
Bergman 3.2, 3.5
15.11.H,S,P operators and varieties (part 2). Subdirect decomposition.
Ex.: Subdirect decomposition.
Bergman 3.5, 3.3
22.11.Examples of subdirectly irreducible algebras. Terms, identities and absolutely free algebras.
Ex.: Subdirect decomposition. Free algebras.
Bergman 4.3 HOMEWORK
due on 7.12.
29.11.Free algebras in particular varieties. The syntax-semantics Galois connection and Birkhoff's theorem.
Ex.: Free algebras.
Bergman 4.4
6.12.Equational theories as fully invariant congruences. Functional clones.
Ex.: Clones of term and polynomial operations.
Bergman 4.6, 4.1
HOMEWORK
due on 21.12.
13.12.Free algebras as clones of term functions.
The Pol-Inv connection (between functions and relations).
Ex.: Pol, Inv, generating clones.
Bergman 4.2 (covers only partly)
look at Post's lattice
20.12.Relational clones and the Pol-Inv connection.
Ex.: clones and relational clones.
Bergman 4.7
Pol-Inv notes
HOMEWORK
due on 4.1.
3.1.Maltsev conditions.
Ex.: Maltsev conditions.

Literature:

Zapocet: There will be five series of homeworks, the four best count. Of the four best, you must have at least 50% in each series and 60% together.

Exam: preliminary format will be as follows (to be adjusted after the first exam)

  1. (40-50%) quizz (statement of definitions, theorems, simple examples, simple proofs) - collected and graded after 60 minutes
  2. (50-60%) 2-3 serious questions (difficult proof, 1-2 problems) - oral presentation whenever ready
Summary of topics and typical problems is here.